A formal analysis of a business contract language

International Journal of Cooperative Information Systems

Volumn 15, Issue 4, 2006, Pages 659-685

  Governatori, Guido ^a   Milosevic, Zoran ^b  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b Deontik Pty Ltd   (Australia)

Author keywords

Business contract language; Formal contract language

Indexed keywords

EID: 33750144765     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218843006001529     Document Type: Article

References (21)

1. G. Antoniou, D. Billington, G. Governatori and M. J. Maher, Representation results for defeasible logic, ACM Transactions on Computational Logic 2(2) (2001) 255-287.
2. A. Berry and Z. Milosevic, Extending choreography with business contract constraints, Int. J. Cooperative Information Systems 14(2-3) (2005) 131-179.
3. J. Carmo and A. J. I. Jones, Deontic logic and contrary to duties, Handbook of Philosophical Logic, 2nd Ed., Vol. 8, eds. D. M. Gabbay and F. Guenther (Kluwer, Dordrecht, 2002), pp. 265-343.
4. Content Reference Forum, Contract Expression Language (CEL) - an UN/CEFACT BCF compliant technology, January 21, 2004.
5. A. D. H. Farrell, M. J. Sergot, M. Sallé and C. Bartolini, Performance monitoring of service-level agreements for utility computing using the event calculus, in 1st IEEE Workshop on Econtracting (WEC04) (July 2004), pp. 17-24.
6. J. Gelati, G. Governatori, A. Rotolo and G. Sartor, Normative autonomy and normative co-ordination: Declarative power, representation, and mandate, Artificial Intelligence and Law 12(1-2) (March 2004) 53-81.
7. G. Governatori, Representing business contracts in RuleML, Int. J. Cooperative Information Systems 14(2-3) (June-September 2005) 181-216.
8. G. Governatori and Z. Milosevic, An approach for validating bel contract specifications, 2nd EDOC Workshop on Contract Architectures and Languages (CoALA 2005), eds. C. Bartolini, G. Governatori and Z. Milosevic (2005).
9. G. Governatori and Z. Milosevic, Dealing with contract violations: Formalism and domain specific language, in 9th Int. Enterprise Distributed Object Computing Conference (EDOC 2005) (IEEE Computer Society, 2005).
10. G. Governatori and A. Rotolo, Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations, Australasian Journal of Logic 4 (2006) 193-215.
11. B. N. Grosof and T. C. Poon, SweetDeal: Representing agent contracts with exceptions using XML rules, ontologies, and process descriptions, in 12th Int. Conf. World Wide Web (ACM Press, 2003), pp. 340-349.
12. H. Herrestad and C. Krogh, Obligations directed from bearers to counterparts, in 5th Int. Conf. Artificial Intelligence and Law (ICAIL'95) (ACM Press, 1995), pp. 210-218.
13. IBM, Web service level agreements, Accessed 31 March 2004.
14. ISO/IEC 10746-1 10756-2 10746-3 10746-4, Basic reference model for open distributed processing.
15. ISO/IEC IS-15415, Open distributed processing-enterprise language (2002).
16. R. M. Lee, A logic model for electronic contracting, Decision Support Systems 4 (1988) 27-44.
17. P. F. Linington, Z. Milosevic, J. B. Cole, S. Gibson, S. Kulkarni and S. Neal, A unified behavioural model and a contract language for extended enterprise, Data & Knowledge Engineering 51(1) (2004) 5-29.
18. P. F. Linington, Z. Milosevic and K. Raymond, Policies in communities: Extending the odp enterprise viewpoint, in 2nd Int. Enterprise Distributed Object Computing Workshop (EDOC98), La Jolla (November 1998).
19. D. Luckham, The Power of Events (Addison-Wesley, 2002).
20. Z. Milosevic and R. G. Dromey, On expressing and monitoring behaviour in contracts, in 6th Int. Enterprise Distributed Object Computing Conf. (EDOC 2002) (IEEE Computer Society, 2002), pp. 3-14.
21. Z. Milosevic, S. Gibson, P. F. Linington, J. B. Cole and S. Kulkarni, On design and implementation of a contract monitoring facility, in 1st IEEE Workshop on Econtracting (WEC04) (IEEE Computer Society, July 2004), pp. 62-70.