{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T17:40:14Z","timestamp":1738258814219,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540686439"},{"type":"electronic","value":"9783540686446"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68644-6_6","type":"book-chapter","created":{"date-parts":[[2008,6,9]],"date-time":"2008-06-09T04:59:41Z","timestamp":1212987581000},"page":"78-92","source":"Crossref","is-referenced-by-count":4,"title":["A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration"],"prefix":"10.1007","author":[{"given":"Djamel","family":"Benmerzoug","sequence":"first","affiliation":[]},{"given":"Fabrice","family":"Kordon","sequence":"additional","affiliation":[]},{"given":"Mahmoud","family":"Boufaida","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/s11761-007-0002-3","volume":"1","author":"M.P. Papazoglou","year":"2007","unstructured":"Papazoglou, M.P., Kratz, B.: Web Services Technology in Support of Business Transactions. Int. journal of Service Oriented Computing\u00a01(1), 51\u201363 (2007)","journal-title":"Int. journal of Service Oriented Computing"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Jung, J.Y., Kang, S.H.: Business Process Choreography for B2B Collaboration. IEEE Internet Computing, 37\u201345 (2004)","DOI":"10.1109\/MIC.2004.1260702"},{"issue":"5","key":"6_CR3","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/MC.2002.999776","volume":"35","author":"S. Aissi","year":"2002","unstructured":"Aissi, S., Malu, P., Srinivasan, K.: E-business process modeling: the next big step. IEEE Computer, 55\u201362 (2002)","journal-title":"Computer"},{"key":"6_CR4","unstructured":"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)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"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\u2013168. INSTICC press (2007)","DOI":"10.5220\/0002424301630168"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","first-page":"496","volume-title":"OTM Workshops 2004","author":"D. Benmerzoug","year":"2004","unstructured":"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\u2013506. Springer, Heidelberg (2004)"},{"key":"6_CR7","unstructured":"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)"},{"key":"6_CR8","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/10722777_12","volume-title":"Issues in Agent Communication","author":"R. Cost","year":"2000","unstructured":"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.\u00a01916, pp. 178\u2013192. Springer, Heidelberg (2000)"},{"key":"6_CR9","volume-title":"Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications","author":"C. Girault","year":"2003","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)"},{"key":"6_CR10","volume-title":"Pro. of the Sixth International Enterprise Distributed Object Computing Conference","author":"J. Koehler","year":"2002","unstructured":"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)"},{"key":"6_CR11","unstructured":"Peregrine B2B Integration Platform, http:\/\/www.peregrine.com"},{"key":"6_CR12","unstructured":"Thatte, S.: XLANG: Web Services for Business Process Design, Microsoft Corp., cf (2001), http:\/\/www.gotdotnet.com\/team\/xml_wsspecs\/"},{"key":"6_CR13","first-page":"1244","volume-title":"3rd International Joint Conference on Autonomous Agents and Multiagent Systems","author":"M. Huget","year":"2004","unstructured":"Huget, M., Odell, J.: Representing agent interaction protocols with agent UML. In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1244\u20131245. IEEE Computer Society, Los Alamitos (2004)"},{"key":"6_CR14","unstructured":"Business Process Execution Language for Web Services Version 1.1 (2003), http:\/\/www-106.ibm.com\/developerworks\/"},{"key":"6_CR15","unstructured":"Sun Microsystems. Java Web Services Development Pack 1.1 (2006), http:\/\/java.sun.com\/webservices\/webservicespack.html\/"},{"key":"6_CR16","series-title":"Lecture Notes in Artificial Intelligence","first-page":"1246","volume-title":"Adaptive Agents and Multi-Agent Systems II","author":"G. Gutnik","year":"2005","unstructured":"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.\u00a03394, pp. 1246\u20131247. Springer, Heidelberg (2005)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Buhler, P.A., Vidal, J.M.: Towards adaptive workflow enactment using multiagent systems. Int. Jour. On Information Technology and Management, 61\u201387 (2005)","DOI":"10.1007\/s10799-004-7775-2"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"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\u2013143 (2004)","DOI":"10.1145\/1013367.1013390"},{"key":"6_CR19","series-title":"LNAI","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0016366","volume-title":"Coordinating Plans of Autonomous Agents","author":"F. Martial","year":"1992","unstructured":"Martial, F.: Coordinating Plans of Autonomous Agents. LNCS (LNAI), vol.\u00a0610. Springer, Heidelberg (1992)"},{"key":"6_CR20","unstructured":"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)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"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\u2013526 (2002)","DOI":"10.1145\/544862.544866"},{"key":"6_CR22","unstructured":"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)"},{"key":"6_CR23","unstructured":"OMG; Object Constraint Language Specification, http:\/\/www.omg.org\/cgi-bin\/doc?formal\/03-03-13"}],"container-title":["Lecture Notes in Business Information Processing","Advances in Enterprise Engineering I"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68644-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T17:08:54Z","timestamp":1738256934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68644-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540686439","9783540686446"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68644-6_6","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2008]]}}}