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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Papazoglou, M.P., Kratz, B.: Web Services Technology in Support of Business Transactions. Int. journal of Service Oriented Computing 1(1), 51–63 (2007)
Jung, J.Y., Kang, S.H.: Business Process Choreography for B2B Collaboration. IEEE Internet Computing, 37–45 (2004)
Aissi, S., Malu, P., Srinivasan, K.: E-business process modeling: the next big step. IEEE Computer, 55–62 (2002)
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)
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)
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)
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)
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)
Girault, C., Valk, R.: Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)
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)
Peregrine B2B Integration Platform, http://www.peregrine.com
Thatte, S.: XLANG: Web Services for Business Process Design, Microsoft Corp., cf (2001), http://www.gotdotnet.com/team/xml_wsspecs/
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)
Business Process Execution Language for Web Services Version 1.1 (2003), http://www-106.ibm.com/developerworks/
Sun Microsystems. Java Web Services Development Pack 1.1 (2006), http://java.sun.com/webservices/webservicespack.html/
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)
Buhler, P.A., Vidal, J.M.: Towards adaptive workflow enactment using multiagent systems. Int. Jour. On Information Technology and Management, 61–87 (2005)
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)
Martial, F.: Coordinating Plans of Autonomous Agents. LNCS (LNAI), vol. 610. Springer, Heidelberg (1992)
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)
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)
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)
OMG; Object Constraint Language Specification, http://www.omg.org/cgi-bin/doc?formal/03-03-13
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benmerzoug, D., Kordon, F., Boufaida, M. (2008). A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration. In: Dietz, J.L.G., Albani, A., Barjis, J. (eds) Advances in Enterprise Engineering I. CIAO! EOMAS 2008 2008. Lecture Notes in Business Information Processing, vol 10. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68644-6_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-68644-6_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68643-9
Online ISBN: 978-3-540-68644-6
eBook Packages: Computer ScienceComputer Science (R0)