The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Artificial Intelligence
Systematic concurrent object-oriented programming
Communications of the ACM
Deontic logic in computer science: normative system specification
Deontic logic in computer science: normative system specification
Applications of deontic logic in computer science: a concise overview
Deontic logic in computer science
Heterogeneous active agents, I: semantics
Artificial Intelligence
Computer
A Proof Technique for Rely/Guarantee Properties
Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science
Modeling Directed Obligations and Permissions in Trade Contracts
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
Contracts as Legal Institutions in Organizations of Autonomous Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Journal of Artificial Intelligence Research
Reasoning with conditional ceteris paribus preference statements
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Hi-index | 0.00 |
Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obligations and benefits made explicit by assertions. However, there is a gap between this theory and software engineering concepts and tools. For example, dealing with contract violations is realized by exception handlers, whereas it has been observed in the area of deontic logic in computer science that violations and exceptions are distinct concepts that should not be confused. To bridge this gap, we propose a software design language based on temporal deontic logic. Moreover, we show how preferences over the possible outcomes of a supplier can be added. We also discuss the relation between the normative stance toward systems implicit in the design by contract approach and the intentional or BDI stance popular in agent theory.