Abstract
Numerous CASE tools are used for applications analysis and design. These tools often do not take into account all the information (structures and constraints) given in a conceptual level. So, the elements obtained at the physic-cal level do not completely coincide with the conceptual elements. Consequent-ly, some semantics are lost. Our goal, in this paper, is to give rules to translate some constraints not taken into account in the processes used to translate the conceptual schema. In object databases, these constraints are expressed in OCL while they are expressed, in relational databases, using active mechanisms. Consequently, these constraints are checked during databases updates.
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
Al-Jumaily, H.T., Cuadra, D., Martinez, P.: Plugging Active Mechanisms to Control Dynamic Aspects Derived from the Multiplicity Constraint in UML. In: The workshop of 7th International Conference on the Unified Modeling Language, Portugal (2004)
Berrabah, D., Boufarès, F., Ducateau, C.F.: Analysing UML Graphic Constraint, How to cope with OCL. In: 3rd International Conference on Computer Science and its Applications, California (2005)
Berrabah, D., Boufares, F., Ducateau, C.F., Gargouri, F.: Les conflits entre les contraintes dans les schémas conceptuels de Bases de Données: UML – EER. Journal of Information Sciences for Decision Making, Special Issue of the 8th MCSEAI 2004 19, 234 (2005)
Berrabah, D.: Etude de la cohérence globale des contraintes dans les bases de données. Ph. D. Thesis report, Laboratory CRIP5, Paris 5 University (December 2006)
Boufarès, F.: Un outil intelligent pour l’analyse des schémas EA. Interne Report. Informatics Laboratory of Paris Nord, University of Paris 13 France (2001)
Ceri, S., Widom, J.: Deriving production rules for constraint maintenance. In: Proc. of the 16th International Conference on Very Large Data Bases, pp. 566–577. Brisbane, Australia (1990)
Cochrane, R.J., Pirahesh, H., Mattos, N.M.: Integrating triggers and declarative constraints in SQL database systems. In: Proceedings of the 22nd International Conference on Very Large Data Bases, Mumbai, India, pp. 567–578 (1996)
Eisenberg, A., Melton, J., Kulkarni, K., Michels, J., Zemke, F.: SQL: 2003 has been published. ACM SIGMOD Record 33(1) (March 2004)
Gogolla, M., Richters, M.: Expressing UML Class Diagrams Properties with OCL. In: Object Modeling with the OCL, pp. 85–114. Springer, Heidelberg (2002)
Horowitz, B.: Intermediate states as a source of non deterministic behavior in triggers. In: 4th International Workshop on Research Issues in Data Engineering: Active Database Systems, Houston TX, pp. 148–155 (February 1994)
Laleau, A., Mammar, A.: Overview of method and its support tool for generating B from UML notations. In: Proceeding of 15th international conference on Automated Software Engineering, Grenoble, France (2000)
Ledru, Y., Dupuy, S.: Expressing dynamic properties of static diagrams. In: Z. Conference of Approches Formelles dans l’Assistance au Développement de Logiciels, Rennes, France (2003)
Marder, U., Ritter, N., Steiert, H.-P.: A DBMS-based Approach for Automatic Checking of OCL Constraints. In: OOPSLA 1999-Workshop Rigorous Modeling and Analysis with the UML: Challenges and Limitations. Denver, Co. (1999)
Matheron, J.P.: Approfondir Merise. Tome1. Edition Eyrolles (1991)
Nanci, D., Espinasse, B.: Ingénierie des systèmes d’information: Merise deuxième génération. 4th edn. Edition-Vuibert (2001)
OMG, editor: UML 2.0., http://omg.org
Rational: http://www-306.ibm.com/software/rational/sw-bycategory/subcategory/SW710.html
Rochfeld, A., Negros, P.: Relationship of relationships and other inter-relationship links in ER model. Data and Knowledge Engineering 9, 205–221 (1993)
Rumbaugh, J., Jacobson, I., Booch, G.: UML 2.0 Guide de Référence, Edition Campus Press (2004)
Shroff, M., France, R.B.: Towards a Formalization of UML Class Structures. In: Z. 21st IEEE Annual international computer Software and Applications Conference, pp. 646–651 (1997)
Soon-Kyeong, K., Carrington, D.: A formal mapping between UML models and Object-Z specifications. In: Bowen, J.P., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol. 1878, pp. 2–21. Springer, Heidelberg (2000)
Sybase: http://www.sybase.com/products/informationmanagement/powerdesigner
Toby, J.T.: Database Modeling & Design, 3rd edn. Data Management Systems. Morgan Kaufmann, San Francisco (1999)
Truongm, N.T., Souquières, J.: Validation des propriétés d’un scénario UML/OCL à partir de sa dérivation en B. Conference: Approches Formelles dans l’Assistance au Développement de Logiciels, Besançon, France, pp. 99–114 (2004)
Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. 2nd edn. Paperback-Edition (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berrabah, D., Boufarès, F. (2007). Constraints Checking in UML Class Diagrams: SQL vs OCL. In: Wagner, R., Revell, N., Pernul, G. (eds) Database and Expert Systems Applications. DEXA 2007. Lecture Notes in Computer Science, vol 4653. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74469-6_58
Download citation
DOI: https://doi.org/10.1007/978-3-540-74469-6_58
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74467-2
Online ISBN: 978-3-540-74469-6
eBook Packages: Computer ScienceComputer Science (R0)