Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The role of deontic logic in the specification of information systems
Logics for databases and information systems
Tolerating exceptions in workflows: a unified framework for data and processes
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
An Application of Deontic Logic to Information System Constraints
Fundamenta Informaticae - Deontic Logic in Computer Science
Hi-index | 0.00 |
Sometimes, because of an atypical situation, an important mandatory association between classes in a UML Class Diagram must be replaced by an optional one. That semantic and functional impoverishment happens because the mandatory constraint must have a boolean value. In this paper we analyze the use of soft constraints in the UML Class Diagram, and their automatic repercussion in the corresponding Relational Model. The soft (deontic) constraints allow the formal representation of requirements, which ideally should always be fulfilled, but can be violated in atypical situations. In this paper we enrich a previous deontic approach, by introducing the ability to explicitly represent the so called Contrary-To-Duties requirements, i.e., domain integrity requirements that emerge as a consequence of an unfulfilled mandatory constraint. We support our approach with the UML/OCL language.