Deontic logic for modelling data flow and use compliance

ABSTRACT

We advocate using deontic logic and its representation in the Event Calculus to control access to information in a distributed ubiquitous system. Contracts between information owners are encoded in terms of classes of organisations, data, and interactions. Fluents, events, and application-specific rules that link the two are then extracted from the contracts and mapped to the components, endpoints, and messages used to implement the system. The expression of organisations' responsibilities is natural and leads to a simple mechanism of data flow monitoring. Some parts of the system can make forward progress while others are in conflict, meaning that resolution does not impede other processing. Furthermore, specification in terms of entities' behaviour rather than explicit modelling of service level agreements (SLAs) means that it is straightforward to make decisions based on observations that are not specified in the SLA but that are noticed by a human as being abnormal.

References

1. A. S. Abrahams. Developing and Executing Electronic Commerce Applications with Occurrences. PhD thesis, University of Cambridge Computer Laboratory, 2002.
2. A. S. Abrahams and D. M. Eyers. Using annotated policy documents as a user interface for process management. In Proceedings of the First International Workshop on Knowledge-based User Interfaces (KUI07), page 64, Athens, Greece, June 2007. IEEE Computer Society.
3. A. S. Abrahams, D. M. Eyers, and J. M. Bacon. Practical contract storage, checking, and enforcement for business process automation. In S. O. Kimbrough and D. Wu, editors, Formal Modeling for Electronic Commerce: Representation, Inference, and Strategic Interaction, pages 33--77. Springer-Verlag, 2004.
4. A. S. Abrahams, D. M. Eyers, and J. M. Bacon. Regulating web-based communities. In Proceedings of the IADIS International Conference on Web Based Communities (WBC2004), Lisbon, Portugal, Mar. 2004.
5. J. Bacon, A. R. Beresford, D. Evans, D. Ingram, N. Trigoni, A. Guitton, and A. Skordylis. TIME: An open platform for capturing, processing and delivering transport-related data. In Proceedings of the IEEE Consumer Communications and Networking Conference, pages 687--691, 2008.
6. R. W. Bons, R. M. Lee, R. W. Wagenaar, and C. D. Wrigley. Modelling inter-organizational trade procedures using documentary petri nets. In Proceedings of the Hawaii International Conference on System Sciences, 1995.
7. A. Daskalopulu. Logic-Based Tools for the Analysis and Representation of Legal Contracts. PhD thesis, Department of Computing, Imperial College, University of London, 1999.
8. A. Daskalopulu, T. Dimitrakos, and T. S. Maibaum. E-contract fulfillment and agents' attitudes. In Proceedings of the ERCIM WG E-Commerce Workshop on the Role of Trust in E-Business, Zurich, Oct. 2001.
9. B. N. Grosof, Y. Labrou, and H. Y. Chan. A declarative approach to business rules in contracts: Courteous logic programs in XML. In M. P. Wellman, editor, Proceedings of the First ACM Conference on Electronic Commerce (EC-99), Nov. 1999.
10. R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4:67--95, 1986.
11. R. M. Lee. Bureaucracies as deontic systems. ACM Transactions on Office Information Systems, 6(2):87--108, Apr. 1988.
12. J. J. Meyer and R. J. Wieringa. Deontic Logic in Computer Science. John Wiley & Sons Ltd, 1993.
13. M.-T. Schmidt. The evolution of workflow standards. IEEE Concurrency, 1999.

Index Terms

• Computing methodologies

  • Artificial intelligence

    • Knowledge representation and reasoning

• Information systems

  • Information retrieval

    • Search engine architectures and scalability

      • Distributed retrieval

      • Peer-to-peer retrieval

  • Information storage systems

    • Storage architectures

      • Distributed storage

• Social and professional topics

  • Professional topics

    • Management of computing and information systems

      • Information system economics