{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:33:43Z","timestamp":1725471223635},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540389019"},{"type":"electronic","value":"9783540389033"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11841760_30","type":"book-chapter","created":{"date-parts":[[2006,10,5]],"date-time":"2006-10-05T15:52:02Z","timestamp":1160063522000},"page":"401-406","source":"Crossref","is-referenced-by-count":0,"title":["An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior"],"prefix":"10.1007","author":[{"given":"Luciano","family":"Garc\u00eda-Ba\u00f1uelos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_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.: Business Process Execution Language for Web Services, version 1.1 (2003)"},{"key":"30_CR2","unstructured":"Butler, M., Ferreira, C., Ng, M.: Precise Modelling of Compensating Business Transactions and its Application to BPEL. Journal of Universal Computer Science (2005)"},{"key":"30_CR3","unstructured":"Fahland, D.: Complete Abstract Operational Semantics for the Web Service Process Execution Language. Technical report, Humboldt-Universit\u00e4t zu Berlin (2005)"},{"key":"30_CR4","unstructured":"Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative control flow. In: Proceedings of Abstract State Machines (2005)"},{"key":"30_CR5","doi-asserted-by":"crossref","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-2004-03, Simon Fraser University, Canada (2004)","DOI":"10.1007\/978-3-540-24773-9_7"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Ferrara, A.: Web services: A process algebra approach. Technical Report 17-04, Universit\u00e0 di Roma \u201dLa Sapienza\u201d (2004)","DOI":"10.1145\/1035167.1035202"},{"key":"30_CR7","volume-title":"Proceedings of the 13th Inter. Conf. on World Wide Web","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proceedings of the 13th Inter. Conf. on World Wide Web. ACM Press, New York (2004)"},{"key":"30_CR8","volume-title":"Design Patterns: Elements of reusable object-oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of reusable object-oriented Software. Addison-Wesley, Reading (1995)"},{"key":"30_CR9","volume-title":"Specification and Validation Methods","author":"Y. Gurevich","year":"1995","unstructured":"Gurevich, Y.: Evolving Algebras 1993: Lipari Guide. In: Specification and Validation Methods. Oxford University Press, Oxford (1995)"},{"key":"30_CR10","unstructured":"Microsoft\u00a0AsmL\u00a0research\u00a0team: (Asml web site), http:\/\/www.research.microsoft.com\/foundations\/asml\/"},{"key":"30_CR11","unstructured":"Ouyang, C., van der Aalst, W.M., Breutel, S., Dumas, M., ter Hofstede, A.H., Verbeek, E.: Formal Semantics and Analysis of Control Flow in WS-BPEL. Technical Report BPM-05-03, BPMcenter.org. (2005)"},{"key":"30_CR12","volume-title":"Pattern-Oriented Software Architecture: Patterns for concurrent and networked objects","author":"D. Schmidt","year":"2000","unstructured":"Schmidt, D., Stal, M., Rohnert, H., Buschmann, F.: Pattern-Oriented Software Architecture: Patterns for concurrent and networked objects, vol.\u00a02. Wiley & Sons, Chichester (2000)"},{"key":"30_CR13","unstructured":"Stahl, C.: A Petri Net Semantics for BPEL. Technical Report 188, Humboldt-Universit\u00e4t zu Berlin, Institut f\u00fcr Informatik (2005)"},{"key":"30_CR14","volume-title":"Proc. of the 1994 ACM SIGMOD Inter. Conf. on Management of Data","author":"A. Zhang","year":"1994","unstructured":"Zhang, A., Nodine, M.H., Bhargava, B.K., Bukhres, O.A.: Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems. In: Proc. of the 1994 ACM SIGMOD Inter. Conf. on Management of Data. ACM Press, New York (1994)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11841760_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:40:48Z","timestamp":1605642048000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11841760_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540389019","9783540389033"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11841760_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}