{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:24:33Z","timestamp":1742383473773},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540220947"},{"type":"electronic","value":"9783540247739"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24773-9_7","type":"book-chapter","created":{"date-parts":[[2010,8,4]],"date-time":"2010-08-04T04:08:27Z","timestamp":1280894907000},"page":"78-94","source":"Crossref","is-referenced-by-count":35,"title":["Specification and Validation of the Business Process Execution Language for Web Services"],"prefix":"10.1007","author":[{"given":"Roozbeh","family":"Farahbod","sequence":"first","affiliation":[]},{"given":"Uwe","family":"Gl\u00e4sser","sequence":"additional","affiliation":[]},{"given":"Mona","family":"Vajihollahi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-36498-6_11","volume-title":"Abstract State Machines 2003. Advances in Theory and Practice","author":"A. Benczur","year":"2003","unstructured":"Benczur, A., Gl\u00e4sser, U., Lukovszki, T.: Formal description of a distributed location service for mobile ad hoc networks. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol.\u00a02589, pp. 204\u2013217. Springer, Heidelberg (2003)"},{"issue":"1","key":"7_CR2","first-page":"2","volume":"8","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E.: The Origins and the Development of the ASM Method for High Level System Design and Analysis. Journal of Universal Computer Science\u00a08(1), 2\u201374 (2003)","journal-title":"Journal of Universal Computer Science"},{"key":"7_CR3","unstructured":"B\u00f6rger, E., Gl\u00e4sser, U., M\u00fcller, W.: The Semantics of Behavioral VHDL 1992 Descriptions. In: Proc. of EURO-VHDL 1994, Grenoble, France, September 1994, pp. 500\u2013505 (1994)"},{"key":"7_CR4","doi-asserted-by":"crossref","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\u201993 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":"7_CR5","doi-asserted-by":"crossref","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":"7_CR6","unstructured":"Business Process Execution Language for Web Services Version 1.1, BEA Systems, International Business Machines Corporation, Microsoft Corporation, SAP AG, Siebel Systems (May 2003)"},{"issue":"11","key":"7_CR7","first-page":"1025","volume":"7","author":"R. Eschbach","year":"2001","unstructured":"Eschbach, R., Gl\u00e4sser, U., Gotzhein, R., von L\u00f6wis, M., Prinz, A.: Formal Definition of SDL-2000 \u2014Compiling and Running SDL Specifications as ASM Models. Journal of Universal Computer Science\u00a07(11), 1025\u20131050 (2001)","journal-title":"Journal of Universal Computer Science"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/3-540-44518-8_14","volume-title":"Abstract State Machines - Theory and Applications","author":"R. Eschbach","year":"2000","unstructured":"Eschbach, R., Gl\u00e4sser, U., Gotzhein, R., Prinz, A.: On the Formal Semantics of SDL-2000: a Compilation Approach Based on an Abstract SDL Machine. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol.\u00a01912, pp. 242\u2013265. Springer, Heidelberg (2000)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Farahbod, R., Gl\u00e4sser, U., Vajihollahi, M.: Specification and Validation of the Business Process Execution Language for Web Services, SFU-CMPT-TR-2003-06 (September 2003)","DOI":"10.1007\/978-3-540-24773-9_7"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Fuchs, N.E.: Specifications are (Preferably) Executable. Software Engineering Journal, 323\u2013324 (September 1992)","DOI":"10.1049\/sej.1992.0033"},{"issue":"3","key":"7_CR11","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.: Formal Semantics of SDL-2000: Status and Perspectives. Computer Networks\u00a042(3), 343\u2013358 (2003), ITU-T System Design Languages (SDL), Elsevier (2003)","journal-title":"Computer Networks"},{"key":"7_CR12","unstructured":"Gl\u00e4sser, U., Gurevich, Y., Veanes, M.: An Abstract Communication Architecture for Modeling Distributed Systems. Submitted to IEEE TSE (2003)"},{"key":"7_CR13","volume-title":"Design and Analysis of Distributed Embedded Systems","author":"U. Gl\u00e4sser","year":"2002","unstructured":"Gl\u00e4sser, U., Veanes, M.: Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines. In: Kleinjohann, B., Kim, K.H., Kleinjohann, L., Rettberg, A. (eds.) Design and Analysis of Distributed Embedded Systems, Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"7_CR14","first-page":"9","volume-title":"Specification and Validation Methods","author":"Y. Gurevich","year":"1995","unstructured":"Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In: B\u00f6rger, E. (ed.) Specification and Validation Methods, pp. 9\u201336. Oxford University Press, Oxford (1995)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Science Logic","author":"Y. Gurevich","year":"1996","unstructured":"Gurevich, Y., Huggins, J.: The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions. In: Kleine B\u00fcning, H. (ed.) CSL 1995. LNCS, vol.\u00a01092, Springer, Heidelberg (1996)"},{"issue":"11","key":"7_CR16","first-page":"918","volume":"7","author":"Y. Gurevich","year":"2001","unstructured":"Gurevich, Y., Tillmann, N.: Partial Updates: Exploration. Springer J. of Universal Computer Science.\u00a07(11), 918\u2013952 (2001)","journal-title":"Springer J. of Universal Computer Science."},{"issue":"6","key":"7_CR17","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1049\/sej.1989.0045","volume":"4","author":"I.J. Hayes","year":"1986","unstructured":"Hayes, I.J., Jones, C.B.: Specifications are not (necessarily) executable. Software Engineering Journal\u00a04(6), 330\u2013338 (1986)","journal-title":"Software Engineering Journal"},{"key":"7_CR18","unstructured":"Microsoft Research: AsmL, http:\/\/www.research.microsoft.com\/foundations\/AsmL"},{"key":"7_CR19","unstructured":"SOAP Version 1.2 Part 0: Primer, W3C Recommendation June 24 (2003), http:\/\/www.w3c.org\/TR\/soap12-part0\/"},{"key":"7_CR20","unstructured":"Web Services Description Language (WSDL) Version 1.2 Part 1: Core Language, W3C Working Draft 11 June (2003), www.w3.org\/TR\/wsdl12"},{"key":"7_CR21","unstructured":"WSBPEL TC at the Organization of Advancement of Structured Information Standards (OASIS), http:\/\/www.oasis-open.org"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines 2004. Advances in Theory and Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24773-9_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,3]],"date-time":"2021-11-03T03:56:23Z","timestamp":1635911783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24773-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540220947","9783540247739"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24773-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}