Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language Reference Manual. Object technology. Addison-Wesley, Reading (1998)
Warmer, J., Anneke, K.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Object Technology. Addison-Wesley, Reading (2003)
Ramos, P.: Deontic Constraints: From UML Class Diagram To Relational Model. In: ECEIS, France (April 2003)
Wieringa, R.J., Meyer, J.: Applications of Deontic Logics in Computer Science: a concise overview. In: Meyer, J., Wieringa, R.J. (eds.) Procs. First Int. Workshop on Deontic Logic in Computer Science (1991)
Carmo, J., Demolombe, R., Jones, A.: An Application of Deontic Logic to Information System Constraints. In: Fundamenta Informaticae, vol. 46, pp. 1–17. IOS Press, Amsterdam (2001)
Meyer, J., Wieringa, R.J., Dignum, F.: The Role Of Deontic Logic in the Specifications of Information Systems. In: chomicki, J., Saake, G. (eds.) Logic for Database and Information Systems. Kluwer, Dordrecht (1998)
Carmo, J., Jones, A.: A New Approach to Contrary-To-Duty Obligations. In: Donald Dute, I. (ed.) Defeseasible Deontic Logic, Synthese Library (1996)
Tan, Y., der Torre, L.: Representing Deontic Reasoning in a Diagnostic Framework. In: ILCP 1994 Workshop on Legal Applications of Logic Programming, Genova, Italy (1994)
Dresden CL Toolkit, http://dresden-ocl.sourceforge.net/
Borgida, A.: Language features for flexible handling of exceptions. In: ACM Transactions on Database Systems (TODS) (1985)
Borgida, A., Murata, T.: Tolerating Exceptions in Workflows: A unified framework for Data and Process. In: Proc. International Joint Conference on Work Activities Coordination and Collaboration (WACC), USA (1999)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ramos, P.N. (2008). Contrary-to-Duties Constraints: From UML to Relational Model. In: Czarnecki, K., Ober, I., Bruel, JM., Uhl, A., Völter, M. (eds) Model Driven Engineering Languages and Systems. MODELS 2008. Lecture Notes in Computer Science, vol 5301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87875-9_33
Download citation
DOI: https://doi.org/10.1007/978-3-540-87875-9_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-87874-2
Online ISBN: 978-3-540-87875-9
eBook Packages: Computer ScienceComputer Science (R0)