Formalisation and verification of interaction protocols for business process integration: a Petri net approach - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal of Simulation and Process Modelling Année : 2008

Formalisation and verification of interaction protocols for business process integration: a Petri net approach

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

Résumé

Interaction Protocols (IP) are specific, often standard, constraints on the behaviours of the autonomous agents in a multiagent system. Protocols are essential to the functioning of open business systems, such as those that arise in most interesting web applications. This paper presents a new approach for Business Process Integration (BPI) based on IP. It enables both integration and collaboration of autonomous and distributed business processes modules. We present a semantic formalisation of the IP notations used in our approach. The semantics and its application are described on the basis of translation rules to Coloured Petri Nets (CPNs) and the benefits of formalisation are shown.
Fichier non déposé

Dates et versions

hal-01176311 , version 1 (15-07-2015)

Identifiants

Citer

Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda. Formalisation and verification of interaction protocols for business process integration: a Petri net approach. International Journal of Simulation and Process Modelling, 2008, 4 (3/4), pp.195-204. ⟨10.1504/IJSPM.2008.023681⟩. ⟨hal-01176311⟩
41 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More