A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration

  • Djamel Benmerzoug
  • Fabrice Kordon
  • Mahmoud Boufaida
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 10)


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.


Business Processes Integration Interaction Protocols Coloured Petri Nets Multi-agent Systems 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Papazoglou, M.P., Kratz, B.: Web Services Technology in Support of Business Transactions. Int. journal of Service Oriented Computing 1(1), 51–63 (2007)CrossRefGoogle Scholar
  2. 2.
    Jung, J.Y., Kang, S.H.: Business Process Choreography for B2B Collaboration. IEEE Internet Computing, 37–45 (2004)Google Scholar
  3. 3.
    Aissi, S., Malu, P., Srinivasan, K.: E-business process modeling: the next big step. IEEE Computer, 55–62 (2002)CrossRefGoogle Scholar
  4. 4.
    Luck, M., McBurney, P., Shehory, O., Willmott, S.: The AgentLink Community: Agent Technology: Computing as Interaction - A Roadmap for Agent-Based Computing. AgentLink III (2005)Google Scholar
  5. 5.
    Benmerzoug, D., Boufaida, M., Kordon, F.: A Specification and Validation Approach for Business Process Integration Based on Web Services and Agents. In: Int. Workshop on Modeling, Simulation, Verification and Validation of Enterprises Information Systems (MSVVEIS 2007), pp. 163–168. INSTICC press (2007)Google Scholar
  6. 6.
    Benmerzoug, D., Boufaida, Z., Boufaida, M.: From the Analysis of Cooperation Within Organizational Environments to the Design of Cooperative Information Systems: An Agent-Based Approach. In: Meersman, R., et al. (eds.) OTM Workshops 2004. LNCS, pp. 496–506. Springer, Heidelberg (2004)Google Scholar
  7. 7.
    Benmerzoug, D., Boufaida, M., Boufaida, Z.: Developing Cooperative Information Agent-Based Systems with the AMCIS Methodology. In: IEEE International Conference on Advances in Intelligent Systems: Theories and Application, Luxembourg (2004)Google Scholar
  8. 8.
    Cost, R., Chen, Y., Finin, T., Labrou, Y., Peng, Y.: Using Colored Petri nets for Conversation Modeling. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication. LNCS (LNAI), vol. 1916, pp. 178–192. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  9. 9.
    Girault, C., Valk, R.: Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)Google Scholar
  10. 10.
    Koehler, J., Tirenni, G., Kumaran, S.: From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods. In: Pro. of the Sixth International Enterprise Distributed Object Computing Conference, IEEE Computer Society, Los Alamitos (2002)Google Scholar
  11. 11.
    Peregrine B2B Integration Platform,
  12. 12.
    Thatte, S.: XLANG: Web Services for Business Process Design, Microsoft Corp., cf (2001),
  13. 13.
    Huget, M., Odell, J.: Representing agent interaction protocols with agent UML. In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1244–1245. IEEE Computer Society, Los Alamitos (2004)Google Scholar
  14. 14.
    Business Process Execution Language for Web Services Version 1.1 (2003),
  15. 15.
    Sun Microsystems. Java Web Services Development Pack 1.1 (2006),
  16. 16.
    Gutnik, G., Kaminka, G.A.: A Scalable Petri Net Representation of Interaction Protocols for Overhearing. In: Kudenko, D., Kazakov, D., Alonso, E. (eds.) AAMAS 2004. LNCS (LNAI), vol. 3394, pp. 1246–1247. Springer, Heidelberg (2005)Google Scholar
  17. 17.
    Buhler, P.A., Vidal, J.M.: Towards adaptive workflow enactment using multiagent systems. Int. Jour. On Information Technology and Management, 61–87 (2005)Google Scholar
  18. 18.
    Chafle, G., Chandra, S., Mann, V., Nanda, M.: Decentralized Orchestration of Composite Web Services. In: Proc. of the Alternate Track on Web Services at the 13th International World Wide Web Conference (WWW 2004), pp. 134–143 (2004)Google Scholar
  19. 19.
    Martial, F.: Coordinating Plans of Autonomous Agents. LNCS (LNAI), vol. 610. Springer, Heidelberg (1992)CrossRefGoogle Scholar
  20. 20.
    Parunak, H.V.D.: Visualizing Agent Conversations: Using Enhanced Dooley Graphs for Agent Design and Analysis. In: Proceedings of the International Conference on Multi-Agent Systems (1996)Google Scholar
  21. 21.
    Mazouzi, H., Fallah-Seghrouchni, A.E., Haddad, S.: Open Protocol Design for Complex Interactions in Multi-Agent Systems. In: Proceedings of AAMAS 2002, pp. 517–526 (2002)Google Scholar
  22. 22.
    Booch, G., Rumbaugh, J., Jacobson, I.: The unified modeling language for object-oriented development. Document set version 1.0, Rational Software Corporation, Santa Clara (1997)Google Scholar
  23. 23.
    OMG; Object Constraint Language Specification,

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Djamel Benmerzoug
    • 1
  • Fabrice Kordon
    • 2
  • Mahmoud Boufaida
    • 1
  1. 1.LIRE Laboratory, Computer Science DepartmentMentouri University of ConstantineAlgeria
  2. 2.LIP6 LaboratoryPierre et Marie Curie UniversityParis Cedex 05France

Personalised recommendations