Compositional specification of commercial contracts

International Journal on Software Tools for Technology Transfer

Volumn 8, Issue 6, 2006, Pages 485-516

  Andersen, Jesper ^a   Elsborg, Ebbe ^b   Henglein, Fritz ^a   Simonsen, Jakob Grue ^a   Stefansen, Christian ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

^b IT UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33750464043     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-006-0010-1     Document Type: Conference Paper

References (22)

1. Andersen, J., Elsborg, E.: Compositional specification of commercial contracts. M.S. term project, December (2003)
2. Arkin, A.: Business process modeling language, (2002)
3. Baeten J.C.M., Middelburg C.A. (2002) Process Algebra with Timing. Springer, Berlin Heidelberg New York
4. Baeten J.C.M., Weijland W.P. (1990) Process Algebra. Number 18 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge
5. Brookes S.D., Hoare C.A.R., Roscoe A.W. (1984) A theory of communicating sequential processes. J. ACM 31(3):560-599
6. Conway J.H. (1971) Regular Algebra and Finite Machines. Chapman & Hall, London
7. Eber, J.-M.: Personal communication, June (2002)
8. Geerts, G., McCarthy, W.E.: The ontological foundations of rea enterprise information systems. Unpublished, August (2000)
9. Hennessy M. (1988) Algebraic Theory of Processes. MIT Press, Cambridge
10. Hoare C.A.R. (1985) Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, Englewood Cliffs
11. 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)
12. Jones, S.P., EbAr, 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-292. ACM Press,Washington (2000)
13. Kristoffersen, K.J., Pedersen, C., Andersen, H.R.: Runtime verification of timed LTL using disjunctive normalized equation systems. Unpublished, September (2003)
14. Kristoffersen, K.J., Pedersen, C., Andersen, H.R.: Checking temporal business rules. In: Proceedings of the First International REA Workshop (2004)
15. McCarthy W.E. (1982) The REA accounting model: A generalized framework for accounting systems in a shared data environment. Account. Rev. LVII(3): 554-578
16. Milner R.(1989) Communication and Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs
17. Milner R. (1999) Communicating and Mobile Systems: The Calculus. Cambridge University Press, Cambridge
18. Milner R., Parrow J., Walker D. (1992) A calculus of mobile processes, parts I and II. Inf. Comput. 100(1):1-77
19. 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-60 (1995)
20. 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)
21. van der Aalst W., van Hee K. (2002) Workflow Management-Models, Methods, and Systems. MIT Press, Cambridge
22. Winskel G. (1993) The Formal Semantics of Programming Languages. MIT Press, Cambridge