{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:54Z","timestamp":1761611274097},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540210443"},{"type":"electronic","value":"9783540246343"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24634-3_9","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T03:57:55Z","timestamp":1294372675000},"page":"87-104","source":"Crossref","is-referenced-by-count":59,"title":["An Operational Semantics for StAC, a\u00a0Language for Modelling Long-Running Business Transactions"],"prefix":"10.1007","author":[{"given":"Michael","family":"Butler","sequence":"first","affiliation":[]},{"given":"Carla","family":"Ferreira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-39958-2_9","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"L. Bocchi","year":"2003","unstructured":"Bocchi, L., Laneve, C., Zavattaro, G.: A calulus for long-running transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 124\u2013138. Springer, Heidelberg (2003)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/3-540-40911-4_5","volume-title":"Integrated Formal Methods","author":"M. Butler","year":"2000","unstructured":"Butler, M., Ferreira, C.: A process compensation language. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol.\u00a01945, pp. 61\u201376. Springer, Heidelberg (2000)"},{"key":"9_CR4","unstructured":"Chessell, M., Vines, D., Griffin, C.: An introduction to compensation with business process beans. Technical report, Transaction Processing Design and New Technology Development Group, IBM UK Laboratories (August 2001)"},{"issue":"4","key":"9_CR5","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1147\/sj.414.0743","volume":"41","author":"M. Chessell","year":"2002","unstructured":"Chessell, M., Vines, D., Griffin, C., Butler, M., Ferreira, C., Henderson, P.: Extending the concept of transaction compensation. IBM Systems Journal\u00a041(4), 743\u2013758 (2002)","journal-title":"IBM Systems Journal"},{"key":"9_CR6","unstructured":"Chessell, M., Vines, D., Griffin, C., Green, V., Warr, K.: Business process beans: System design and architecture document. Technical report, Transaction Processing Design and New Technology Development Group, IBM UK Laboratories (January 2001)"},{"key":"9_CR7","unstructured":"Curbera, F., Goland, Y., Klein, J., Leymann, F., Roller, D., Thatte, S., Weerawarana, S.: Business process execution language for web services, version 1.1, \n                    \n                      http:\/\/www-106.ibm.com\/developerworks\/library\/ws-bpel\/\n                    \n                    \n                   (2003)"},{"key":"9_CR8","volume-title":"A Discipline of Programming","author":"E. Dijkstra","year":"1976","unstructured":"Dijkstra, E.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"9_CR9","unstructured":"Ferreira, C.: Precise Modelling of Business Processes with Compensation. PhD thesis, University of Southampton (2002)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/3-540-44880-2_28","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"C. Ferreira","year":"2003","unstructured":"Ferreira, C., Butler, M.: Using B Refinement to Analyse Compensating Business Processes. In: Bert, D., Bowen, J.P., King, S. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 477\u2013496. Springer, Heidelberg (2003)"},{"key":"9_CR11","volume-title":"Transaction Processing: Concepts and Techniques","author":"J. Gray","year":"1993","unstructured":"Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, San Francisco (1993)"},{"key":"9_CR12","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"9_CR13","volume-title":"Systematic Software Development Using VDM","author":"C. Jones","year":"1986","unstructured":"Jones, C.: Systematic Software Development Using VDM. Prentice-Hall, Englewood Cliffs (1986)"},{"key":"9_CR14","unstructured":"Korth, H., Levy, E., Silberschatz, A.: A formal approach to recovery by compensating transactions. In: 16th VLDB Conference, Brisbane, Australia (1990)"},{"issue":"1","key":"9_CR15","first-page":"35","volume":"24","author":"B. Metha","year":"2001","unstructured":"Metha, B., Levy, M., Meredith, G., Andrews, T., Beckman, B., Klein, J., Mital, A.: BizTalk Server 2000 Business Process Orchestration. IEEE Data Engineering Bulletin\u00a024(1), 35\u201339 (2001)","journal-title":"IEEE Data Engineering Bulletin"},{"key":"9_CR16","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, I and II. Inform. and Comput.\u00a0100(1), 1\u201340, 41\u201377 (1992)","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"9_CR18","unstructured":"Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Computer Science Department (September 1981)"},{"key":"9_CR19","volume-title":"The Z Notation","author":"J. Spivey","year":"1989","unstructured":"Spivey, J.: The Z Notation. Prentice Hall, New York (1989)"},{"key":"9_CR20","unstructured":"Wachter, H., Reuter, A.: The ConTract model. In: Elmagarmid, A. (ed.) Database Transaction Models for Advanced Applications. Morgan Kaufmann Publishers, San Francisco (1992)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24634-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T08:25:04Z","timestamp":1553329504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24634-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540210443","9783540246343"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24634-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}