A Petri-Net based Formalisation of Interaction Protocols applied to Business Process Integration - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

A Petri-Net based Formalisation of Interaction Protocols applied to Business Process Integration

Djamel Benmerzoug
  • Fonction : Auteur
  • PersonId : 968373
Fabrice Kordon
Mahmoud Boufaïda
  • Fonction : Auteur

Résumé

This paper presents a new approach for Business Process Integration based on Interaction Protocols. It enables both integration and collaboration of autonomous and distributed business processes modules. We present a semantic formalisation of the interaction protocols notations used in our approach. The semantics and its application are described on the basis of translation rules to Coloured Petri Nets and the benefits of formalisation are shown. The verified and validated interaction protocols specification is exploited afterwards with an intermediate agent called « Integrator Agent » to enact the integration process and to manage it efficiently in all steps of composition and monitoring.

Dates et versions

hal-01303701 , version 1 (18-04-2016)

Identifiants

Citer

Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda. A Petri-Net based Formalisation of Interaction Protocols applied to Business Process Integration. Advances in Enterprise Engineering I, 4th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS'08), Jun 2008, Montpellier, France. pp.78-92, ⟨10.1007/978-3-540-68644-6_6⟩. ⟨hal-01303701⟩
35 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More