Advertisement

Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines

  • Azzam Maraee
  • Mira Balaban
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7590)

Abstract

UML specification is verbal and imprecise, the exact meaning of many class diagram constructs and their interaction is still obscure. There are major problems with the inter-association constraints subsets, union, redefinition, association specialization, association-class specialization. Although their standard semantics is ambiguous and their interaction unclear, the UML meta-model intensively uses these constraints.

The paper investigates the semantic implications of the above inter-association constraints, their interaction with other constraints, and implied correctness problems. Based on this study, we present a comparative analysis of these constraints, that includes characterization, and refers to complexity factors, and usefulness aspect. This analysis yields recommendations concerning the semantics and usefulness of the constraints. In addition, we present modeling guidelines for users. To the best of our knowledge, this is the first all inclusive analysis of the inter-association constraints in UML2.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    OMG: UML 2.4 Superstructure Specification. Specification Version 2.4.1, Object Management Group (2011)Google Scholar
  2. 2.
    Alanen, M., Porres, I.: A Metamodeling Language Supporting Subset and Union Properties. Software and Systems Modeling 7, 103–124 (2008)Google Scholar
  3. 3.
    Artale, A., Calvanese, D., Ibanez-Garcia, A.: Full Satisfiability of UML Class Diagrams. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol. 6412, pp. 317–331. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    Costal, C., Gómez, C., Nieto, P.: On the Semantics of Redefinition, Specialization and Subsetting of Associations in UML (Extended Version). Technical report, Universitat Politcnica de Catalunya (2010)Google Scholar
  6. 6.
    Costal, D., Gómez, C., Guizzardi, G.: Formal Semantics and Ontological Analysis for Understanding Subsetting, Specialization and Redefinition of Associations in UML. In: Jeusfeld, M., Delcambre, L., Ling, T.-W. (eds.) ER 2011. LNCS, vol. 6998, pp. 189–203. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  7. 7.
    Kleppe, A., Rensink, A.: On a Graph-Based Semantics for UML Class and Object Diagrams. In: Graph Transformation and Visual Modelling Techniques, EASST, vol. 10 (2008)Google Scholar
  8. 8.
    Amelunxen, C., Schürr, A.: Formalising Model Transformation Rules for UML/MOF 2. IET Software 2(3), 204–222 (2008)CrossRefGoogle Scholar
  9. 9.
    Nieto, P., Costal, D., Gomez, C.: Enhancing the Semantics of UML Association Redefinition. Data & Knowledge Engineering 70(2), 182–207 (2011)CrossRefGoogle Scholar
  10. 10.
    Bildhauer, D.: On the Relationships Between Subsetting, Redefinition and Association Specialization. In: Ninth Conference on Databases and Information Systems (2010)Google Scholar
  11. 11.
    Maraee, A., Balaban, M.: On the Interaction of Inter-Relationship Constraints. In: Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2011). MoDELS 2011 (2011)Google Scholar
  12. 12.
    BGU Modeling Group: UML Class Diagram Pattern Catalog (2010), http://www.cs.bgu.ac.il/~cd-patterns/
  13. 13.
    BGU Modeling Group: FiniteSatUSE – A Class Diagram Correctness Tool (2011), http://sourceforge.net/projects/usefsverif/
  14. 14.
    Balaban, M., Maraee, A.: Finite Satisfiability of UML Class Diagrams with Constrained Class Hierarchy. ACM Transactions on Software Engineering and Methodology (TOSEM) (to appear)Google Scholar
  15. 15.
    Milicev, D.: On the Semantics of Associations and Association Ends in UML. IEEE Transactions on Software Engineering 33, 238–251 (2007)CrossRefGoogle Scholar
  16. 16.
    Cadoli, M., Calvanese, D., De Giacomo, G., Mancini, T.: Finite Satisfiability of UML Class Diagrams by Constraint Programming. In: The Workshop on CSP Techniques with Immediate Application (2004)Google Scholar
  17. 17.
    Boufares, F., Bennaceur, H.: Consistency Problems in ER-schemas for Database Systems. Information Sciences, 263–274 (2004)Google Scholar
  18. 18.
    Berardi, D., Calvanese, D., Giacomo, D.: Reasoning on UML Class Diagrams. Artificial Intelligence 168, 70–118 (2005)MathSciNetzbMATHCrossRefGoogle Scholar
  19. 19.
    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
  20. 20.
    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)CrossRefGoogle Scholar
  21. 21.
    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)CrossRefGoogle Scholar
  22. 22.
    Rumbaugh, J., Jacobson, G., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Adison Wesley (2004)Google Scholar
  23. 23.
    OMG: UML 2.4 Infrastructure Specification. Specification Version 2.4, Object Management Group (2011)Google Scholar
  24. 24.
    Olivé, A.: Conceptual Modeling of Information Systems. Springer (2007)Google Scholar
  25. 25.
    Buttner, F., Gogolla, M.: On Generalization and Overriding in UML 2.0. In: UML Modeling Languages and Applications. Springer (2004)Google Scholar
  26. 26.
    Snoeck, M., Lemahieu, W.: Specializing Associations. Technical Report 0329, Katholieke Universiteit Leuven (2003)Google Scholar
  27. 27.
    Varro, D., Pataricza, A.: VPM: A Visual, Precise and Multilevel Metamodeling Framework for Describing Mathematical Domains and Metamodeling Framework for Describing Mathematical Domains and UML. Softw. Syst. Model 2, 180–210 (2003)CrossRefGoogle Scholar
  28. 28.
    Pons, C.: Generalization Relation in UML Model Elements. In: Inheritance Workshop at European Conference for Object-Oriented Programming, ECOOP (2002)Google Scholar
  29. 29.
    Monperrus, M., Beugnard, A., Champeau, J.: A Definition of ”Abstraction Level” for Metamodels. In: 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based System (2009)Google Scholar
  30. 30.
    Bremen Database Systems Group: A UML-based Specification Environment (2012), http://www.db.informatik.uni-bremen.de/projects/USE/
  31. 31.
    Btiand, L., Lounis, H., Wuest, J.: A Comprehensive Investigation of Quality Factors in Object-oriented Designs: An Industrial Case Study. In: The 21st International Conference on Software Engineering, pp. 345–354 (1999)Google Scholar
  32. 32.
    Cruz-Lemus, J., Maes, A., Genero, M., Poels, G., Piattini, M.: The Impact of Structural Complexity on the Understandability of UML Statechart Diagrams. Information Sciences 180, 2209–2220 (2010)MathSciNetCrossRefGoogle Scholar
  33. 33.
    Genero, M., Manso, E., Visaggio, A., Canfora, G., Piattini, M.: Building measure-based prediction models for uml class diagram maintainability. Empirical Software Engineering 12, 517–549 (2007)CrossRefGoogle Scholar
  34. 34.
    Moody, D.: The ”Physics” of Notations: Towards a Scientific Basis for Constructing Visual Notations in Software Engineering. IEEE Transactions on Software Engineering 35, 756–779 (2009)CrossRefGoogle Scholar
  35. 35.
    Gurr, C.: Effective Diagrammatic Communication: Syntactic, Semantic and Pragmatic Issues. Journal of Visual Languages and Computing 10, 317–342 (1999)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Azzam Maraee
    • 1
    • 2
  • Mira Balaban
    • 2
  1. 1.Deutsche Telekom LaboratoriesBen-Gurion University of the NegevIsrael
  2. 2.Computer Science DepartmentBen-Gurion University of the NegevIsrael

Personalised recommendations