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

Authors: Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaida

Addresses: LIRE Laboratory, Computer Science Department, Mentouri University of Constantine 25000, Algeria. ' LIP6 Laboratory, Pierre et Marie Curie University, 4, place Jussieu, 75252 Paris, Cedex 05, France. ' LIRE Laboratory, Computer Science Department, Mentouri University of Constantine 25000, Algeria

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.

Keywords: BPI; business process integration; interaction protocols; CPN; coloured Petri nets; verification; semantic formalisation; modelling; multi-agent systems; MAS; agent-based systems.

DOI: 10.1504/IJSPM.2008.023681

International Journal of Simulation and Process Modelling, 2008 Vol.4 No.3/4, pp.195 - 204

Published online: 07 Mar 2009 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article