{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:29:50Z","timestamp":1761596990902,"version":"3.32.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2006,10,21]],"date-time":"2006-10-21T00:00:00Z","timestamp":1161388800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2006,10,27]]},"DOI":"10.1007\/s10009-006-0010-1","type":"journal-article","created":{"date-parts":[[2006,10,20]],"date-time":"2006-10-20T15:43:16Z","timestamp":1161358996000},"page":"485-516","source":"Crossref","is-referenced-by-count":19,"title":["Compositional specification of commercial contracts"],"prefix":"10.1007","volume":"8","author":[{"given":"Jesper","family":"Andersen","sequence":"first","affiliation":[]},{"given":"Ebbe","family":"Elsborg","sequence":"additional","affiliation":[]},{"given":"Fritz","family":"Henglein","sequence":"additional","affiliation":[]},{"given":"Jakob Grue","family":"Simonsen","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Stefansen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,10,21]]},"reference":[{"key":"10_CR1","unstructured":"Andersen, J., Elsborg, E.: Compositional specification of commercial contracts. M.S. term project, December (2003)"},{"key":"10_CR2","unstructured":"Arkin, A.: Business process modeling language, (2002)"},{"key":"10_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04995-2","volume-title":"Process Algebra with Timing","author":"J.C.M. Baeten","year":"2002","unstructured":"Baeten J.C.M., Middelburg C.A. (2002) Process Algebra with Timing. Springer, Berlin Heidelberg New York"},{"key":"10_CR4","volume-title":"Process Algebra. Number 18 in Cambridge Tracts in Theoretical Computer Science","author":"J.C.M. Baeten","year":"1990","unstructured":"Baeten J.C.M., Weijland W.P. (1990) Process Algebra. Number 18 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge"},{"issue":"3","key":"10_CR5","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes S.D., Hoare C.A.R., Roscoe A.W. (1984) A theory of communicating sequential processes. J. ACM 31(3):560\u2013599","journal-title":"J. ACM"},{"key":"10_CR6","volume-title":"Regular Algebra and Finite Machines","author":"J.H. Conway","year":"1971","unstructured":"Conway J.H. (1971) Regular Algebra and Finite Machines. Chapman & Hall, London"},{"key":"10_CR7","unstructured":"Eber, J.-M.: Personal communication, June (2002)"},{"key":"10_CR8","unstructured":"Geerts, G., McCarthy, W.E.: The ontological foundations of rea enterprise information systems. Unpublished, August (2000)"},{"key":"10_CR9","volume-title":"Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy M. (1988) Algebraic Theory of Processes. MIT Press, Cambridge"},{"key":"10_CR10","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare C.A.R. (1985) Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, Englewood Cliffs"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Jones, S.P., Eber, J.-M.: How to write a financial contract. In Gibbons, J., de Moor, O. (eds) The Fun of Programming. Palgrave Macmillan, Australia (2003)","DOI":"10.1007\/978-1-349-91518-7_6"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Jones, S.P., Eber, J.-M., Seward, J.: Composing contracts: an adventure in financial engineering (functional pearl). In: Proceedings of the fifth ACM SIGPLAN International Conference on Functional Programming, pp 280\u2013292. ACM Press,Washington (2000)","DOI":"10.1145\/351240.351267"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Kristoffersen, K.J., Pedersen, C., Andersen, H.R.: Runtime verification of timed LTL using disjunctive normalized equation systems. Unpublished, September (2003)","DOI":"10.1016\/S1571-0661(04)81050-8"},{"key":"10_CR14","unstructured":"Kristoffersen, K.J., Pedersen, C., Andersen, H.R.: Checking temporal business rules. In: Proceedings of the First International REA Workshop (2004)"},{"issue":"3","key":"10_CR15","first-page":"554","volume":"LVII","author":"W.E. McCarthy","year":"1982","unstructured":"McCarthy W.E. (1982) The REA accounting model: a generalized framework for accounting systems in a shared data environment. Account. Rev. LVII(3): 554\u2013578","journal-title":"Account. Rev."},{"key":"10_CR16","volume-title":"Communication and Concurrency. International Series in Computer Science","author":"R. Milner","year":"1989","unstructured":"Milner R.(1989) Communication and Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs"},{"key":"10_CR17","volume-title":"Communicating and Mobile Systems: The \u03c0-Calculus","author":"R. Milner","year":"1999","unstructured":"Milner R. (1999) Communicating and Mobile Systems: The \u03c0-Calculus. Cambridge University Press, Cambridge"},{"issue":"1","key":"10_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner R., Parrow J., Walker D. (1992) A calculus of mobile processes, parts I and II. Inf. Comput. 100(1):1\u201377","journal-title":"Inf. Comput."},{"key":"10_CR19","unstructured":"Singh, M.P., Meredith, G., Tomlinson, C., Attie, P.C.: An event algebra for specifying and scheduling workflows. In: Database Systems for Advanced Applications, pp 53\u201360 (1995)"},{"key":"10_CR20","unstructured":"van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Wohed, P.: Pattern-based analysis of BPML (and WSCI). Technical Report FIT-TR-2002-05, Queensland University (2002)"},{"key":"10_CR21","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management\u2014Models, Methods, and Systems","author":"W. Aalst van der","year":"2002","unstructured":"van der Aalst W., van Hee K. (2002) Workflow Management\u2014Models, Methods, and Systems. MIT Press, Cambridge"},{"key":"10_CR22","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The Formal Semantics of Programming Languages","author":"G. Winskel","year":"1993","unstructured":"Winskel G. (1993) The Formal Semantics of Programming Languages. MIT Press, Cambridge"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-006-0010-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-006-0010-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-006-0010-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T17:00:49Z","timestamp":1736614849000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-006-0010-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,21]]},"references-count":22,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2006,10,27]]}},"alternative-id":["10"],"URL":"https:\/\/doi.org\/10.1007\/s10009-006-0010-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2006,10,21]]}}}