{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:55:45Z","timestamp":1725551745536},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540297970"},{"type":"electronic","value":"9783540322504"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11576280_2","type":"book-chapter","created":{"date-parts":[[2005,10,24]],"date-time":"2005-10-24T14:01:26Z","timestamp":1130162486000},"page":"5-35","source":"Crossref","is-referenced-by-count":20,"title":["A Compositional Framework for Service Interaction Patterns and Interaction Flows"],"prefix":"10.1007","author":[{"given":"Alistair","family":"Barros","sequence":"first","affiliation":[]},{"given":"Egon","family":"B\u00f6rger","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11576280_7","volume-title":"Formal Methods and Software Engineering","author":"M. Altenhofen","year":"2005","unstructured":"Altenhofen, M., B\u00f6rger, E., Lemcke, J.: An abstract model for process mediation. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol.\u00a03785, pp. 81\u201395. Springer, Heidelberg (2005)"},{"key":"2_CR2","unstructured":"Barros, A., Dumas, M., ter Hofstede, A.: Service interaction patterns: Towards a reference framework for service-based business process interconnection. Technical Report FIT-TR-2005-02 (To be presented at BPM 2005, Third International Conference on Business Process Management 2005, September 2005, Nancy, France), Faculty of Information Technology, Queensland University of Technology, Brisbane (Australia) (March 2005)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-48257-1_1","volume-title":"Applied Formal Methods - FM-Trends 98","author":"E. B\u00f6rger","year":"1999","unstructured":"B\u00f6rger, E.: High-level system design and analysis using Abstract State Machines. In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds.) FM-Trends 1998. LNCS, vol.\u00a01641, pp. 1\u201343. Springer, Heidelberg (1999)"},{"key":"2_CR4","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":"2_CR5","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s00165-003-0012-7","volume":"15","author":"E. B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E.: The ASM refinement method. Formal Aspects of Computing\u00a015, 237\u2013257 (2003)","journal-title":"Formal Aspects of Computing"},{"key":"2_CR6","series-title":"CHDL","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/1-4020-7991-5_16","volume-title":"Languages for System Specification and Verification","author":"E. B\u00f6rger","year":"2004","unstructured":"B\u00f6rger, E.: Linking architectural and component level system views by abstract state machines. In: Grimm, C. (ed.) Languages for System Specification and Verification. CHDL, pp. 247\u2013269. Kluwer, Dordrecht (2004)"},{"key":"2_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11559306_15","volume-title":"Frontiers of Combining Systems","author":"E. B\u00f6rger","year":"2005","unstructured":"B\u00f6rger, E.: The ASM method for system design and analysis. A tutorial introduction. In: Gramlich, B. (ed.) FroCos 2005. LNCS (LNAI), vol.\u00a03717, pp. 264\u2013283. Springer, Heidelberg (2005)"},{"key":"2_CR8","unstructured":"B\u00f6rger, E.: Design pattern abstractions and Abstract State Machines. In: Beauquier, D., B\u00f6rger, E., Slissenko, A. (eds.) Proc. ASM 2005, pp. 91\u2013100. Universit\u00e9 de Paris 12 (2005)"},{"key":"2_CR9","unstructured":"B\u00f6rger, E.: From finite state machines to virtual machines (Illustrating design patterns and event-B models). In: Cohors-Fresenborg, E., Schwank, I. (eds.) Pr\u00e4zisionswerkzeug Logik\u2013Gedenkschrift zu Ehren von Dieter R\u00f6dding, Forschungsinstitut f\u00fcr Mathematikdidaktik Osnabr\u00fcck (2005) ISBN 3-925386-56-4"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Proc. IFIP WG Conference on Verified Software: Tools, Techniques, and Experiments","author":"E. B\u00f6rger","year":"2005","unstructured":"B\u00f6rger, E.: Linking content definition and analysis to what the compiler can verify. In: Proc. IFIP WG Conference on Verified Software: Tools, Techniques, and Experiments, Zurich, Switzerland. LNCS. Springer, Heidelberg (2005)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-44622-2_3","volume-title":"Computer Science Logic","author":"E. B\u00f6rger","year":"2000","unstructured":"B\u00f6rger, E., Schmid, J.: Composition and submachine concepts for sequential ASMs. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol.\u00a01862, pp. 41\u201360. Springer, Heidelberg (2000)"},{"key":"2_CR12","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.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)"},{"key":"2_CR13","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 (July 2004)"},{"key":"2_CR14","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 School of Computing Science (April 2004)","DOI":"10.1007\/978-3-540-24773-9_7"},{"key":"2_CR15","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)"},{"issue":"7","key":"2_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSE.2004.25","volume":"30","author":"U. Gl\u00e4sser","year":"2004","unstructured":"Gl\u00e4sser, U., Gurevich, Y., Veanes, M.: Abstract communication model for distributed systems. IEEE Transactions on Software Engineering\u00a030(7), 1\u201315 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"2_CR17","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/602382.602403","volume":"50","author":"C.A.R. Hoare","year":"2003","unstructured":"Hoare, C.A.R.: The verifying compiler: A grand challenge for computing research. J. ACM\u00a050(1), 63\u201369 (2003)","journal-title":"J. ACM"},{"key":"2_CR18","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/978-3-642-57199-2_6","volume-title":"Architecture Design and Validation Methods","author":"L. Lavagno","year":"2000","unstructured":"Lavagno, L., Sangiovanni-Vincentelli, A., Sentovitch, E.M.: Models of computation for system design. In: B\u00f6rger, E. (ed.) Architecture Design and Validation Methods, pp. 243\u2013295. Springer, Heidelberg (2000)"},{"key":"2_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03687-7","volume-title":"Elements of Distributed Algorithms","author":"W. Reisig","year":"1998","unstructured":"Reisig, W.: Elements of Distributed Algorithms. Springer, Heidelberg (1998)"},{"issue":"11","key":"2_CR20","first-page":"952","volume":"7","author":"G. Schellhorn","year":"2001","unstructured":"Schellhorn, G.: Verification of ASM refinements using generalized forward simulation. J.\u00a0Universal Computer Science\u00a07(11), 952\u2013979 (2001)","journal-title":"J.\u00a0Universal Computer Science"},{"issue":"2-3","key":"2_CR21","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/j.tcs.2004.11.013","volume":"336","author":"G. Schellhorn","year":"2005","unstructured":"Schellhorn, G.: ASM refinement and generalizations of forward simulation in data refinement: A comparison. Theoretical Computer Science\u00a0336(2-3), 403\u2013436 (2005)","journal-title":"Theoretical Computer Science"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"St\u00e4rk, R.F.: Formal specification and verification of the C# thread model. Theoretical Computer Science (2005) (to appear)","DOI":"10.1016\/j.tcs.2005.06.028"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-540-24773-9_4","volume-title":"Abstract State Machines 2004. Advances in Theory and Practice","author":"R.F. St\u00e4rk","year":"2004","unstructured":"St\u00e4rk, R.F., B\u00f6rger, E.: An ASM specification of C# threads and the .NET memory model. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol.\u00a03052, pp. 38\u201360. Springer, Heidelberg (2004)"},{"key":"2_CR24","unstructured":"Vajihollahi, M.: High level specification and validation of the Business Process Execution Language for web services. Master\u2019s thesis, School of Computing Science at Simon Fraser University (April 2004)"},{"issue":"3","key":"2_CR25","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases\u00a014(3), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"issue":"11","key":"2_CR26","first-page":"1089","volume":"7","author":"C. Wallace","year":"2001","unstructured":"Wallace, C., Tremblay, G., Amaral, J.N.: An Abstract State Machine specification and verification of the location consistency memory model and cache protocol. J.\u00a0Universal Computer Science\u00a07(11), 1089\u20131113 (2001)","journal-title":"J.\u00a0Universal Computer Science"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11576280_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:59:33Z","timestamp":1605643173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11576280_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540297970","9783540322504"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11576280_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}