A logic-based calculus of events
New Generation Computing
Bureaucracies as deontic systems
ACM Transactions on Information Systems (TOIS)
Deontic logic in computer science: normative system specification
Deontic logic in computer science: normative system specification
A declarative approach to business rules in contracts: courteous logic programs in XML
Proceedings of the 1st ACM conference on Electronic commerce
The Evolution of Workflow Standards
IEEE Concurrency
Multivariate statistical techniques for parallel performance prediction
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
Using Annotated Policy Documents as a User Interface for Process Management
ICAS '07 Proceedings of the Third International Conference on Autonomic and Autonomous Systems
Enforcing end-to-end application security in the cloud (big ideas paper)
Proceedings of the ACM/IFIP/USENIX 11th International Conference on Middleware
Hi-index | 0.01 |
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.