{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T03:28:11Z","timestamp":1648697291384},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,3,4]],"date-time":"2008-03-04T00:00:00Z","timestamp":1204588800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Inf Syst E-Bus Manage"],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1007\/s10257-008-0081-5","type":"journal-article","created":{"date-parts":[[2008,3,3]],"date-time":"2008-03-03T11:58:49Z","timestamp":1204545529000},"page":"223-250","source":"Crossref","is-referenced-by-count":7,"title":["A semantical framework to engineering WSBPEL processes"],"prefix":"10.1007","volume":"7","author":[{"given":"Mohsen","family":"Rouached","sequence":"first","affiliation":[]},{"given":"Walid","family":"Fdhila","sequence":"additional","affiliation":[]},{"given":"Claude","family":"Godart","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,3,4]]},"reference":[{"key":"81_CR1","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, Version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation"},{"key":"81_CR2","unstructured":"Arkin A, Askary S, Bloch B, Curbera F (2004) Web services business process execution language version 2.0. Technical report, OASIS"},{"key":"81_CR3","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.entcs.2004.05.007","volume":"105","author":"A Brogi","year":"2004","unstructured":"Brogi A, Canal C, Pimentel E, Vallecillo A (2004) Formalizing web service choreographies. Electr Notes Theor Comput Sci 105:73\u201394","journal-title":"Electr Notes Theor Comput Sci"},{"issue":"3","key":"81_CR4","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/S0306-4379(01)00014-X","volume":"26","author":"F Casati","year":"2001","unstructured":"Casati F, Shan M-C (2001) Dynamic and adaptive composition of e-services. Inf Syst 26(3):143\u2013163","journal-title":"Inf Syst"},{"key":"81_CR5","unstructured":"Fahland D, Reisig W (2005) ASM-based semantics for BPEL: the negative control flow. In: Beauquier D, B\u00f6rger E, Slissenko A (eds) Proceedings of 12th international workshop on abstract state machines. Paris, France, pp 131\u2013151"},{"key":"81_CR6","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. ACM Press, New York, pp 242\u2013251","DOI":"10.1145\/1035167.1035202"},{"key":"81_CR7","doi-asserted-by":"crossref","unstructured":"Fisteus J, Fern\u00e1ndez L, Kloos C (2004) Formal verification of BPEL4WS business collaborations. In: Bauknecht K, Bichler M, Proll B (eds) Proceedings of the 5th international conference on electronic commerce and Web technologies (EC-Web \u201904). Lecture Notes in Computer Science, vol 3182, Zaragoza, Spain. Springer, Berlin, pp 79\u201394","DOI":"10.1007\/978-3-540-30077-9_8"},{"key":"81_CR8","doi-asserted-by":"crossref","unstructured":"Foster H, Kramer J, Magee J, Uchitel S (2003) Model-based verification of web service compositions. In: 18th IEEE international conference on automated software engineering (ASE)","DOI":"10.1109\/ASE.2003.1240303"},{"key":"81_CR9","unstructured":"Fu X (2004) Formal specification and verification of asynchronously communicating Web services. Phd Thesis, University of California, Santa Barbara"},{"key":"81_CR10","doi-asserted-by":"crossref","unstructured":"Fu X, Bultan T, Su J (2004) Analysis of interacting bpel web services. In: WWW \u201904: Proceedings of the 13th international conference on World Wide Web, ACM Press, New York, pp 621\u2013630","DOI":"10.1145\/988672.988756"},{"key":"81_CR11","doi-asserted-by":"crossref","unstructured":"Gustavo Alonso HKVM (2004) Fabio Casati. Web services: concepts, architectures and applications. Springer, Berlin","DOI":"10.1007\/978-3-662-10876-5"},{"issue":"5","key":"81_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1022494.1022526","volume":"29","author":"M Koshkina","year":"2004","unstructured":"Koshkina M, van Breugel F (2004) Modelling and verifying web service orchestration by means of the concurrency workbench. SIGSOFT Softw Eng Notes 29(5):1\u201310","journal-title":"SIGSOFT Softw Eng Notes"},{"issue":"1","key":"81_CR13","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski R, Sergot MJ (1986) A logic-based calculus of events. New Generation Comput 4(1):67\u201395","journal-title":"New Generation Comput"},{"issue":"2","key":"81_CR14","first-page":"89","volume":"5","author":"A Kozlenkov","year":"2004","unstructured":"Kozlenkov A, Zisman A (2004) Discovering, recording, and handling inconsistencies in software specifications. Int J Comput Inf Sci 5(2):89\u2013108","journal-title":"Int J Comput Inf Sci"},{"key":"81_CR15","volume-title":"Concurrency: state models & Java programs","author":"J Magee","year":"1999","unstructured":"Magee J, Kramer J (1999) Concurrency: state models & Java programs. Wiley, New York"},{"key":"81_CR16","doi-asserted-by":"crossref","unstructured":"Mahbub K, Spanoudakis G (2004) A framework for requirents monitoring of service based systems. In: ICSOC \u201904: Proceedings of the 2nd international conference on Service oriented computing, ACM Press, New York, pp 84\u201393","DOI":"10.1145\/1035167.1035181"},{"key":"81_CR17","doi-asserted-by":"crossref","unstructured":"Martens A (2005) Analyzing Web service based business processes. In: Cerioli M (ed) Proceedings of the 8th international conference on fundamental approaches to software engineering (FASE 2005). Lecture Notes in Computer Science, vol 3442. Springer, Berlin, pp 19\u201333","DOI":"10.1007\/978-3-540-31984-9_3"},{"key":"81_CR18","doi-asserted-by":"crossref","unstructured":"Nakajima S (2002) Verification of web service flows with model-checking techniques. In: Proceedings of the first international symposium on Cyber Worlds (CW 2002). IEEE Computer Society, Washington, pp 378\u2013385","DOI":"10.1109\/CW.2002.1180904"},{"key":"81_CR19","doi-asserted-by":"crossref","unstructured":"Narayanan S, McIlraith SA (2002) Simulation, verification and automated composition of web services. In: WWW \u201902: Proceedings of the 11th international conference on World Wide Web. ACM Press, , New York, pp 77\u201388","DOI":"10.1145\/511446.511457"},{"key":"81_CR20","unstructured":"Ouyang C, Aalst W, Breutel S, Dumas M, Verbeek H (2005) Formal semantics and analysis of control flow in WS-BPEL. BPM Center Report BPM-05-15, BPMcenter.org"},{"key":"81_CR21","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/j.entcs.2004.05.005","volume":"105","author":"M Pistore","year":"2004","unstructured":"Pistore M, Roveri M, Busetta P (2004) Requirements-driven verification of web services. Electr Notes Theor Comput Sci 105:95\u2013108","journal-title":"Electr Notes Theor Comput Sci"},{"issue":"2","key":"81_CR22","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.entcs.2005.07.035","volume":"151","author":"G Pu","year":"2006","unstructured":"Pu G, Zhao X, Wang S, Qiu Z (2006) Towards the semantics and verification of bpel4ws. Electr Notes Theor Comput Sci 151(2):33\u201352","journal-title":"Electr Notes Theor Comput Sci"},{"key":"81_CR23","doi-asserted-by":"crossref","unstructured":"Rouached M, Gaaloul W, van der Aalst WMP, Bhiri S, Godart C (2006) Web service mining and verification of properties: an approach based on event calculus. In: Proceedings 14th international conference on cooperative information Systems (CoopIS 2006)","DOI":"10.1007\/11914853_25"},{"key":"81_CR24","doi-asserted-by":"crossref","unstructured":"Rouached M, Godart C (2007) A dynamic query based discovery for Web services composition. http:\/\/www.loria.fr\/~rouached\/CWSDiscovery.pdf","DOI":"10.1109\/ICEBE.2008.49"},{"key":"81_CR25","doi-asserted-by":"crossref","unstructured":"Rouached M, Godart C (2007) Requirements-driven verification of wsbpel processes. In: Proceedings of the IEEE international conference on Web services (ICWS\u201907), Salt Lake City","DOI":"10.1109\/ICWS.2007.153"},{"key":"81_CR26","doi-asserted-by":"crossref","unstructured":"Spanoudakis G, Zisman A, Kozlenkov A (2005) A service discovery framework for service centric systems. In: SCC \u201905: Proceedings of the 2005 IEEE international conference on services computing. IEEE Computer Society, Washington, DC, pp 251\u2013259","DOI":"10.1109\/SCC.2005.17"},{"key":"81_CR27","unstructured":"Stahl C (2004) Transformation von BPEL4WS in Petrinetze (In German). Master\u2019s Thesis, Humboldt University, Berlin"},{"issue":"4","key":"81_CR28","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1006\/jsco.2000.0469","volume":"32","author":"S Stratulat","year":"2001","unstructured":"Stratulat S (2001) A general framework to build contextual cover set induction provers. J Symb Comput 32(4):403\u2013445","journal-title":"J Symb Comput"},{"key":"81_CR29","unstructured":"van Breugel F, Koshkina M (2006) Models and verification of bpel. Available at http:\/\/www.cse.yorku.ca\/franck\/research\/drafts\/tutorial.pdf"},{"key":"81_CR30","doi-asserted-by":"crossref","unstructured":"Yang Y, Tan Q, Xiao Y (2005) Verifying web services composition based on hierarchical colored petri nets. In: IHIS \u201905: Proceedings of the first international workshop on Interoperability of heterogeneous information systems. ACM Press, New York, pp 47\u201354","DOI":"10.1145\/1096967.1096977"}],"container-title":["Information Systems and e-Business Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10257-008-0081-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10257-008-0081-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10257-008-0081-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T11:42:12Z","timestamp":1559130132000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10257-008-0081-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,4]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["81"],"URL":"https:\/\/doi.org\/10.1007\/s10257-008-0081-5","relation":{},"ISSN":["1617-9846","1617-9854"],"issn-type":[{"value":"1617-9846","type":"print"},{"value":"1617-9854","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,3,4]]}}}