{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T15:13:16Z","timestamp":1781104396574,"version":"3.54.1"},"reference-count":55,"publisher":"IGI Global Scientific Publishing","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4,1]]},"abstract":"<p>This paper deals with one of the key issue in modern enterprises applications: the Agents Interaction Protocols (AiP) that are interconnecting the different parts involved in collaborative activities. The challenge here is twofold. First, we must provide a formal model that is rich enough to capture interactions characteristics. Second, we must allow designers to combine existing protocols to achieve a new specific need. The paper introduces a formal analysis framework allowing the verification of the conformance between interaction protocols. The semantics of AiP notations used in our approach and its application are described on the basis of translation rules into colored Petri net. The key feature of this framework is the ability to model and formally verify composition of AiP, where particular protocols may then be selected and composed to support a new business task. Furthermore, an agent-based architecture that supports our approach is developed. The main goal of the proposed architecture is to address and tackle AiP composition in the context of Cloud-based enterprise application.<\/p>","DOI":"10.4018\/ijats.2014040103","type":"journal-article","created":{"date-parts":[[2014,10,20]],"date-time":"2014-10-20T12:55:22Z","timestamp":1413809722000},"page":"51-72","source":"Crossref","is-referenced-by-count":2,"title":["Designing Complex Agent Interaction Protocols Using Colored Petri Nets"],"prefix":"10.4018","volume":"6","author":[{"given":"Djamel","family":"Benmerzoug","sequence":"first","affiliation":[{"name":"Department of Software Technologies and Information Systems, University Constantine 2, Constantine, Algeria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"ijats.2014040103-0","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73196-2_23"},{"key":"ijats.2014040103-1","doi-asserted-by":"crossref","unstructured":"Barjis, J. (2009). Collaborative, Participative and Interactive Enterprise Modeling. In ICEIS\u201909 (Vol. 24, pp. 651\u2013662). LNBIP. Springer.","DOI":"10.1007\/978-3-642-01347-8_54"},{"key":"ijats.2014040103-2","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-010-9240-6"},{"key":"ijats.2014040103-3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-70657-7_10"},{"key":"ijats.2014040103-4","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2004.11.016"},{"issue":"1","key":"ijats.2014040103-5","first-page":"47","article-title":"Agent approach in support of enterprise application integration.","volume":"4","author":"D.Benmerzoug","year":"2013","journal-title":"International Journal of Computer Science and Telecommunications"},{"issue":"2","key":"ijats.2014040103-6","first-page":"95","article-title":"An Agent-Based Approach for Hybrid Multi-Cloud Applications.","volume":"14","author":"D.Benmerzoug","year":"2013","journal-title":"Scalable Computing: Practice and Experience"},{"key":"ijats.2014040103-7","article-title":"Developing Cooperative Information Agent-Based Systems with the AMCIS Methodology","author":"D.Benmerzoug","year":"2004","journal-title":"IEEE international conference on advances in intelligent systems: Theories and application"},{"key":"ijats.2014040103-8","doi-asserted-by":"crossref","unstructured":"Benmerzoug, D., Boufaida, M., & Boufaida, Z. (2004b, October). From the Analysis of Cooperation Within Organizational Environments to the Design of Cooperative Information Systems: An Agent-Based Approach. In OTM workshops (Vol. 3292, pp. 495\u2013506). LNCS. Springer.","DOI":"10.1007\/978-3-540-30470-8_63"},{"key":"ijats.2014040103-9","unstructured":"Benmerzoug, D., Boufaida, M., & Kordon, F. (2007). A Specification and Validation Approach for Business Process Integration based on Web Services and Agents. In Proceedings of the 5th international workshop on modelling, simulation, verification and validation of enterprise information systems, MSVVEIS-2007, in conjunction with ICEIS 2007 (pp. 163\u2013168). NSTIIC press."},{"key":"ijats.2014040103-10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40090-2_26"},{"key":"ijats.2014040103-11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68644-6_6"},{"key":"ijats.2014040103-12","doi-asserted-by":"publisher","DOI":"10.1504\/IJSPM.2008.023681"},{"key":"ijats.2014040103-13","article-title":"Automatic composition of process-based web services: a challenge.","author":"D.Berardi","year":"2005","journal-title":"Proc. 14th int. World Wide web Conf"},{"key":"ijats.2014040103-14","doi-asserted-by":"publisher","DOI":"10.4018\/jisss.2011100102"},{"key":"ijats.2014040103-15","doi-asserted-by":"crossref","unstructured":"Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., & Mylopoulos, J. (2004). Tropos: An Agent-Oriented Software Development Methodology. International journal of Autonomous Agents and Multi-Agent Systems, 8(3), 203\u2013236.","DOI":"10.1023\/B:AGNT.0000018806.20944.ef"},{"key":"ijats.2014040103-16","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2010.11"},{"key":"ijats.2014040103-17","doi-asserted-by":"crossref","unstructured":"Bugnion, E., Devine, S., Rosenblum, M., Sugerman, J., & Wang, E. Y. (2012, November). Bringing virtualization to the x86 architecture with the original VMware workstation. ACM Trans. Comput. Syst. 30(4), 12:1\u201312:51.","DOI":"10.1145\/2382553.2382554"},{"key":"ijats.2014040103-18","doi-asserted-by":"publisher","DOI":"10.1007\/s10799-004-7775-2"},{"key":"ijats.2014040103-19","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194011005384"},{"key":"ijats.2014040103-20","unstructured":"Collins, D. (2009). Communications as a service for mid size businesses."},{"key":"ijats.2014040103-21","unstructured":"CPN-AMI. (2004). The CPN-AMI Tool. http:\/\/move.lip6.fr\/software\/cpnami\/"},{"key":"ijats.2014040103-22","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.06.005"},{"issue":"2","key":"ijats.2014040103-23","article-title":"Amoeba: A Methodology for Modeling and Evolving Cross-Organizational Business Processes.","volume":"19","author":"N.Desai","year":"2009","journal-title":"Journal of ACM Trans. Softw. Eng. Methodol."},{"key":"ijats.2014040103-24","first-page":"962","article-title":"A modular action description language for protocol composition.","author":"N.Desai","year":"2007","journal-title":"Proceedings of the twenty-second AAAI conference on artificial intelligence"},{"key":"ijats.2014040103-25","unstructured":"FIPA-ACL. (2001). FIPA Communicative Act Library Specification. Tech. rep. of Foundation for Intelligent Physical Agents. Retrieved August 12, 2004 from http:\/\/www.fipa.org\/specs\/"},{"key":"ijats.2014040103-26","first-page":"215","article-title":"The enterprise interoperability center - an institutional framework facilitating enterprise interoperability.","author":"P.Frenzel","year":"2007","journal-title":"Proceedings of the fifteenth european conference on information systems"},{"key":"ijats.2014040103-27","doi-asserted-by":"publisher","DOI":"10.4018\/jisss.2009062904"},{"issue":"2","key":"ijats.2014040103-28","article-title":"Agent-based cloud service composition. Applied Intelligence.","volume":"22","author":"J. O.Garcia","year":"2012","journal-title":"International Journal of Artificial Intelligence, Neural Networks, and Complex Problem-Solving Technologies"},{"key":"ijats.2014040103-29","doi-asserted-by":"crossref","unstructured":"Girault, C. & Valk, R. (2002, July). Petri Nets for Systems Engineering, A Guide to Modeling, Verification, and Applications. Springer Verlag.","DOI":"10.1007\/978-3-662-05324-9"},{"key":"ijats.2014040103-30","unstructured":"Hoecke, S. V., Waterbley, T., Devos, J., Deneut, T., & Gelas, J. D. (2011, September). Efficient management of hybrid clouds. In the second international conference on cloud computing, grids, and virtualization (pp. 167\u2013172). Rome, Italy."},{"key":"ijats.2014040103-31","unstructured":"IBM, Microsoft, SAP, & Siebel, S. (2003). Business process execution language for web services version 1.1."},{"key":"ijats.2014040103-32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10665-1_25"},{"key":"ijats.2014040103-33","unstructured":"Mell, P., & Grance, T. (2009). The NIST Definition of Cloud Computing. Tech report of NIST. Retrieved October 13, 2013, from http:\/\/csrc.nist.gov\/"},{"key":"ijats.2014040103-34","unstructured":"Mietzner, R. (2010). A method and implementation to define and provision variable composite applications, and its usage in cloud computing. Dissertation, University of Stuttgart, Germany. Retrieved June 20, 2013, from elib.uni-stuttgart.de\/opus\/"},{"key":"ijats.2014040103-35","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2004.58"},{"key":"ijats.2014040103-36","doi-asserted-by":"crossref","unstructured":"Montali, M., Pesic, M., van der Aalst, W. M. P., Chesani, F., Mello, P., & Storari, S. (2010). Declarative specification and verification of service choreographiess. International journal of ACM Transactions on the Web, 4(1).","DOI":"10.1145\/1658373.1658376"},{"issue":"1","key":"ijats.2014040103-37","first-page":"29","article-title":"Enabling Model Driven Engineering of Cloud Services by using mOSAIC Ontology.","volume":"13","author":"F.Moscato","year":"2012","journal-title":"Scalable Computing: Practice and Experience"},{"key":"ijats.2014040103-38","author":"M.Neil","year":"2011","journal-title":"Microsoft windows azure development cookbook"},{"key":"ijats.2014040103-39","doi-asserted-by":"publisher","DOI":"10.3390\/fi4010322"},{"key":"ijats.2014040103-40","unstructured":"OCL. Object constraint language. (www.omg.org\/cgibin)"},{"key":"ijats.2014040103-41","author":"C.Pablo","year":"2010","journal-title":"Professional WCF 4: Windows Communication Foundation with. NET 4"},{"key":"ijats.2014040103-42","doi-asserted-by":"crossref","unstructured":"Papazoglou, M., Pohl, K., Parkin, M., & Metzger, A. (Eds.). (2010). Service research challenges and solutions for the future internet - s-cube - towards engineering, managing and adapting service-based systems. S-cube book, Springer, 6500.","DOI":"10.1007\/978-3-642-17599-2"},{"key":"ijats.2014040103-43","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843008001816"},{"key":"ijats.2014040103-44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69534-9_1"},{"issue":"4","key":"ijats.2014040103-45","doi-asserted-by":"crossref","first-page":"409","DOI":"10.3233\/AIS-2010-0083","article-title":"Agent-based organizational structures for ambient intelligence scenarios.","volume":"2","author":"L.Penserini","year":"2010","journal-title":"Ambient Intelligence and Smart Environments"},{"key":"ijats.2014040103-46","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2009.5429058"},{"key":"ijats.2014040103-47","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2009.1"},{"issue":"3","key":"ijats.2014040103-48","first-page":"215","article-title":"On Engineering Cloud Applications - State of the Art, Shortcomings Analysis, and Approach.","volume":"13","author":"Y.Taher","year":"2012","journal-title":"Scalable Computing: Practice and Experience"},{"key":"ijats.2014040103-49","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2008.01.064"},{"key":"ijats.2014040103-50","first-page":"42","article-title":"Service interaction: patterns, formalization, and analysis","author":"W. M. P.van der Aalst","year":"2009","journal-title":"Formal methods for web services, 9th international school on formal methods for the design of computer, communication, and software systems"},{"key":"ijats.2014040103-51","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010056221226"},{"key":"ijats.2014040103-52","doi-asserted-by":"crossref","unstructured":"Vitteau, B., & Huget, M.-P. (2004). Modularity in interaction protocols. In Advances in agent communication Conf. (Vol. 2922, 291-309). LNCS. Springer.","DOI":"10.1007\/978-3-540-24608-4_17"},{"key":"ijats.2014040103-53","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2006.01.011"},{"key":"ijats.2014040103-54","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2006.50"}],"container-title":["International Journal of Agent Technologies and Systems"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=117205","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T00:55:05Z","timestamp":1654131305000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/ijats.2014040103"}},"subtitle":["The Cloud Services Composition Case Study"],"short-title":[],"issued":{"date-parts":[[2014,4,1]]},"references-count":55,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,4]]}},"URL":"https:\/\/doi.org\/10.4018\/ijats.2014040103","relation":{},"ISSN":["1943-0744","1943-0752"],"issn-type":[{"value":"1943-0744","type":"print"},{"value":"1943-0752","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4,1]]}}}