Skip to Main content Skip to Navigation
Conference papers

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

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

https://hal.archives-ouvertes.fr/hal-01303701
Contributor : Lip6 Publications <>
Submitted on : Monday, April 18, 2016 - 3:41:07 PM
Last modification on : Thursday, March 21, 2019 - 2:17:33 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

97