Skip to main content
SpringerLink
Log in
Book cover

International Conference on Model Driven Engineering Languages and Systems

MODELS 2014: Model-Driven Engineering Languages and Systems pp 235–251Cite as

Removing Redundancies and Deducing Equivalences in UML Class Diagrams

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8767))

Abstract

The emerging Model-driven Engineering approach puts models at the heart of the software development process. The Class Diagram language is central within the UML. Automated support for class diagrams involves identification and repair of correctness and quality problems.

This paper presents methods and rules for improving class diagram quality. The paper introduces formal semantics for class diagrams, which distinguishes between existential to universal constraints, and defines redundancy of existential constraints. It provides and analyzes algorithms for removing redundancy of multiplicity and generalization-set constraints in class diagrams with class hierarchy, qualifier, association class, aggregation/composition, and inter-association constraints, and presents inference rules for deducing element equivalence. All methods are under implementation in the FiniteSatUSE tool.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Costal, D., Gómez, C.: On the use of Association Redefinition in UML Class Diagrams. In: Embley, D.W., Olivé, A., Ram, S. (eds.) ER 2006. LNCS, vol. 4215, pp. 513–527. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  2. Feinerer, I., Salzer, G., Sisel, T.: Reducing Multiplicities in Class Diagrams. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 379–393. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  3. Balaban, M., Maraee, A.: Finite Satisfiability of UML Class Diagrams with Constrained Class Hierarchy. ACM Transactions on Software Engineering and Methodology (TOSEM) 22(24), 1–24 (2013)

    Article  Google Scholar 

  4. Maraee, A., Balaban, M.: Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 302–318. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  5. Feinerer, I., Salzer, G.: Numeric Semantics of Class Diagrams with Multiplicity and Uniqueness Constraints. Software and Systems Modeling, SoSyM (2013)

    Google Scholar 

  6. Balaban, M., Maraee, A.: Simplification and Correctness of UML Class Diagrams – Focusing on Multiplicity and Aggregation/Composition Constraints. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 454–470. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  7. OMG: UML 2.4 Superstructure Specification. Specification Version 2.4.1, Object Management Group (2011)

    Google Scholar 

  8. Kleppe, A., Rensink, A.: On a Graph-Based Semantics for UML Class and Object Diagrams. In: Ermel, C., Lara, J.D., Heckel, R. (eds.) Graph Transformation and Visual Modelling Techniques. Electronic Communications of the EASST, vol. 10, EASST (2008)

    Google Scholar 

  9. OMG: OMG Object Constraint Language (OCL). Specification Version 2.3.1, Object Management Group (2012)

    Google Scholar 

  10. Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley Longman Publishing Co., Inc. (2003)

    Google Scholar 

  11. Balaban, M., Maraee, A.: UML Class Diagram Semantics (2014), http://www.cs.bgu.ac.il/~cd-patterns/?page_id=1695

  12. Rosati, R.: Finite Model Reasoning in DL-Lite. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 215–229. Springer, Heidelberg (2008)

    Google Scholar 

  13. Berardi, D., Calvanese, D., Giacomo, D.: Reasoning on UML Class Diagrams. Artificial Intelligence 168, 70–118 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  14. Queralt, A., Teniente, E.: Verification and Validation of UML Conceptual Schemas with OCL Constraints. ACM Transactions on Software Engineering and Methodology (TOSEM) 21, 13:1–13:41 (2012)

    Google Scholar 

  15. Kaneiwa, K., Satoh, K.: On the Complexities of Consistency Checking for Restricted UML Class Diagrams. Theor. Comput. Sci. 411, 301–323 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  16. Lenzerini, M., Nobili, P.: On the Satisfiability of Dependency Constraints in Entity-Relationship Schemata. Information Systems 15, 453–461 (1990)

    Article  Google Scholar 

  17. Thalheim, B.: Entity Relationship Modeling, Foundation of Database Technology. Springer (2000)

    Google Scholar 

  18. Calvanese, D., Lenzerini, M.: On the Interaction between ISA and Cardinality Constraints. In: The 10th IEEE Int. Conf. on Data Engineering (1994)

    Google Scholar 

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

  20. Boufares, F., Bennaceur, H.: Consistency Problems in ER-schemas for Database Systems. Information Sciences, 263–274 (2004)

    Google Scholar 

  21. Shaikh, A., Clarisó, R., Wiil, U., Memon, N.: Verification-driven Slicing of UML/OCL Models. In: Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, pp. 185–194. ACM (2010)

    Google Scholar 

  22. Maraee, A.: UML Class Diagrams–Semantics, Correctness and Quality. PhD thesis, Ben Gurion University of the Negev (2012)

    Google Scholar 

  23. Alanen, M., Porres, I.: A Metamodeling Language Supporting Subset and Union Properties. Software and Systems Modeling 7, 103–124 (2008)

    Article  Google Scholar 

  24. Szlenk, M.: UML Static Models in Formal Approach. In: Meyer, B., Nawrocki, J.R., Walter, B. (eds.) CEE-SET 2007. LNCS, vol. 5082, pp. 129–142. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  25. Calì, A., Gottlob, G., Orsi, G., Pieris, A.: Querying UML Class Diagrams. In: Birkedal, L. (ed.) FOSSACS 2012. LNCS, vol. 7213, pp. 1–25. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  26. Balaban, M., Maraee, A., Sturm, A., Jelnov, P.: A Pattern-Based Approach for Improving Model Design Quality. Software and Systems Modeling (SoSyM), 1–29 (2014)

    Google Scholar 

  27. BGU Modeling Group: UML Class Diagram Patterns, Anti-Patterns and Inference Rules (2014), http://www.cs.bgu.ac.il/~cd-patterns/

  28. Hartmann, S.: On the Implication Problem for Cardinality Constraints and Functional Dependencies. Annals of Mathematics and Artificial Intelligence 33, 253–307 (2001)

    Article  MathSciNet  Google Scholar 

  29. BGU Modeling Group: FiniteSatUSE – A Class Diagram Correctness Tool (2011), http://sourceforge.net/projects/usefsverif/

  30. Maraee, A., Makarenkov, V., Balaban, B.: Efficient Recognition and Detection of Finite Satisfiability Problems in UML Class Diagrams: Handling Constrained Generalization Sets, Qualifiers and Association Class Constraints. In: MCCM 2008 (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Ben-Gurion University of the Negev, Israel

    Azzam Maraee & Mira Balaban

  2. Deutsche Telekom Laboratories, Ben-Gurion University of the Negev, Israel

    Azzam Maraee

Authors
  1. Azzam Maraee
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mira Balaban
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Queen’s University, Kingston, ON, Canada

    Juergen Dingel

  2. Microsoft Research, Redmond, WA, USA

    Wolfram Schulte

  3. Universitat Politècnica de València, Spain

    Isidro Ramos , Silvia Abrahão  & Emilio Insfran ,  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Maraee, A., Balaban, M. (2014). Removing Redundancies and Deducing Equivalences in UML Class Diagrams. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds) Model-Driven Engineering Languages and Systems. MODELS 2014. Lecture Notes in Computer Science, vol 8767. Springer, Cham. https://doi.org/10.1007/978-3-319-11653-2_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-11653-2_15

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-11652-5

  • Online ISBN: 978-3-319-11653-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation