Decidable Reasoning in UML Schemas with Constraints

  • Anna Queralt
  • Ernest Teniente
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5074)


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.


Conceptual modeling Reasoning Decidability 


  1. 1.
    Berardi, D., Calvanese, D., de Giacomo, G.: Reasoning on uml class diagrams. Artificial Intelligence 168(1-2), 70–118 (2005)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Cadoli, M., Calvanese, D., Giacomo, G.D., Mancini, T.: Finite model reasoning on uml class diagrams via constraint programming. In: AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, pp. 36–47 (2007)Google Scholar
  3. 3.
    Hartmann, S.: On the Consistency of Int-cardinality Constraints. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol. 1507, pp. 150–163. Springer, Heidelberg (1998)Google Scholar
  4. 4.
    Engel, K., Hartmann, S.: Minimal Sample Databases for Global Cardinality Constraints. In: Eiter, T., Schewe, K.-D. (eds.) FoIKS 2002. LNCS, vol. 2284, pp. 268–288. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  5. 5.
    Lenzerini, M., Nobili, P.: On the satisfiability of dependency constraints in entity-relationship schemata. Inf. Syst. 15(4), 453–461 (1990)CrossRefGoogle Scholar
  6. 6.
    Formica, A.: Finite satisfiability of integrity constraints in object-oriented database schemas. IEEE Trans. on Knowledge and Data Eng. 14(1), 123–139 (2002)CrossRefMathSciNetGoogle Scholar
  7. 7.
    Formica, A.: Satisfiability of object-oriented database constraints with set and bag attributes. Information Systems 28(3), 213–224 (2003)CrossRefGoogle Scholar
  8. 8.
    Queralt, A., Teniente, E.: Reasoning on UML Class Diagrams with OCL Constraints. In: Embley, D.W., Olivé, A., Ram, S. (eds.) ER 2006. LNCS, vol. 4215, pp. 497–512. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  9. 9.
    Farre, C., Teniente, E., Urpí, T.: Checking query containment with the cqc method. Data and Knowledge Engineering 53(2), 163–223 (2005)CrossRefGoogle Scholar
  10. 10.
    Moerkotte, G., Lockemann, P.C.: Reactive consistency control in deductive databases. ACM Trans. Database Syst. 16(4), 670–702 (1991)CrossRefGoogle Scholar
  11. 11.
    Console, L., Sapino, M.L., Dupré, D.T.: The role of abduction in database view updating. J. Intell. Inf. Syst. 4(3), 261–280 (1995)CrossRefGoogle Scholar
  12. 12.
    Lobo, J., Trajcevski, G.: Minimal and consistent evolution in knowledge bases. J. Applied Non-Classical Logics 7(1-2), 117–146 (1997)zbMATHMathSciNetGoogle Scholar
  13. 13.
    Ceri, S., Fraternali, P., Paraboschi, S., Tanca, L.: Automatic generation of production rules for integrity maintenance. ACM Trans. DB Syst. 19(3), 367–422 (1994)CrossRefGoogle Scholar
  14. 14.
    Decker, H.: An extension of sld by abduction and integrity maintenance for view updating in deductive databases. In: JICSLP, pp. 157–169 (1996)Google Scholar
  15. 15.
    Schewe, K.D., Thalheim, B.: Towards a theory of consistency enforcement. Acta Inf. 36(2), 97–141 (1999)zbMATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    Mayol, E., Teniente, E.: Consistency preserving updates in deductive databases. Data Knowl. Eng. 47(1), 61–103 (2003)CrossRefGoogle Scholar
  17. 17.
    Thalheim, B.: Entity-Relationship Modeling: Foundations of Database Technology. Springer, New York (2000)zbMATHGoogle Scholar
  18. 18.
    MIT Software Design Group: The Alloy Analyzer,
  19. 19.
    Kaneiwa, K., Satoh, K.: Consistency Checking Algorithms for Restricted UML Class Diagrams. In: Dix, J., Hegner, S.J. (eds.) FoIKS 2006. LNCS, vol. 3861, pp. 219–239. Springer, Heidelberg (2006)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Anna Queralt
    • 1
  • Ernest Teniente
    • 1
  1. 1.Universitat Politècnica de Catalunya 

Personalised recommendations