Extending choreography with business contract constraints

International Journal of Cooperative Information Systems

Volumn 14, Issue 2-3, 2005, Pages 131-179

  Berry, Andrew ^b   Milosevic, Zoran ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b NONE

Author keywords

Business contracts; Business events; Choreography; Policy modelling

Indexed keywords

CONSTRAINT THEORY; ELECTRONIC COMMERCE; LAWS AND LEGISLATION; PUBLIC POLICY; RISK ASSESSMENT; SOCIETIES AND INSTITUTIONS;

BUSINESS CONTRACTS; BUSINESS EVENTS; CHOREOGRAPHY; POLICY MODELING;

CONTRACTS;

EID: 21144431831     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218843005001109     Document Type: Article

References (46)

1. D. H. Akehurst, Transformations based on relations (2004), http://heim.ifi.uio.no/~janoa/wmdd2004/papers/akehurst.pdf.
2. Autonomic computing, http://www.research.ibm.com/autonomic/.
3. A. Berry, Describing and supporting complex interactions in distributed systems, PhD thesis, University of Queensland (2002).
4. A. Berry and S. Kaplan, Open, distributed coordination with finesse, ACM Symposium on Applied Computing (February 1998).
5. A. Berry and K. Raymond, The A1√ architecture model, Open Distributed Processing: Experiences with distributed environments (IFIP, Chapman and Hall, February 1995).
6. Business process modelling notation (2004), http://www.bpmn.org/.
7. CEL: Contract expression language (2003), http://www.crforum.org/ articles/about/candidate.html.
8. P. Ciancarini and C. Hankin (eds.), Coordination Languages and Models (Springer, 1996).
9. Content Reference Forum, http://www.crforum.org/.
10. N. Damianou, N. Dulay, E. Lupu and M. Sloman, The Ponder specification language, Workshop on Policies for Distributeed Systems and Networks (Policy2001) (HP Labs Bristol, January 2001).
11. Dicarta, http://www.dicarta.com.
12. J. J. Dubray, Standards for a service oriented architecture (2003), http://www.ebxmlforum.org/articles/ebFor.20031109.html.
13. K. Duddy, M. Lawley and Z. Milosevic, Elemental and Pegamento: The final cut: Applying the MDA pattern, in Proceedings of Enterprise Distributed Object Computing (EDOC2004), Monterey, California, USA, 2004 (IEEE).
14. The OASIS ebXML standards, http://www.ebxml.org.
15. A. Farrell, M. Sergot, M. Salle, C. Bartolini, D. Trastour and A. Christodoulou, Performance monitoring of service-level agreements for utility computing using the Event Calculus, First IEEE International Workshop on Electronic Contracting (July 2004).
16. C. Fidge, Logical time in distributed computing systems, IEEE Computer (August 1991), pp. 28-33.
17. iMany, http://www.imany.com.
18. N. Kavantzas, D. Burdett and G. Ritzinger (eds.), Web Services Choreography Description Language Version 1.0. W3C (2004), http://www.w3.org/TR/ wscdl-10/.
19. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Videira Lopes, J. Loingtier and J. Irwin, Aspect-oriented programming, in Proceedings of the European Conference on Object-Oriented Programming (ECOOP) (Springer Verlag, June 1997).
20. R. Kowalski and M. Sergot, A logic-based calculus of events, New Generation Computing 4 (1986) 67-95.
21. R. Lee, A logic model for electronic contracting, Decision Support Systems 4(1) (1988) 27-44.
22. OASIS LegalXML eContracts, http://www.oasis-open.org/committees/legalxml- econtracts/charter.php.
23. P. Linington, Z. Milosevic, J. Cole, S. Gibson, S. Kulkarni and S. Neal, A unified behavioural model and a contract for extended enterprise, Data & Knowledge Engineering 51 (2004) 5-29.
24. Loosely coupled glossary: Choreography, http://looselycoupled.com/ glossary/choreography.
25. D. Luckham, The Power of Events (Addison-Wesley, 2002).
26. R. Milner, J. Parrow and D. Walker, A calculus of mobile processes: Part I and II, Information and Computation 100(1) (1992).
27. Z. Milosevic, Enterprise aspects of open distributed systems, PhD thesis, University of Queensland (1995).
28. Z. Milosevic, A. Berry, A. Bond and K. Raymond, Supporting business contracts in open distributed systems, in Proceedings of the Workshop on Services in Distributed and Networked Environments (IEEE, 1995).
29. Z. Milosevic, S. Gibson, P. Linington, J. Cole and S. Kulkarni, On design and implementation of a contract monitoring facility, The First IEEE Workshop on E-contracting (WEC04) (IEEE, July 2004).
30. Z. Milosevic, A. Josang, T. Dimitrakios and M. A. Patton, Enforcement of electronic contracts, in Proceedings of Enterprise Distributed Object Computing (EDOC2002), Lausanne, Switzerland, 2002 (IEEE).
31. ISO/IEC 21000-5 Information Technology Multimedia Framework Part 5: Rights Expression Language (2003), http://www.iso.org/iso/en/ CatalogueDetailPage. CatalogueDetail?CSNUMBER=36095.
32. S. Neal, A language for the dynamic verification of design patterns in distributed computing, PhD thesis, University of Kent (2001).
33. Request for proposal: MOF 2.0 Query/Views/Transformations RFP.
34. Oracle Contracts, http://oracle.com/appsnet/products/contracts/.
35. O. Perrin and C. Godart, An approach to implement contracts as trusted intermediaries, First IEEE International Workshop on Electronic Contracting (July 2004).
36. ISO/IEC 10746-1 10756-2 10746-3 10746-4 Basic Reference Model for Open Distributed Processing.
37. ISO/IEC IS-15415 Open Distributed Processing-Enterprise Language (2002).
38. K. Schulz and Z. Milosevic, Architecting cross-organisational B2B interactions, in Proceedings of Enterprise Distributed Object Computing (EDOC2000), Makuhari, Japan (2000) (IEEE).
39. R. Tag, Z. Milosevic, S. Gibson and S. Kulkarni, Supporting contract execution through recommended workflows, in Proceedings of the 15th International Conference on Database and Expert Systems Application DEXA04, Zaragoza, Spain (September 2004).
40. UpsideContracts, http://www.upsidecontracts.com.
41. G. H. von Wright, Deontic logic, Mind LX 237:1-15 (1951).
42. X. Wang, E. Chen, D. Radbel, H. Tsutomu, J. Clark and G. Wiley, The contract expression language - CEL. IEEE Contract Languages and Architectures (CoALa) Workshop (September 2004).
43. J. Widom and S. Ceri (eds.), Active Database Systems: Triggers and Rules for Advanced Database Processing ISBN 1-55860304-2 (Morgan Kaufman, 1995).
44. Web service level agreements (WSLA) project, http://www.research.ibm.com/ wsla/.
45. Business process execution language for web services (May 2003), http://www.ibm.com/developerworks/library/ws-bpel/.
46. Web services policy framework (WS-Policy) (2004), http://www.ibm.com/ developerworks/library/specification/ws-polfram/.