{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T05:40:10Z","timestamp":1736314810059,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540325956"},{"type":"electronic","value":"9783540325963"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11678564_13","type":"book-chapter","created":{"date-parts":[[2006,2,14]],"date-time":"2006-02-14T12:37:13Z","timestamp":1139920633000},"page":"144-157","source":"Crossref","is-referenced-by-count":6,"title":["An Abstract Machine Architecture for Web Service Based Business Process Management"],"prefix":"10.1007","author":[{"given":"Roozbeh","family":"Farahbod","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Gl\u00e4sser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mona","family":"Vajihollahi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Andrews, T., et al.: Business process execution language for web services version 1.1 (2003), http:\/\/ifr.sap.com\/bpel4ws\/ (last visited, February 2005)"},{"key":"13_CR2","unstructured":"Organization for the Advancement of Structured Information Standards (OASIS): WS BPEL issues list (2004), http:\/\/www.oasis-open.org"},{"key":"13_CR3","unstructured":"W3C: Web Services Description Language (WSDL) Version 1.2 Part 1: Core Language (2003), http:\/\/www.w3.org (last visited, May 2004)"},{"key":"13_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines: A Method for High-Level System Design and Analysis","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/S1389-1286(03)00247-0","volume":"42","author":"U. Gl\u00e4sser","year":"2003","unstructured":"Gl\u00e4sser, U., Gotzhein, R., Prinz, A.: The formal semantics of SDL-2000: status and perspectives. Comput. Networks\u00a042, 343\u2013358 (2003)","journal-title":"Comput. Networks"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-1-4615-2237-9_5","volume-title":"Formal Semantics for VHDL","author":"E. B\u00f6rger","year":"1995","unstructured":"B\u00f6rger, E., Gl\u00e4sser, U., M\u00fcller, W.: Formal Definition of an Abstract VHDL 1993 Simulator by EA-Machines. In: Delgado Kloos, C., Breuer, P.T. (eds.) Formal Semantics for VHDL, pp. 107\u2013139. Kluwer Academic Publishers, Dordrecht (1995)"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-540-39910-0_6","volume-title":"Verification: Theory and Practice","author":"E. B\u00f6rger","year":"2004","unstructured":"B\u00f6rger, E.: The ASM ground model method as a foundation of requirements engineering. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol.\u00a02772, pp. 145\u2013160. Springer, Heidelberg (2004)"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/343369.343384","volume":"1","author":"Y. Gurevich","year":"2000","unstructured":"Gurevich, Y.: Sequential Abstract State Machines Capture Sequential Algorithms. ACM Transactions on Computational Logic\u00a01, 77\u2013111 (2000)","journal-title":"ACM Transactions on Computational Logic"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-540-24773-9_7","volume-title":"Abstract State Machines 2004. Advances in Theory and Practice","author":"R. Farahbod","year":"2004","unstructured":"Farahbod, R., Gl\u00e4sser, U., Vajihollahi, M.: Specification and Validation of the Business Process Execution Language for Web Services. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol.\u00a03052, pp. 78\u201394. Springer, Heidelberg (2004)"},{"key":"13_CR10","unstructured":"Farahbod, R.: Extending and refining an abstract operational semantics of the web services architecture for the business process execution language. Master\u2019s thesis, Simon Fraser University, Burnaby, Canada (2004)"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1109\/TSE.2004.25","volume":"30","author":"U. Gl\u00e4sser","year":"2004","unstructured":"Gl\u00e4sser, U., Gurevich, Y., Veanes, M.: An abstract communication architecture for modeling distributed systems. IEEE Trans. on Soft. Eng.\u00a030, 458\u2013472 (2004)","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"13_CR12","unstructured":"Vajihollahi, M.: High level specification and validation of the business process execution language for web services. Master\u2019s thesis, Simon Fraser University, Burnaby, Canada (2004)"},{"key":"13_CR13","unstructured":"Farahbod, R., Gl\u00e4sser, U., Vajihollahi, M.: Abstract Operational Semantics of the Business Process Execution Language for Web Services. Technical Report SFU-CMPT-TR-2005-04, Simon Fraser University (2005) Revised version of SFUCMPT-TR-2004-03 (April 2004)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E.: The ASM Refinement Method. Formal Aspects of Computing, 237\u2013257 (2003)","DOI":"10.1007\/s00165-003-0012-7"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1049\/sej.1996.0028","volume":"11","author":"C.W. Johnson","year":"1996","unstructured":"Johnson, C.W.: Literate specifications. Software Engineering Journal\u00a011, 225\u2013237 (1996)","journal-title":"Software Engineering Journal"},{"key":"13_CR16","unstructured":"Martens, A.: Analysis and re-engineering of web services. In: 6th International Conference on Enterprise Information Systems, ICEIS 2004 (2004) (to appear)"},{"key":"13_CR17","unstructured":"Schmidt, K., Stahl, C.: A petri net semantic for BPEL4WS - validation and application. In: Kindler, E. (ed.) Proceedings of 11th Workshop on Algorithms and Tools for Petri Nets (2004)"},{"key":"13_CR18","unstructured":"Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative control flow. In: Proc. of the 12th Int\u2019l Workshop on Abstract State Machines (2005)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Farahbod, R., Gl\u00e4sser, U., Vajihollahi, M.: Specification and Validation of the Business Process Execution Language for Web Services. Technical Report SFUCMPT- TR-2003-06, Simon Fraser University (2003)","DOI":"10.1007\/978-3-540-24773-9_7"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Farahbod, R., Gl\u00e4sser, U., Vajihollahi, M.: A formal semantics for the business process execution language for Web Services. In: Bevinakoppa, S., et al. (eds.) Web Services and Model-Driven Enterprise Information Systems, Portugal, pp. 144\u2013155. INSTICC Press (2005)","DOI":"10.5220\/0002576901440156"},{"key":"13_CR21","unstructured":"Nakajima, S.: Model-checking verification for reliable web service. In: OOPSLA 2002: Workshop on Object-Oriented Web Services (2002)"},{"key":"13_CR22","unstructured":"Martens, A.: Verteilte Geschftsprozesse - Modellierung und Verifikation mit Hilfe von Web Services. PhD thesis, Humboldt University of Berlin, Germany (2003)"},{"key":"13_CR23","unstructured":"Koshkina, M., van Breugel, F.: Verification of Business Processes for Web Services. Technical Report CS-2003-11, York University (2003)"},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"738","DOI":"10.1109\/ICWS.2004.1314806","volume-title":"Proceedings of the IEEE International Conference on Web Services (ICWS 2004)","author":"H. Foster","year":"2004","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Compatibility verification for web service choreography. In: Proceedings of the IEEE International Conference on Web Services (ICWS 2004), pp. 738\u2013741. IEEE Computer Society, Los Alamitos (2004)"},{"key":"13_CR25","unstructured":"van der Aalst, W., Dumas, M., ter Hofstede, A., Wohed, P.: Analysis of web services composition languages: The case of bpel4ws. In: 1st Web Services Quality Workshop, WQW 2003 (2003)"},{"key":"13_CR26","unstructured":"van der Aalst, W., Dumas, M., ter Hofstede, A., Wohed, P.: Pattern-Based Analysis of BPML (and WSCI). Technical Report FIT-TR-2002-05, Queensland University of Technology (2002)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11678564_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T18:49:24Z","timestamp":1736275764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11678564_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540325956","9783540325963"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11678564_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}