Using the event calculus for tracking the normative state of contracts

International Journal of Cooperative Information Systems

Volumn 14, Issue 2-3, 2005, Pages 99-129

  Farrell, Andrew D H ^a   Sergot, Marek J ^a   Sallé, Mathias ^b   Bartolini, Claudio ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b HEWLETT PACKARD LABORATORIES   (United States)

Author keywords

Contract state tracking; Event calculus

Indexed keywords

AUTOMATION; DATABASE SYSTEMS; ELECTRONIC COMMERCE; JAVA PROGRAMMING LANGUAGE; LOGIC PROGRAMMING; XML;

CONTRACT STATE TRACKING; CONTRACT VARIABLES; EVENT CALCULUS; NORMATIVE STATE;

CONTRACTS;

EID: 21144438590     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218843005001110     Document Type: Article

References (29)

1. A. Artikis, Executable specification of open norm-governed computational systems, PhD thesis, Department of Electrical and Electronic Engineering, Imperial College, London (2003).
2. A. Artikis, J. Pitt and M. J. Sergot, Animated specifications of computational societies, in Proceedings of Autonomous Agents and Multi-Agent Systems (AAMAS), Bologna (2002), pp. 1053-1062.
3. A. Daskalopulu, Modelling legal contracts as processes, 11th International Conference and Workshop on Database and Expert Systems Applications (IEEE C.S. Press, 2000), pp. 1074-1079.
4. A. J. I. Jones and M. J. Sergot, A formal characterization of institutionalized power, Journal of the IGPL 4(3) (June 1996) 429-445.
5. A. K. Bandara, E. C. Lupu and A. Russo, Using event calculus to formalise policy specification and analysis, 4th IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2003), Lake Como, Italy (2003).
6. A. S. Abrahams, Developing and executing electronic commerce applications with occurrences, PhD thesis, University of Cambridge (2002).
7. B. N. Grosof, Y. Labrou and H. Y. Chan, A declarative approach to business rules in contracts: Courteous logic programs in XML, in 1st ACM Conference on Electronic Commerce (EC-99), ed. M. P. Wellman, Denver, Colorado, USA (ACM Press, New York, NY, USA, November 1999).
8. A. D. H. Farrell, M. J. Sergot, C. Bartolini, M. Salle, D. Trastour and A. Christodoulou, Using the event calculus for the performance monitoring of service-level agreements for utility computing, in Proceedings of First IEEE International Workshop on Electronic Contracting (WEC 2004), San Diego, CA, USA (6 July 2004).
9. G. Alonso, F. Casati, H. Kuno and V. Machiraju, Web Services. Concepts, Architectures and Applications (ISBN: 3-540-44008-9) (Springer, 2004).
10. G. Brewka, Dynamic argument systems: A formal model of argumentation processes based on situation calculus, Journal of Logic and Computation 11(2) (2001) 257-282.
11. E. Giunchiglia, J. Lee, V. Lifschitz, N. McCain and H. Turner, Nonmonotonic causal theories, Artificial Intelligence 153 (2004) 49-104.
12. http://www.hp.com, Hewlett-Packard, HP Utility Data Center - Technical White Paper (2001).
13. S. Jajodia, P. Samarati, V. S. Subrahmanian and E. Bertino, A unified framework for enforcing multiple access control policies, in Proceedings of the 1997 ACM SIGMOD International Conference on Management of Data (ACM Press, New York, NY, USA, 1997), pp. 474-485.
14. A. Jones and J. Carmo, Deontic logic and contrary-to-duties, in Handbook of Philosophical Logic, eds. D. Gabbay and F. Guenthner, 2nd edn., Vol. 8 (Kluwer Academic Publishers, 2002).
15. L. Lindahl, Position And Change, A Study in Law and Logic. Synthese Library Vol. 122 (D. Reidel Publishing Company, 1977).
16. R. Milner, Communication and Concurrency (ISBN: 0-13-115007-3) (Prentice-Hall, 1989).
17. R. Milner, Communicating and Mobile Systems: The Pi-Calculus (ISBN:0-521-65869-1) (Cambridge University Press, 1999).
18. M. J. Sergot, A computational theory of normative positions, ACM Transactions on Computational Logic 2(4) (October 2001) 581-622.
19. M. Sirbu, Credits and debits on the internet, IEEE Spectrum 34(2) (1997) 23-29.
20. O. Marjanovic and Z. Milosevic, Towards formal modelling of e-contracts, in Proceedings of 5th International Enterprise Distributed Object Computing Conference (EDOC 2001), Seattle, WA, USA, 4-7 September 2001 (IEEE Computer Society, 2001), pp. 59-68.
21. W. Reisig and G. Rozenberg, Lectures on Petri Nets I: Basic Models (ISBN 3-540-65306-6) (1998).
22. W. Reisig and G. Rozenberg, Lectures on Petri Nets II: Applications (ISBN: 3-540-65307-4) (1998).
23. R. Kowalski and M. Sergot, A logic-based calculus of events, New Generation Computing 4 (1986) 67-95.
24. R. Smith and R. Davis, Distributed problem solving: The contract-net approach, in Proceedings of Conference of Canadian Society for Computational Studies of Intelligence (1978), pp. 217-236.
25. F. B. Sadighi and M. J. Sergot, Power and permission in security systems, in Security Protocols 7th International Workshop, Cambridge (April 1999), eds. B. Christianson, B. Crispo, J. A. Malcolm and M. Roe, Lecture Notes in Computer Science, Vol. 1796 (Springer, 2000), pp. 48-53.
26. F. B. Sadighi, M. J. Sergot and O. Bandemann, Using authority certificates to create management structures, in Security Protocols 9th International Workshop, Cambridge (April 2001), eds. B. Christianson, B. Crispo, J. A. Malcolm and M. Roe, Lecture Notes in Computer Science, Vol. 2467 (Springer, 2002), pp. 134-145.
27. J. R. Searle, Speech Acts (Cambridge University Press, Cambridge, 1969).
28. ++, in The Open Agent Society, ed. J. Pitt (Wiley, 2005). Extended version: Technical Report 2004/8, Department of Computing, Imperial College, London (in press).
29. M. Shanahan, The event calculus explained, in Artificial Intelligence Today, eds. M. J. Wooldridge and M. Veloso, Lecture Notes in Artificial Intelligence Vol. 1660 (Springer, 1999), pp. 409-430.