{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T20:40:23Z","timestamp":1654116023260},"reference-count":73,"publisher":"IGI Global","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10,1]]},"abstract":"<p>Companies are now making their know-how and information available over the network using Web services. Business-to-Business collaboration through Web service interaction is now a necessary step to better satisfy user requests. The act of combining Web services to achieve a common goal - also known as Web service composition - is a complex issue that should be addressed. Many programming languages were developed to realize interaction between services, such as XLANG, WSFL, and BPEL. However, these languages are meant for the implementation and execution rather than providing a visual representation of the composition. In the past few years, the research community has been trying to tackle this issue by proposing model-driven approaches with the main objective to reduce development time. Some of these approaches are based on formal methods in order to describe, analyze, verify and validate the composition. In other words, applying these methods in design phase helps designers to show explicitly the behavior of Web services, to reason on the composition behavior and verify its properties. In this paper, the authors survey model-driven approaches for service composition. The focus is on surveying and classifying approaches that follow model-driven engineering principles for creating high-level models rather than programming concepts.<\/p>","DOI":"10.4018\/ijaras.2013100102","type":"journal-article","created":{"date-parts":[[2014,1,8]],"date-time":"2014-01-08T13:52:34Z","timestamp":1389189154000},"page":"18-35","source":"Crossref","is-referenced-by-count":0,"title":["Model-Driven Approaches to Service Composition"],"prefix":"10.4018","volume":"4","author":[{"given":"C.","family":"Dumez","sequence":"first","affiliation":[{"name":"Universite de Technologie de Belfort-Montbeliard, Belfort, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Bakhouya","sequence":"additional","affiliation":[{"name":"Aalto University, Aalto, Finland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Gaber","sequence":"additional","affiliation":[{"name":"Universite de Technologie de Belfort-Montbeliard, Belfort, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Wack","sequence":"additional","affiliation":[{"name":"Universite de Technologie de Belfort-Montbeliard, Belfort, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2432","reference":[{"key":"ijaras.2013100102-0","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ijaras.2013100102-1","unstructured":"Ambuhler, T. (2005). UML 2.0 profile for WS-BPEL with mapping to WS-BPEL. Master\u2019s thesis Universitat Stuttgart, Germany."},{"key":"ijaras.2013100102-2","unstructured":"Amsden, J., Gardner, T., Griffin, C., & Iyengar, S. (2003). Draft UML 1.4 profile for automated business processes with a mapping to BPEL 1.0. Technical Report."},{"key":"ijaras.2013100102-3","doi-asserted-by":"crossref","unstructured":"Bakhouya, M., Campbell, R., Coronato, A., De Pietro, G., & Ranganathan, A. (2012). Introduction to special section on formal methods in pervasive computing. ACM TAAS, 7(1).","DOI":"10.1145\/2168260.2168266"},{"key":"ijaras.2013100102-4","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-59904-588-7.ch016"},{"key":"ijaras.2013100102-5","unstructured":"Beek, M., Bucchiarone, A., & Gnesi, S. (2006). A survey on service composition approaches: From industrial standards to formal methods. In Technical Report 2006TR-15, Istituto (pp. 15-20). IEEE CS Press."},{"key":"ijaras.2013100102-6","doi-asserted-by":"crossref","unstructured":"Ben Mokhtar, S., Georgantas, N., & Issarny, V. (2006). Cocoa: Conversationbased service composition for pervasive computing environments. ACS\/IEEE ICPS (pp. 29\u201338).","DOI":"10.1007\/11925071_13"},{"key":"ijaras.2013100102-7","doi-asserted-by":"crossref","unstructured":"Bendraou, R., Sadovykh, A., Gervais, M. P., & Blanc, X. (2007). Software process modeling and execution: The uml4spm to ws-bpel approach. In Software Engineering and Advanced Applications, 2007. 33rd EUROMI-CRO Conference on (pp. 314\u2013321).","DOI":"10.1109\/EUROMICRO.2007.55"},{"key":"ijaras.2013100102-8","unstructured":"Bolognesi, T., & Brinksma, E. (1989). Introduction to the iso specification language lotos. In The formal description technique LOTOS (pp. 23\u201373)."},{"key":"ijaras.2013100102-9","doi-asserted-by":"crossref","unstructured":"Bultan, T., Fu, X., Hull, R., & Su, J. (2003). Conversation specification: A new approach to design and analysis of e-service composition. In Proceedings of the 12th International Conference on World Wide Web (WWW \u201903) (pp. 403\u2013410). New York, NY: ACM.","DOI":"10.1145\/775152.775210"},{"key":"ijaras.2013100102-10","first-page":"159","article-title":"Formalizing web services choreographies.","volume":"154","author":"J.Camara","year":"2006","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"ijaras.2013100102-11","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"ijaras.2013100102-12","doi-asserted-by":"crossref","unstructured":"Castro, V. d., Marcos, E., & Sanz, M. L. (2006). Service composition modeling: A case study. In Proc. of the Seventh Mexican International Conference on Computer Science (ENC \u201906) (vol. 2, pp. 101\u2013108). Washington, DC.","DOI":"10.1109\/ENC.2006.28"},{"key":"ijaras.2013100102-13","author":"R.Cleaveland","year":"2000","journal-title":"The concurrency workbench of the new century. User\u2019s manual"},{"key":"ijaras.2013100102-14","doi-asserted-by":"crossref","unstructured":"Coronato, A., De Florio, V., Bakhouya, M., & Di Marzo Serugendo, G. (2012). Formal modeling of socio-technical collective adaptive systems. In Proceedings of the ASENSIS 2012, SASO conference, Lyon, France.","DOI":"10.1109\/SASOW.2012.40"},{"key":"ijaras.2013100102-15","doi-asserted-by":"publisher","DOI":"10.1007\/11549970_17"},{"key":"ijaras.2013100102-16","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.042"},{"key":"ijaras.2013100102-17","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.02.006"},{"key":"ijaras.2013100102-18","doi-asserted-by":"crossref","unstructured":"Dumez, C. Nait-sidi moh, A., Gaber, J., & Wack, M. (2008c). Modeling and specification of web services composition using uml-s. In Proceedings of the Next Generation Web Services Practices, International Conference on (pp. 15\u201320).","DOI":"10.1109\/NWeSP.2008.17"},{"key":"ijaras.2013100102-19","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2013.01.009"},{"key":"ijaras.2013100102-20","doi-asserted-by":"publisher","DOI":"10.1145\/1497308.1497379"},{"key":"ijaras.2013100102-21","doi-asserted-by":"crossref","unstructured":"Dumez, C., Gaber, J., & Wack, M. (2008b). Web services composition using uml-s: A case study. In Proceedings of the GLOBECOM Workshops (pp. 1\u20136).","DOI":"10.1109\/GLOCOMW.2008.ECP.55"},{"key":"ijaras.2013100102-22","unstructured":"Dumez, C., Gaber, J., & Wack, M. (2009). Retrieved from http:\/\/sourceforge.net\/projects\/uml-s\/"},{"key":"ijaras.2013100102-23","doi-asserted-by":"crossref","unstructured":"Fan, W., Geerts, F., Gelade, W., Neven, F., & Poggi, A. (2008). Complexity and composition of synthesized web services. In Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS \u201908) (pp. 231\u2013240). New York, NY: ACM.","DOI":"10.1145\/1376916.1376949"},{"key":"ijaras.2013100102-24","doi-asserted-by":"crossref","unstructured":"Ferrara, A. (2004). Web services: A process algebra approach. In Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC \u201904) (pp. 242\u2013251). New York, NY: ACM.","DOI":"10.1145\/1035167.1035202"},{"key":"ijaras.2013100102-25","doi-asserted-by":"crossref","unstructured":"Frappier, M., & Habrias, H. (2006). A comparison of the specification methods. Software specification methods: An overview using a case study.","DOI":"10.1002\/9780470612514"},{"key":"ijaras.2013100102-26","unstructured":"Gr\u00f8nmo, R., & Solheim, I. (2004). Towards modeling web service composition in uml. In Proc. WSMAI (pp. 72\u201386)."},{"key":"ijaras.2013100102-27","unstructured":"Hamadi, R., & Benatallah, B. (2003). A petri net-based model for web service composition. In Proceedings of the 14th Australasian Database Conference (ADC \u201903) (pp. 191\u2013200). Darlinghurst, Australia: Australian Computer Society, Inc."},{"key":"ijaras.2013100102-28","doi-asserted-by":"crossref","unstructured":"Hill, J. H., Tambe, S., & Gokhale, A. (2007). Model-driven engineering for development-time qos validation of component-based software systems. In Proc.of International Conference on Engineering of Component Based Systems.","DOI":"10.1109\/ECBS.2007.53"},{"key":"ijaras.2013100102-29","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"ijaras.2013100102-30","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-009-0155-0"},{"key":"ijaras.2013100102-31","author":"K.Jensen","year":"1996","journal-title":"Coloured petri nets. Basic concepts, analysis methods and practical use. EATCS monographs on Theoretical Computer Science"},{"key":"ijaras.2013100102-32","doi-asserted-by":"crossref","unstructured":"Koshkina, M., & Breugel, F. V. (2004). Modelling and verifying web service orchestration by means of the concurrency workbench. In Proceedings of the AV-WEB Proceedings\/ACM SIGSOFT SEN (p. 29).","DOI":"10.1145\/1022494.1022526"},{"key":"ijaras.2013100102-33","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"ijaras.2013100102-34","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ijaras.2013100102-35","doi-asserted-by":"crossref","unstructured":"Li, J., He, J., Zhu, H., & Pu, G. (2007). Modeling and verifying web services choreography using process algebra. In Proceedings of the 31st IEEE Software Engineering Workshop (pp. 256\u2013268).","DOI":"10.1109\/SEW.2007.105"},{"key":"ijaras.2013100102-36","first-page":"236","article-title":"Analysis of web services composition and substitution via ccs.","volume":"4055","author":"F.Liu","year":"2006","journal-title":"LNCS"},{"key":"ijaras.2013100102-37","article-title":"A pi-calculus based semantics for ws-bpel.","author":"R.Lucchi","year":"2006","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"ijaras.2013100102-38","doi-asserted-by":"crossref","unstructured":"Lynch, N. A., & Tuttle, M. R. (1987). Hierarchical correctness proofs for distributed algorithms. In Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing (PODC \u201987) (pp. 137\u2013151). New York, NY: ACM.","DOI":"10.1145\/41840.41852"},{"key":"ijaras.2013100102-39","unstructured":"Mantell, K. (2003). From uml to bpel. Retrieved from http:\/\/www.ibm.com\/developerworks\/webservices\/library\/ws-uml2bpel\/"},{"key":"ijaras.2013100102-40","unstructured":"Martin, D., Burstein, M., Hobbs, J., Lassila, O., McDermott, D., McIlraith, S., et al. (2004). Owl-s: Semantic markup for web services. Retrieved from http:\/\/www.daml.org\/services\/owl-s\/1.1\/"},{"key":"ijaras.2013100102-41","unstructured":"McCarthy, L. J. (2002). Actions and other events in situation calculus. In Proc. of KR2002 (pp. 615\u2013628)."},{"key":"ijaras.2013100102-42","first-page":"115","article-title":"A logical calculus of the ideas immanent in nervous activity.","volume":"5","author":"W. S.McCulloch","year":"1943","journal-title":"Bulletin of Mathematical Biology"},{"key":"ijaras.2013100102-43","unstructured":"Mendling, J., Lassen, K. B., & Zdun, U. (2006). Transformation strategies between block-oriented and graph-oriented process modelling languages. In Multikonferenz Wirtschaftsinformatik (pp. 297\u2013312). Germany."},{"key":"ijaras.2013100102-44","author":"R.Milner","year":"1982","journal-title":"A calculus of communicating systems"},{"key":"ijaras.2013100102-45","unstructured":"Milner, R. (1989). Communication and concurrency. nternational Series in Computer Science."},{"key":"ijaras.2013100102-46","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.002"},{"key":"ijaras.2013100102-47","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"ijaras.2013100102-48","first-page":"521","article-title":"Local and on-the-fly choreography-based web service composition.","volume":"07","author":"S.Mitra","year":"2007","journal-title":"Proceedings of the WI"},{"key":"ijaras.2013100102-49","first-page":"364","article-title":"Automated choreographer synthesis for web services composition using i\/o automata.","volume":"2007","author":"S.Mitra","year":"2007","journal-title":"Proceedings of the ICWS"},{"key":"ijaras.2013100102-50","doi-asserted-by":"crossref","unstructured":"Ouyang, C., Dumas, M., Hofstede, A. H. M. t., & Aalst, W. M. P. d. (2006). From bpmn process models to bpel web services. In Proceedings of the International Conference on Web Services (ICWS \u201906) (pp. 285\u2013292).","DOI":"10.1109\/ICWS.2006.67"},{"key":"ijaras.2013100102-51","doi-asserted-by":"publisher","DOI":"10.4018\/jwsr.2008010103"},{"key":"ijaras.2013100102-52","doi-asserted-by":"crossref","unstructured":"Ouyang, C., Verbeek, E., Aalst, W. M. P. d., Breutel, S., Dumas, M., & Hofstede, A. t. (2005, December 12-15). Wofbpel: A tool for automated analysis of bpel processes. In B. Benatallah, F. Casati, P. Traverso (Eds.), Lecture Notes in Computer Science, 3826: Service-Oriented Computing - ICSOC 2005: Third International Conference, Amsterdam, The Netherlands (pp. 484\u2013489). Retrieved from http:\/\/www.springerlink.com\/openurl.asp?genre=article&id=doi:10.1007\/11596141 37","DOI":"10.1007\/11596141_37"},{"key":"ijaras.2013100102-53","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.03.002"},{"key":"ijaras.2013100102-54","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.07.035"},{"key":"ijaras.2013100102-55","doi-asserted-by":"publisher","DOI":"10.1007\/11538394_11"},{"key":"ijaras.2013100102-56","unstructured":"Russell, N., ter Hofstede, A. H. M., van der Aalst, W. M. P., & Mulyar, N. (2006). Workflow control-flow patterns: A revised view. Technical Report BPM Center Report BPM-06-22 BPMcenter.org."},{"key":"ijaras.2013100102-57","doi-asserted-by":"crossref","unstructured":"Skogan, D., Gr\u00f8nmo, R., & Solheim, I. (2004). Web service composition in uml. Enterprise Distributed Object Computing Conference, IEEE International (pp. 47\u201357).","DOI":"10.1109\/EDOC.2004.1342504"},{"key":"ijaras.2013100102-58","unstructured":"Soley, R. (2000). Model driven architecture. Retrieved from http:\/\/www.omg.com\/mda"},{"key":"ijaras.2013100102-59","doi-asserted-by":"crossref","unstructured":"Staines, T. S. (2008). Intuitive mapping of uml 2 activity diagrams into fundamental modeling concept petri net diagrams and colored petri nets. In Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS \u201908) (pp. 191\u2013200). Washington, DC: IEEE Computer Society.","DOI":"10.1109\/ECBS.2008.12"},{"key":"ijaras.2013100102-60","unstructured":"Stefansen, C. (2005). Expressing workflow patterns in ccs. unpublished. Retrieved from http:\/\/www.stefansen.dk\/"},{"key":"ijaras.2013100102-61","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.916747"},{"key":"ijaras.2013100102-62","unstructured":"Tang, Y., Chen, L., He, K.-T., & Jing, N. (2004). Srn: An extended petri-net-based workflow model for web service composition. In Proceedings of the IEEE International Conference on Web Services (ICWS \u201904) (p. 591). Washington, DC: IEEE Computer Society."},{"key":"ijaras.2013100102-63","doi-asserted-by":"crossref","unstructured":"Thomas, J. P., Thomas, M., & Ghinea, G. (2003). Modeling of web services flow. In Proceedings of the IEEE International Conference on E-Commerce (CEC 2003) (pp. 391\u2013398).","DOI":"10.1109\/COEC.2003.1210275"},{"key":"ijaras.2013100102-64","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"},{"key":"ijaras.2013100102-65","unstructured":"White, S. A. (2004a). Business process modeling notation (bpmn) version 1.0. Business Process Management Initiative, BPMI.org."},{"key":"ijaras.2013100102-66","first-page":"2008","author":"S. A.White","year":"2004","journal-title":"Introduction to bpmn"},{"key":"ijaras.2013100102-67","unstructured":"White, S. A. (2004c). Process modeling notations and workflow patterns. Workflow handbook (pp. 265\u2013294)."},{"key":"ijaras.2013100102-68","first-page":"161","volume":"Vol. 4102","author":"P.Wohed","year":"2006","journal-title":"Business process management. chapter on the suitability of BPMN for business process modelling"},{"key":"ijaras.2013100102-69","unstructured":"Wong, P. Y. H., & Gibbons, J. (2007, March 24-25). A process-algebraic approach to workflow specification and refinement. In Proceedings of the Software Composition: 6th International Symposium (SC 2007), Braga, Portugal."},{"key":"ijaras.2013100102-70","doi-asserted-by":"crossref","unstructured":"Yan, Y., & Dague, P. (2007). Modeling and diagnosing orchestrated web service processes. In Proceedings of the IEEE International Conference on Web Services (ICWS 2007) (pp. 51\u201359).","DOI":"10.1109\/ICWS.2007.124"},{"key":"ijaras.2013100102-71","doi-asserted-by":"crossref","unstructured":"Yang, Y., Tan, Q., & Xiao, Y. (2005). Verifying web services composition based on hierarchical colored petri nets. In Proceedings of the First International Workshop on Interoperability of Heterogeneous Information Systems (IHIS \u201905) (pp. 47\u201354). New York, NY: ACM.","DOI":"10.1145\/1096967.1096977"},{"key":"ijaras.2013100102-72","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050009"}],"container-title":["International Journal of Adaptive, Resilient and Autonomic Systems"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=98597","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T19:58:15Z","timestamp":1654113495000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/ijaras.2013100102"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2013,10,1]]},"references-count":73,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,10]]}},"URL":"https:\/\/doi.org\/10.4018\/ijaras.2013100102","relation":{},"ISSN":["1947-9220","1947-9239"],"issn-type":[{"value":"1947-9220","type":"print"},{"value":"1947-9239","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,1]]}}}