A method for the definition of integrity constraints in object-oriented conceptual modeling languages

We propose a new method that eases the definition of integrity constraints in object-oriented conceptual modeling languages. The essence of the method is to represent constraints by special operations that we call constraint operations. The formal specification of these operations is the definition of the corresponding constraints. The method allows the specialization of constraints and the definition of exceptions. The main application of the method is for static constraints. However, a variant of it can also be applied for creation-time and deletion-time constraints, two particular classes of temporal constraints. The method can be adapted to any object-oriented language, and we show its adaptation to the UML. We also show that our method has several advantages over existing methods.

[1]  Bernhard Thalheim,et al.  Entity-relationship modeling - foundations of database technology , 2010 .

[2]  Jean-Marie Nicolas,et al.  Integrity Checking in Deductive Data Bases , 1977, Logic and Data Bases.

[3]  Alexander Borgida,et al.  Modeling class hierarchies with contradictions , 1988, SIGMOD '88.

[4]  Elisa Bertino,et al.  Exception Handling in Object-Oriented Databases , 2000, Advances in Exception Handling Techniques.

[5]  Desmond D'Souza,et al.  Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .

[6]  Nick Bassiliades,et al.  CoLan: A Functional Constraint Language and its Implementation , 1995, Data Knowl. Eng..

[7]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[8]  Antoni Olivé,et al.  Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages , 2003, ER.

[9]  Stefano Ceri,et al.  Designing Database Applications with Objects and Rules: The IDEA Methodology , 1997 .

[10]  John Mylopoulos,et al.  The TaxisDL Software Description Language , 1993 .

[11]  Davor Gornik,et al.  UML Data Modeling Profile , 2002 .

[12]  John Mylopoulos,et al.  Generalization/Specialization as a Basis for Software Specification , 1982, On Conceptual Modelling.

[13]  Suzanne W. Dietrich,et al.  CDOL: A Comprehensive Declarative Object Language , 1997, Data Knowl. Eng..

[14]  D. A Jardine,et al.  Concepts and terminology for the conceptual schema and the information base , 1984 .

[15]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[16]  Elisa Bertino,et al.  T_Chimera: A Temporal Object-Oriented Data Model , 1997, Theory Pract. Object Syst..

[17]  John Mylopoulos,et al.  '. . . and nothing else changes': the frame problem in procedure specifications , 1993, Proceedings of 1993 15th International Conference on Software Engineering.

[18]  Ioannis P. Vlahavas,et al.  Modelling Constraints with Exceptions in Object-Oriented Databases , 1994, ER.

[19]  Antoni Olivé.  Derivation Rules in Object-Oriented Conceptual Modeling Languages , 2003, CAiSE.

[20]  Michael L. Brodie,et al.  On Conceptual Modelling , 1984, Topics in Information Systems.

[21]  Alexander Borgida,et al.  Language features for flexible handling of exceptions in information systems , 1985, TODS.

[22]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[23]  Stephan Philippi,et al.  DICE: Declarative Integrity Constraint Embedding Into the Object Database Standard ODMG-93 , 1997, Data Knowl. Eng..

[24]  Robert A. Kowalski,et al.  Integrity Checking in Deductive Databases , 1987, VLDB.

[25]  David W. Embley,et al.  Object-oriented systems analysis - a model-driven approach , 1991, Yourdon Press Computing series.

[26]  Terry Halpin,et al.  Information modeling and relational databases: from conceptual analysis to logical design , 2001 .

[27]  John Daniels,et al.  Designing object systems: object-oriented modelling with Syntropy , 1995 .

[28]  Subrata Kumar Das,et al.  Deductive Databases and Logic Programming , 1992 .

[29]  Diego Calvanese,et al.  Description Logics for Conceptual Data Modeling , 1998, Logics for Databases and Information Systems.

[30]  Elisabeth Métais,et al.  Semantic Modeling of Object Oriented Databases , 1991, VLDB.

[31]  Elisa Bertino,et al.  Objects with Multiple Most Specific Classes , 1995, ECOOP.

[32]  Antoni Olivé.  Integrity Constraints Checking In Deductive Databases , 1991, VLDB.

[33]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[34]  Diego Calvanese,et al.  Logics for Databases and Infor-mation Systems , 1998 .

[35]  David W. Embley,et al.  Cardinality Constraints in Semantic Data Models , 1993, Data Knowl. Eng..

[36]  Bert O. de Brock,et al.  A General Treatment of Dynamic Integrity Constraints , 2000, Data Knowl. Eng..

[37]  Robert A. Kowalski.  Logic for Data Description , 1977, Logic and Data Bases.

[38]  Axel Uhl,et al.  Model-Driven Architecture , 2002, OOIS Workshops.

[39]  Maurice Bruynooghe,et al.  On the Transformation of Object-Oriented Conceptual Models to Logical Theories , 2002, ER.