Reasoning on UML Class Diagrams with OCL Constraints

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


We propose a new approach to check whether a given UML class diagram with its OCL integrity constraints satisfies a set of desirable properties such as schema satisfiability, class liveliness, redundancy of integrity constraints or reachability of partially specified states. Our approach is based on translating both the class diagram and the OCL constraints into a logic representation. Then, we use the CQC Method to verify whether these properties hold for the given diagram and constraints.


Description Logic Class Diagram Conceptual Schema Integrity Constraint Association Class 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)MATHGoogle Scholar
  2. 2.
    Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML Class Diagrams. Artificial Intelligence 168(1-2), 70–118 (2005)MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Borgida, A.: Description Logics in Data Management. IEEE Transactions on Knowledge and Data Engineering 7(5), 671–682 (1995)CrossRefGoogle Scholar
  4. 4.
    Borgida, A., Lenzerini, M., Rosati, R.: Description Logics for Data Bases. In: Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P. (eds.) The Description Logic Handbook: Theory, Implementation and Applications, pp. 472–494. Cambridge University Press, Cambridge (2003)Google Scholar
  5. 5.
    Bowers, D.S.: Detection of Redundant Arcs in Entity Relationship Conceptual Models. In: Olivé, À., Yoshikawa, M., Yu, E.S.K. (eds.) ER 2003. LNCS, vol. 2784, pp. 275–287. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  6. 6.
    Calvanese, D., Lenzerini, M., Nardi, D.: Description Logics for Conceptual Data Modeling. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, pp. 229–263. Kluwer, Dordrecht (1998)Google Scholar
  7. 7.
    Farré, C., Teniente, E., Urpí, T.: A New Approach for Checking Schema Validation Properties. In: Galindo, F., Takizawa, M., Traunmüller, R. (eds.) DEXA 2004. LNCS, vol. 3180, pp. 77–86. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  8. 8.
    Farré, C., Teniente, E., Urpí, T.: Checking Query Containment with the CQC Method. Data and Knowledge Engineering 53(2), 163–223 (2005)CrossRefGoogle Scholar
  9. 9.
    Gogolla, M., Bohling, J., Richters, M.: Validation of UML and OCL Models by Automatic Snapshot Generation. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 265–279. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  10. 10.
    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
  11. 11.
    Hartmann, S.: Coping with Inconsistent Constraint Specifications. In: Kunii, H.S., Jajodia, S., Sølvberg, A. (eds.) ER 2001. LNCS, vol. 2224, pp. 241–255. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  12. 12.
    Lenzerini, M., Nobili, P.: On the Satisfiability of Dependency Constraints in Entity-Relationship Schemata. In: Proc. 13th International Conference on Very Large Databases - VLDB 1987, pp. 147–154 (1987)Google Scholar
  13. 13.
    Olivé, A.: Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 1–15. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  14. 14.
    Queralt, A., Teniente, E.: Reasoning on UML Class Diagrams with OCL Constraints. De-partament de LSI, UPC, Technical Report LSI-06-15-R (2006)Google Scholar
  15. 15.
    Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley Professional, Reading (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Anna Queralt
    • 1
  • Ernest Teniente
    • 1
  1. 1.Dept. de Llenguatges i Sistemes InformàticsUniversitat Politècnica de CatalunyaBarcelona(Catalonia, Spain)

Personalised recommendations