Skip to Main content Skip to Navigation
Journal articles

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

Djamel Benmerzoug 1 Fabrice Kordon 1 Mahmoud Boufaïda
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : 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.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01176311
Contributor : Lip6 Publications <>
Submitted on : Wednesday, July 15, 2015 - 11:32:40 AM
Last modification on : Thursday, March 21, 2019 - 1:11:14 PM

Identifiers

Citation

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, Inderscience, 2008, 4 (3/4), pp.195-204. ⟨10.1504/IJSPM.2008.023681⟩. ⟨hal-01176311⟩

Share

Metrics

Record views

137