{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T07:01:41Z","timestamp":1775545301352,"version":"3.50.1"},"reference-count":106,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,9,8]],"date-time":"2013-09-08T00:00:00Z","timestamp":1378598400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s11761-013-0138-2","type":"journal-article","created":{"date-parts":[[2013,9,7]],"date-time":"2013-09-07T06:01:26Z","timestamp":1378533686000},"page":"105-128","source":"Crossref","is-referenced-by-count":24,"title":["Integration of business process modeling and Web services: a survey"],"prefix":"10.1007","volume":"8","author":[{"given":"Katarina","family":"Grolinger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miriam A. M.","family":"Capretz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Americo","family":"Cunha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Said","family":"Tazi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,9,8]]},"reference":[{"key":"138_CR1","unstructured":"Akkiraju R, Farrell J, Miller JA, Nagarajan M, Sheth A, Verma K (2006) Web service semantics WSDL-S, IBM research report. http:\/\/domino.research.ibm.com\/library\/cyberdig.nsf\/0\/ef9fe52551fb21dc8525710d005a8480?OpenDocument"},{"key":"138_CR2","doi-asserted-by":"crossref","unstructured":"Alowisheq A, Millard DE, Tiropanis T (2009) EXPRESS: EXPressing REstful semantic services using domain ontologies. In: Proceedings of the 8th international semantic web conference","DOI":"10.1007\/978-3-642-04930-9_59"},{"key":"138_CR3","unstructured":"Andrews T, Curbera F, Dholakia H, Goland Y, Klein J, Leymann F, Liu K, Roller D, Smith D, Thatte S, Trickovic I, Weerawarana S (2003) Business process execution language for Web services 1.1. http:\/\/msdn.microsoft.com\/en-US\/library\/ee251594%28v=bts.10%29.aspx"},{"key":"138_CR4","doi-asserted-by":"crossref","unstructured":"Ankolekar A, Burstein M, Hobbs JR, Lassila O, Martin D, McDermott D, McIlraith SA (2002) DAML-S: web service description for the semantic web. In: Proceedings of the first international conference on web services, pp 348\u2013363","DOI":"10.1007\/3-540-48005-6_27"},{"key":"138_CR5","unstructured":"Archer P, Smith K, Perego A (2009) Protocol for Web description resources (POWDER): description resources, W3C recommendation. http:\/\/www.w3.org\/TR\/powder-dr\/"},{"key":"138_CR6","unstructured":"Arkin A (2002) BPML specification. http:\/\/www.bpmi.org\/downloads\/spec_down_bpml.htm"},{"key":"138_CR7","volume-title":"Model checking of security-sensitive business processes. Formal aspects in security and trust","author":"A Armando","year":"2010","unstructured":"Armando A, Ponta SE (2010) Model checking of security-sensitive business processes. Formal aspects in security and trust. Springer, Berlin"},{"key":"138_CR8","doi-asserted-by":"crossref","unstructured":"Aslam MA, Auer S, Shen J, Herrmann M (2006) Expressing business process models as OWL-S ontologies. In: Proceedings of the business process management workshops, pp 400\u2013415","DOI":"10.1007\/11837862_38"},{"issue":"1","key":"138_CR9","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.websem.2007.11.002","volume":"6","author":"R Battle","year":"2008","unstructured":"Battle R, Benson E (2008) Bridging the semantic Web and Web 2.0 with representational state transfer (REST). Web Semant: Sci Serv Agents World Wide Web 6(1):61\u201369","journal-title":"Web Semant: Sci Serv Agents World Wide Web"},{"issue":"2","key":"138_CR10","doi-asserted-by":"crossref","first-page":"508","DOI":"10.1016\/j.eswa.2012.07.069","volume":"40","author":"J Bentahar","year":"2013","unstructured":"Bentahar J, Yahyaoui H, Kova M, Maamar Z (2013) Symbolic model checking composite Web services using operational and control behaviors. Expert Syst Appl 40(2):508\u2013522","journal-title":"Expert Syst Appl"},{"key":"138_CR11","volume-title":"Weaving the web: the original design and ultimate destiny of the World Wide Web by its inventor","author":"T Berners-Lee","year":"1999","unstructured":"Berners-Lee T, Fischetti M (1999) Weaving the web: the original design and ultimate destiny of the World Wide Web by its inventor. Harper, San Francisco"},{"key":"138_CR12","unstructured":"Booth D, Liu CK (2007) Web services description language (WSDL), version 2.0, W3C recommendation. http:\/\/www.w3.org\/TR\/2007\/REC-wsdl20-primer-20070626\/"},{"key":"138_CR13","doi-asserted-by":"crossref","unstructured":"Bordbar B, Howells G, Evans M, Staikopoulos A (2007) Model transformation from OWL-S to BPEL via SiTra. In: Proceedings of the third European conference model-driven architecture: foundations and applications, pp 43\u201358","DOI":"10.1007\/978-3-540-72901-3_4"},{"key":"138_CR14","doi-asserted-by":"crossref","unstructured":"Brogi A, Popescu R (2006) From BPEL processes to YAWL workflows. In: Proceedings of the third international workshop on web services and formal methods, pp 107\u2013122","DOI":"10.1007\/11841197_7"},{"key":"138_CR15","doi-asserted-by":"crossref","unstructured":"Cabral L, Domingue J (2009) Translating semantic web service based business process models. In: Proceedings of the IEEE Asia-Pacific services computing conference , pp 1\u20136","DOI":"10.1109\/APSCC.2009.5394150"},{"key":"138_CR16","doi-asserted-by":"crossref","unstructured":"Cabral L, Norton B, Domingue J (2009) The business process modelling ontology. In: International workshop on semantic business process management (SBPM 2009) at European semantic web conference (ESWC 2009)","DOI":"10.1145\/1944968.1944971"},{"key":"138_CR17","unstructured":"Chen-Burger Y, Tate A, Robertson D (2002) Enterprise modelling: a declarative approach for FBPML. In: Proceedings of the ECAI\u201902 workshop on knowledge management and organizational memories"},{"issue":"4","key":"138_CR18","first-page":"307","volume":"1","author":"J Cheng","year":"2003","unstructured":"Cheng J, Gruninger M, Sriram RD, Law KH (2003) Process specification language for project information exchange. Int J IT Archit Eng Constr 1(4):307\u2013328","journal-title":"Int J IT Archit Eng Constr"},{"key":"138_CR19","doi-asserted-by":"crossref","DOI":"10.1002\/047003033X","volume-title":"Semantic web technologies: trends and research in ontology-based systems","author":"J Davies","year":"2006","unstructured":"Davies J, Studer R, Warren P (2006) Semantic web technologies: trends and research in ontology-based systems. Wiley, NJ"},{"key":"138_CR20","unstructured":"de Bruijn J, Bussler C, Domingue J, Fensel D, Hepp M, Keller U, Kifer M (2005) Web service modeling ontology (WSMO), W3C submission. http:\/\/www.w3.org\/Submission\/WSMO\/"},{"key":"138_CR21","unstructured":"de Bruijn J, Fensel D, Kifer M, Kopeck J, Lara R, Lausen H, Polleres A, Roman D, Scicluna J, Toma I (2005) Relationship of WSMO to other relevant technologies, W3C submission. http:\/\/www.w3.org\/Submission\/WSMO-related\/"},{"key":"138_CR22","doi-asserted-by":"crossref","unstructured":"Decker G, Dijkman R, Dumas M, Garc\u00eda-Ba\u00f1uelos L (2008) Transforming BPMN diagrams into YAWL nets. In: Proceedings of the 6th international conference on business processes management, pp 386\u2013389","DOI":"10.1007\/978-3-540-85758-7_30"},{"key":"138_CR23","doi-asserted-by":"crossref","unstructured":"Delgado A, Ruiz F, de Guzm\u00e1n IGR, Piattini M (2010) Towards an ontology for service oriented modeling supporting business processes. In: Proceedings of the fourth international conference on research challenges in information science, pp 415-424","DOI":"10.1109\/RCIS.2010.5507347"},{"key":"138_CR24","volume-title":"Process-aware information systems: bridging people and software through process technology","author":"M Dumas","year":"2006","unstructured":"Dumas M, van der Aalst WM, ter Hofstede AH (2006) Process-aware information systems: bridging people and software through process technology. Wiley-Interscience, Hoboken"},{"issue":"1","key":"138_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1504\/IJWGS.2005.007545","volume":"1","author":"S Dustdar","year":"2005","unstructured":"Dustdar S, Schreiner W (2005) A survey on web services composition. Int J Web Grid Serv 1(1):1\u201330","journal-title":"Int J Web Grid Serv"},{"key":"138_CR26","unstructured":"Eindhoven University of Technology. WofYAWL tool. http:\/\/www.win.tue.nl\/woflan\/doku.php?id=yawl"},{"key":"138_CR27","unstructured":"Essi, WSML Working Group (2008) The Web service modeling language WSML specification. http:\/\/www.wsmo.org\/wsml\/wsml-syntax"},{"issue":"5","key":"138_CR28","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1016\/j.datak.2011.01.004","volume":"70","author":"D Fahland","year":"2011","unstructured":"Fahland D, Favre C, Koehler J, Lohmann N, V\u00f6lzer H, Wolf K (2011) Analysis on demand: instantaneous soundness checking of industrial business process models. Data Knowl Eng 70(5):448\u2013466","journal-title":"Data Knowl Eng"},{"key":"138_CR29","unstructured":"Farrell J, Lausen H (2007) Semantic annotations for WSDL and XML schema. http:\/\/www.w3.org\/TR\/sawsdl\/"},{"key":"138_CR30","unstructured":"Feier C, Roman D, Polleres A, Domingue J, Stollberg M, Fense D (2005) Towards intelligent web services: web service modeling ontology. In: Proceedings of the international conference on intelligent computing"},{"key":"138_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19193-0","volume-title":"Semantic web services","author":"D Fensel","year":"2011","unstructured":"Fensel D, Facca FM, Simperl E, Toma I (2011) Semantic web services. Springer, Berlin"},{"key":"138_CR32","unstructured":"Fielding R (2000) Architectural styles and the design of network-based software architectures, chapter 5: representational state transfer (REST). http:\/\/www.ics.uci.edu\/~fielding\/pubs\/dissertation\/rest_arch_style.htm"},{"key":"138_CR33","doi-asserted-by":"crossref","unstructured":"Garc\u00eda-Ba\u00f1uelos L (2008) Pattern identification and classification in the translation from BPMN to BPEL. In: Proceedings on the move to meaningful internet systems, confederated international conferences, CoopIS, DOA, GADA, IS, and ODBASE, pp 436\u2013444","DOI":"10.1007\/978-3-540-88871-0_30"},{"key":"138_CR34","doi-asserted-by":"crossref","unstructured":"Girault C, Valk R (2003) Petri nets for systems engineering: a guide to modeling, verification, and applications. Springer, New York","DOI":"10.1007\/978-3-662-05324-9"},{"key":"138_CR35","unstructured":"Gomadam K, Ranabahu A, Sheth A (2010) SA-REST: semantic annotation of Web resources, W3C submission http:\/\/www.w3.org\/Submission\/SA-REST\/"},{"issue":"3","key":"138_CR36","first-page":"63","volume":"24","author":"M Gruninger","year":"2003","unstructured":"Gruninger M, Menzel C (2003) The process specification language (PSL): theory and applications. AI Mag 24(3):63\u201374","journal-title":"AI Mag"},{"key":"138_CR37","unstructured":"Gudgin M, Hadley M, Mendelsohn N, Moreau JJ, Nielsen HF, Karmarkar A, Lafon Y (2007) SOAP, version 1.2, part 1: messaging framework, W3C recommendation. http:\/\/www.w3.org\/TR\/soap12-part1\/#intro"},{"issue":"2","key":"138_CR38","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/s11761-010-0061-8","volume":"4","author":"L Guo","year":"2010","unstructured":"Guo L (2010) B2B collaboration through Web services-based multi-agent system. Serv Comput Appl 4(2):137\u2013153","journal-title":"Serv Comput Appl"},{"key":"138_CR39","doi-asserted-by":"crossref","unstructured":"Guo L, Chen-Burger Y, Robertson D (2004) Mapping a business process model to a semantic web service model. In: Proceedings of the IEEE international conference on web services, pp 746\u2013749","DOI":"10.1109\/ICWS.2004.1314808"},{"key":"138_CR40","unstructured":"Hadley M (2009) Web application description language, W3C submission. http:\/\/www.w3.org\/Submission\/wadl\/"},{"key":"138_CR41","doi-asserted-by":"crossref","unstructured":"Haller A, Gaaloul W, Marmolowski M (2008) Towards an XPDL compliant process ontology. In: Proceedings of IEEE congress on services\u2014part I, pp 83\u201386","DOI":"10.1109\/SERVICES-1.2008.71"},{"issue":"2","key":"138_CR42","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/1083784.1083807","volume":"34","author":"R Hull","year":"2005","unstructured":"Hull R, Su J (2005) Tools for composite Web services: a short overview. ACM SIGMOD Record 34(2):86\u201395","journal-title":"ACM SIGMOD Record"},{"key":"138_CR43","doi-asserted-by":"crossref","unstructured":"Khorasgani RR, Stroulia E, Zaiane OR (2011) Web service matching for RESTful Web services. In: Proceedings of the 13th IEEE international symposium on web system evolution, pp 115\u2013124","DOI":"10.1109\/WSE.2011.6081829"},{"key":"138_CR44","doi-asserted-by":"crossref","unstructured":"Klai K, Desel J (2012) Checking soundness of business processes compositionally using symbolic observation graphs. Formal Tech Distrib Syst 7273(Form Tech for Distrib Syst):67\u201383","DOI":"10.1007\/978-3-642-30793-5_5"},{"key":"138_CR45","doi-asserted-by":"crossref","unstructured":"Knuplesch D, Ly LT, Rinderle-Ma S, Pfeifer H, Dadam P (2010) On enabling data-aware compliance checking of business process models. In: Proceedings of the 29th international conference on conceptual modeling 6412, 332\u2013346","DOI":"10.1007\/978-3-642-16373-9_24"},{"issue":"5","key":"138_CR46","doi-asserted-by":"crossref","first-page":"744","DOI":"10.1108\/14637150910987937","volume":"15","author":"RKL Ko","year":"2009","unstructured":"Ko RKL, Lee SSG, Lee EW (2009) Business process management (BPM) standards: a survey. Bus Process Manag J 15(5):744\u2013 791","journal-title":"Bus Process Manag J"},{"issue":"4","key":"138_CR47","first-page":"4","volume":"15","author":"RKL Ko","year":"2009","unstructured":"Ko RKL (2009) A computer scientist\u2019s introductory guide to business process management (BPM). ACM Crossroads 15(4):4\u201318","journal-title":"ACM Crossroads"},{"key":"138_CR48","doi-asserted-by":"crossref","unstructured":"Kopeck\u00fd J, Gomadam K, Vitvar T (2008) hRESTS: an HTML microformat for describing RESTful web services. In: Proceedings of the IEEE\/WIC\/ACM international conference on web intelligence and intelligent agent technology","DOI":"10.1109\/WIIAT.2008.379"},{"key":"138_CR49","unstructured":"Lara R, Polleres A, Lausen H, Roman D, de Bruijn J, Fensel D (2005) A conceptual comparison between WSMO and OWL-S. http:\/\/www.wsmo.org\/2004\/d4\/d4.1\/v0.1\/20050106\/d4.1v0.1_20050106.pdf"},{"issue":"4","key":"138_CR50","doi-asserted-by":"crossref","first-page":"4025","DOI":"10.1016\/j.eswa.2010.09.065","volume":"38","author":"J Lee","year":"2011","unstructured":"Lee J, Kim K, Kim H, Kim C, Seo W (2011) Condition-based process patterns for modeling of human processes in knowledge-intensive business services. Expert Syst Appl 38(4):4025\u20134038","journal-title":"Expert Syst Appl"},{"key":"138_CR51","doi-asserted-by":"crossref","unstructured":"Le D, Ong CJD, Goh AES (2009) Converting WSMO to OWL-S system. In: Proceedings of the IEEE Asia-Pacific services computing conference, pp 7\u201312","DOI":"10.1109\/APSCC.2009.5394147"},{"key":"138_CR52","volume-title":"Semantic annotation framework to manage semantic heterogeneity of process models. Advanced information systems engineering","author":"Y Lin","year":"2006","unstructured":"Lin Y, Strasunskas D, Hakkarainen S, Krogstie J, Solvberg A (2006) Semantic annotation framework to manage semantic heterogeneity of process models. Advanced information systems engineering. Springer, Berlin"},{"key":"138_CR53","unstructured":"Lin Y, Ding H (2005) Ontology-based semantic annotation for semantic interoperability of process models. In: Proceedings of the international conference on computational intelligence for modelling, control and automation"},{"key":"138_CR54","doi-asserted-by":"crossref","unstructured":"Lohmann N, Verbeek E, Dijkman R (2009) Petri net transformations for business processes\u2014a survey. Transactions on petri nets and other models of concurrency II. pp 46\u201363","DOI":"10.1007\/978-3-642-00899-3_3"},{"issue":"3","key":"138_CR55","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/s10458-010-9152-3","volume":"24","author":"A Lomuscio","year":"2012","unstructured":"Lomuscio A, Qu H, Solanki M (2012) Towards verifying contract regulated service composition. Auton Agents Multi-Agent Syst 24(3):345\u2013373","journal-title":"Auton Agents Multi-Agent Syst"},{"key":"138_CR56","doi-asserted-by":"crossref","unstructured":"Mangler J, Schikuta E, Witzany C (2009) Quo vadis interface definition languages? Towards a interface definition language for RESTful services. In: Proceedings of the IEEE international conference on service-oriented computing and applications","DOI":"10.1109\/SOCA.2009.5410459"},{"key":"138_CR57","unstructured":"Martin D, Burstein M, Hobbs J, Lassila O, McDermott D, McIlraith S, Narayanan S, Paolucci M, Parsia B, Payne T, Sirin E, Srinivasan N, Sycara K (2004) OWL-S: semantic markup for Web services, W3C submission. www.w3.org\/Submission\/OWL-S\/"},{"key":"138_CR58","unstructured":"Mayer RJ, Menzel CP, Painter MK, deWitte PS, Blinn T, Perakath B (1995) Information integration for concurrent engineering (IICE) IDEF3 process description capture method report. http:\/\/www.idef.com\/pdf\/Idef3_fn.pdf"},{"key":"138_CR59","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/978-3-642-12186-9_33","volume":"43","author":"LO Meertens","year":"2010","unstructured":"Meertens LO, Iacob M, Eckartz SM (2010) Feasibility of EPC to BPEL model transformations based on ontology and patterns. Lect Notes Bus Inform Process 43:347\u2013358","journal-title":"Lect Notes Bus Inform Process"},{"key":"138_CR60","doi-asserted-by":"crossref","unstructured":"Mendling J, Lassen KB, Zdun U (2008) On the transformation of control flow between block-oriented and graph-oriented process modeling languages. Int J Bus Process Integr Manag 3(2):96\u2013108","DOI":"10.1504\/IJBPIM.2008.020973"},{"key":"138_CR61","unstructured":"Mendling J, N\u00fcttgens M (2004) Transformation of ARIS markup language to EPML. In: Proceedings of the 3rd GI workshop on event-driven process chains, pp 27\u201338"},{"key":"138_CR62","unstructured":"Mendling J, N\u00fcttgens M (2008) Vorwort: XML integration and transformation for business process management (XML4BPM). In: Proceedings Multikonferenz Wirtschaftsinformatik"},{"key":"138_CR63","unstructured":"Mendling J, Ziemann J (2005) Transformation of BPEL processes to EPCs. In: Proceedings 4th GI workshop on event-driven process chains"},{"key":"138_CR64","volume-title":"Communicating and mobile systems: the Pi calculus","author":"R Milner","year":"1999","unstructured":"Milner R (1999) Communicating and mobile systems: the Pi calculus. Cambridge University Press, Cambridge"},{"key":"138_CR65","doi-asserted-by":"crossref","unstructured":"Morimoto S (2008) A survey of formal verification for business process modeling. Computational science. Springer, Berlin","DOI":"10.1007\/978-3-540-69387-1_58"},{"issue":"1","key":"138_CR66","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1049\/iet-sen:20060042","volume":"1","author":"G Nadarajan","year":"2007","unstructured":"Nadarajan G, Chen-Burger Y-H (2007) Translating a typical business process modelling language to a web services ontology through lightweight mapping. IET Softw 1(1):1\u201317","journal-title":"IET Softw"},{"key":"138_CR67","doi-asserted-by":"crossref","unstructured":"Norton B, Cabral L, Nitzsche J (2009) Ontology-based translation of business process models. In: Proceedings of the international conference on internet and web applications and services, pp 481-486","DOI":"10.1109\/ICIW.2009.77"},{"key":"138_CR68","unstructured":"OASIS Business Process Project Team (2001) ebXML business process specification schema, version 1.01. http:\/\/www.ebxml.org\/specs\/ebBPSS.pdf"},{"key":"138_CR69","unstructured":"OASIS consortium (2007) Web services business process execution language, version 2.0. http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"key":"138_CR70","unstructured":"Object Management Group (OMG) (2010) Business process model and notation (BPMN). http:\/\/www.omg.org\/spec\/BPMN\/"},{"issue":"1","key":"138_CR71","doi-asserted-by":"crossref","first-page":"42","DOI":"10.4018\/jwsr.2008010103","volume":"5","author":"C Ouyang","year":"2008","unstructured":"Ouyang C, Dumas M, ter Hofstede AHM, van der Aalst WMP (2008) Pattern-based translation of BPMN process models to BPEL Web services. Int J Web Serv Res 5(1):42\u201362","journal-title":"Int J Web Serv Res"},{"key":"138_CR72","doi-asserted-by":"crossref","unstructured":"Ouyang C, Dumas M, ter Hofstede AHM, van der Aalst WMP (2006) From BPMN process models to BPEL Web services. In: Proceedings of the fourth international conference on web services, pp 285\u2013292","DOI":"10.1109\/ICWS.2006.67"},{"key":"138_CR73","unstructured":"Paolucci M, Srinivasan N, Sycara K, Nishimura T (2003) Toward a semantic choreography of web services: from WSDL to DAML-S. In: Proceedings of the first international conference on web services, pp 22\u201326"},{"issue":"1","key":"138_CR74","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/s11761-007-0002-3","volume":"1","author":"MP Papazoglou","year":"2007","unstructured":"Papazoglou MP, Kratz B (2007) Web services technology in support of business transactions. Serv Comput Appl 1(1):51\u201363","journal-title":"Serv Comput Appl"},{"key":"138_CR75","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-85758-7_21","volume-title":"BPEL for REST","author":"C Pautasso","year":"2008","unstructured":"Pautasso C (2008) BPEL for REST. Springer, Berlin"},{"issue":"9","key":"138_CR76","doi-asserted-by":"crossref","first-page":"851","DOI":"10.1016\/j.datak.2009.02.016","volume":"68","author":"C Pautasso","year":"2009","unstructured":"Pautasso C (2009) RESTful Web service composition with BPEL for REST. Data Knowl Eng 68(9):851\u2013866","journal-title":"Data Knowl Eng"},{"key":"138_CR77","doi-asserted-by":"crossref","unstructured":"Peng Y, Ma S, Lee J (2009) REST2SOAP: a framework to integrate SOAP services and RESTful services. In: Proceedings of the IEEE international conference on service-oriented computing and applications","DOI":"10.1109\/SOCA.2009.5410458"},{"key":"138_CR78","unstructured":"Perego A, Konstantopoulos S, Archer P (2010) Protocol for web description resources (POWDER): POWDER-S vocabulary (WDRS). http:\/\/www.w3.org\/2007\/05\/powder-s"},{"key":"138_CR79","doi-asserted-by":"crossref","unstructured":"Rao J, Su X (2005) A survey of automated web service composition methods. Semantic web services and web process composition, Springer, Berlin","DOI":"10.1007\/978-3-540-30581-1_5"},{"key":"138_CR80","volume-title":"RESTful web services","author":"L Richardson","year":"2007","unstructured":"Richardson L, Ruby S (2007) RESTful web services. O\u2019Reilly Media, Portland"},{"issue":"1","key":"138_CR81","first-page":"77","volume":"15","author":"D Roman","year":"2005","unstructured":"Roman D, Keller U, Lausen H, de Bruijn J, Lara R, Stollberg M, Polleres A, Feier C, Bussler C, Fensel D (2005) Web service modeling ontology. Appl Ontol 15(1):77\u2013106","journal-title":"Appl Ontol"},{"issue":"4","key":"138_CR82","first-page":"204","volume":"16","author":"C Schlenoff","year":"1999","unstructured":"Schlenoff C, Gruninger M, Ciocoiu M, Lee J (1999) The essence of the process specification language. Trans Soc Comput Simul Int 16(4):204\u2013216","journal-title":"Trans Soc Comput Simul Int"},{"key":"138_CR83","doi-asserted-by":"crossref","unstructured":"Schlenoff C, Ciocoiu M, Libes D, Gruninger M (1999) Process specification language (PSL): results of the first pilot implementation. In: Proceedings international mechanical engineering congress & exposition","DOI":"10.1115\/IMECE1999-0713"},{"key":"138_CR84","unstructured":"Scicluna J, Lara R, Polleres A, Lausen H (2004) Formal mapping and tool to OWL-S. WSMO Working Group Report"},{"key":"138_CR85","unstructured":"Shen J, Yang Y, Lalwani B (2004) Mapping web services specifications to process ontology: opportunities and limitations. In: Proceedings of the 10th IEEE international workshop on future trends of distributed computing systems, pp 235\u2013235"},{"key":"138_CR86","doi-asserted-by":"crossref","unstructured":"Shen J, Yang Y, Zhu C, Wan C (2005) From BPEL4WS to OWL-S: integrating e-business process descriptions. In: Proceedings of IEEE international conference on service computing 1, 181\u2013188","DOI":"10.1109\/SCC.2005.54"},{"key":"138_CR87","doi-asserted-by":"crossref","unstructured":"Studer R, Benjamins VR, Fensel D (1998) Knowledge engineering: principles and methods. Data Knowl Eng 25(1\u20132): 161\u2013197","DOI":"10.1016\/S0169-023X(97)00056-6"},{"key":"138_CR88","doi-asserted-by":"crossref","unstructured":"Studer R, Abecker A, Grimm S (2007) Semantic web services: concepts, technologies, and applications. Springer, Berlin","DOI":"10.1007\/3-540-70894-4"},{"key":"138_CR89","unstructured":"SWSL Committee (2005) Semantic Web services framework (SWSF). http:\/\/www.daml.org\/services\/swsf\/1.0\/"},{"issue":"2","key":"138_CR90","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/s11761-010-0059-2","volume":"4","author":"L Tang","year":"2010","unstructured":"Tang L, Dong J, Peng T, Tsai W (2010) Modeling enterprise service-oriented architectural styles. Serv Comput Appl 4(2):81\u2013107","journal-title":"Serv Comput Appl"},{"key":"138_CR91","doi-asserted-by":"crossref","unstructured":"Upadhyaya B, Zou Y, Xiao H, Ng J, Lau A (2011) Migration of SOAP-based services to RESTful services. In: Proceedings of the 13th IEEE international symposium on web systems evolution (WSE), pp 105\u2013114","DOI":"10.1109\/WSE.2011.6081828"},{"key":"138_CR92","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1016\/j.knosys.2011.12.003","volume":"28","author":"M Valiente","year":"2012","unstructured":"Valiente M, Garcia-Barriocanal E, Sicilia M (2012) Applying an ontology approach to IT service management for business-IT integration. Knowl-Based Syst 28:76\u201387","journal-title":"Knowl-Based Syst"},{"key":"138_CR93","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP (2013) Business process management: a comprehensive survey. ISRN Softw Eng 2013","DOI":"10.1155\/2013\/507984"},{"key":"138_CR94","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP, ter Hofstede AHM, Kiepuszewski B, Barros AP (2003) Workflow patterns. Distrib Parallel Databases 14(1):5\u201351","DOI":"10.1023\/A:1022883727209"},{"key":"138_CR95","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP, ter Hofstede AHM (2005) YAWL: yet another workflow language. Inf Syst 30(4):245\u2013275","DOI":"10.1016\/j.is.2004.02.002"},{"key":"138_CR96","doi-asserted-by":"crossref","unstructured":"van der Aalst W, ter Hofstede A, Weske M (2003) Business process management: a survey. In: Proceedings of the international conference on business process management 2678, 1\u201312","DOI":"10.1007\/3-540-44895-0_1"},{"key":"138_CR97","unstructured":"Vanderhaeghen D, Zang S, Hofer A, Adam O (2005) XML-based transformation of business process models\u2014enabler for collaborative business process management. In: Proceedings of the second GI workshop XML for business process management (XML4BPM)"},{"key":"138_CR98","doi-asserted-by":"crossref","unstructured":"Wand Y, Weber R (1990) An ontological model of an information system. IEEE Trans Softw Eng 16(11):1282\u20131292","DOI":"10.1109\/32.60316"},{"key":"138_CR99","unstructured":"Wang S, Capretz MAM, El Yamany HF (2009) Semantic profile based service discovery for abstract process composition. In: Proceedings of the international conference on e-Business, pp 258\u2013263"},{"key":"138_CR100","doi-asserted-by":"crossref","unstructured":"Weber I, Hoffmann J, Mendling J (2010) Beyond soundness: on the verification of semantic business process models. Distrib Parallel Databases 27(3):271\u2013343","DOI":"10.1007\/s10619-010-7060-9"},{"key":"138_CR101","doi-asserted-by":"crossref","unstructured":"Weidlich M, Decker G, Grosskopf A, Weske M (2008) BPEL to BPMN: the myth of a straight-forward mapping. In: Proceedings on the move to meaningful internet systems, confederated international conferences, CoopIS, DOA, GADA, IS, and ODBASE, pp 265\u2013282","DOI":"10.1007\/978-3-540-88871-0_19"},{"key":"138_CR102","unstructured":"White SA (2005) Using BPMN to model a BPEL process. http:\/\/www.bpmn.org\/Documents\/Mapping_BPMN_to_BPEL_Example.pdf"},{"key":"138_CR103","unstructured":"Workflow Management Coalition (2008) XPDL, XML process definition language. http:\/\/www.wfmc.org\/xpdl.html"},{"key":"138_CR104","doi-asserted-by":"crossref","unstructured":"Ye J, Sun S, Wen L, Song W (2008) Transformation of BPMN to YAWL. In: Proceedings international conference on computer science and software engineering 2, 354\u2013359","DOI":"10.1109\/CSSE.2008.980"},{"issue":"10","key":"138_CR105","doi-asserted-by":"crossref","first-page":"12772","DOI":"10.1016\/j.eswa.2011.04.068","volume":"38","author":"WL Yeung","year":"2011","unstructured":"Yeung WL (2011) A formal and visual modeling approach to choreography based Web services composition and conformance verification. Expert Syst Appl 38(10):12772\u201312785","journal-title":"Expert Syst Appl"},{"key":"138_CR106","unstructured":"Ziemann J, Mendling J (2005) EPC-based modelling of BPEL processes: a pragmatic transformation approach. In: Proceedings of the 13th international conference on modern information technology in the innovation processes of the industrial enterprises"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-013-0138-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-013-0138-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-013-0138-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,5]],"date-time":"2022-03-05T18:38:46Z","timestamp":1646505526000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-013-0138-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,8]]},"references-count":106,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["138"],"URL":"https:\/\/doi.org\/10.1007\/s11761-013-0138-2","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9,8]]}}}