Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Reasoning on UML Class Diagrams with OCL Constraints

  • Conference paper
Conceptual Modeling - ER 2006 (ER 2006)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4215))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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)

    MATH  Google Scholar 

  2. Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML Class Diagrams. Artificial Intelligence 168(1-2), 70–118 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  3. Borgida, A.: Description Logics in Data Management. IEEE Transactions on Knowledge and Data Engineering 7(5), 671–682 (1995)

    Article  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  8. Farré, C., Teniente, E., Urpí, T.: Checking Query Containment with the CQC Method. Data and Knowledge Engineering 53(2), 163–223 (2005)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley Professional, Reading (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, c/ Jordi Girona 1-3, 08034, Barcelona, (Catalonia, Spain)

    Anna Queralt & Ernest Teniente

Authors
  1. Anna Queralt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ernest Teniente
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science,  

    David W. Embley

  2. Universitat Politècnica Catalunya, Jordi Girona 1-3, 08034, Barcelona, Spain

    Antoni Olivé

  3. Department of MIS, Eller School of Management,, University of Arizona, 430J McClelland Hall, 85721, Tucson, AZ

    Sudha Ram

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Queralt, A., Teniente, E. (2006). Reasoning on UML Class Diagrams with OCL Constraints. In: Embley, D.W., Olivé, A., Ram, S. (eds) Conceptual Modeling - ER 2006. ER 2006. Lecture Notes in Computer Science, vol 4215. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11901181_37

Download citation

  • DOI: https://doi.org/10.1007/11901181_37

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-47224-7

  • Online ISBN: 978-3-540-47227-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation