Decidable Reasoning in UML Schemas with Constraints

In this paper we propose an approach to reason on UML schemas with OCL constraints. We provide a set of theorems to determine that a schema does not have any infinite model and then provide a decidable method that, given a schema of this kind, efficiently checks whether it satisfies a set of desirable properties such as schema satisfiability and class or association liveliness.

[1]  Ken Satoh,et al.  Consistency Checking Algorithms for Restricted UML Class Diagrams , 2006, FoIKS.

[2]  Jorge Lobo,et al.  Minimal and Consistent Evolution of Knowledge Bases , 1997, J. Appl. Non Class. Logics.

[3]  Toni Mancini,et al.  Finite Model Reasoning on UML Class Diagrams Via Constraint Programming , 2007, AI*IA.

[4]  Hendrik Decker,et al.  An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases , 1996, Joint International Conference and Symposium on Logic Programming.

[5]  Letizia Tanca,et al.  Automatic generation of production rules for integrity maintenance , 1994, TODS.

[6]  Peter C. Lockemann,et al.  Reactive consistency control in deductive databases , 1991, TODS.

[7]  Anna Formica,et al.  Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas , 2002, IEEE Trans. Knowl. Data Eng..

[8]  Ernest Teniente,et al.  Checking query containment with the CQC method , 2005, Data Knowl. Eng..

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

[10]  Ernest Teniente,et al.  Reasoning on UML Class Diagrams with OCL Constraints , 2006, ER.

[11]  Maurizio Lenzerini,et al.  On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata , 1987, VLDB.

[12]  Bernhard Thalheim,et al.  Towards a theory of consistency enforcement , 1999, Acta Informatica.

[13]  Ernest Teniente,et al.  Consistency preserving updates in deductive databases , 2003, Data Knowl. Eng..

[14]  Anna Formica.  Satisfiability of object-oriented database constraints with set and bag attributes , 2003, Inf. Syst..

[15]  Professor Dr. Bernhard Thalheim.  Entity-Relationship Modeling , 2000, Springer Berlin Heidelberg.

[16]  Sven Hartmann.  On the Consistency of Int-cardinality Constraints , 1998, ER.

[17]  Daniele Theseider Dupré,et al.  The role of abduction in database view updating , 1995, Journal of Intelligent Information Systems.

[18]  Diego Calvanese,et al.  Reasoning on UML class diagrams , 2005, Artif. Intell..