On the Use of Association Redefinition in UML Class Diagrams

  • Dolors Costal
  • Cristina Gómez
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4215)


Association redefinition is a new concept in UML 2.0 that makes it possible to impose additional constraints on some instances of associations. In this paper, we describe how to use association redefinition to declare additional referential integrity and cardinality constraints for associations. We also analyze the interactions between taxonomic constraints and association redefinitions and their impact on the satisfaction of taxonomic constraints. Finally, we establish several conditions that are necessary to guarantee well-formed association redefinitions.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence 168, 70–118 (2005)MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Brachman, R.J., Schmolze, J.G.: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2), 171–216 (1995)CrossRefGoogle Scholar
  3. 3.
    Büttner, F., Gogolla, M.: On Generalization and Overriding in UML 2.0. In: UML Workshop on OCL and Model Driven Engineering, Lisbon (Portugal) (2004)Google Scholar
  4. 4.
    Bratsberg, S.E., Odberg, E.: Relation Refinement in Object-Relation Data Models. In: Nordic Workshop on Programming and Software Development Research, Tampere (Finland) (1992)Google Scholar
  5. 5.
    Cook, S., Daniels, J.: Designing Object Systems: Object-Oriented Modeling with Syntropy. Prentice-Hall, Englewood Cliffs (1994)Google Scholar
  6. 6.
    Calvanese, D., Lenzerini, M.: On the Interaction Between ISA and Cardinality Constraints. In: 10th Int. Conference on Data Engineering (ICDE 1994), pp. 204–213 (1994)Google Scholar
  7. 7.
    de Champeaux, D., Lea, D., Faure, P.: Object-Oriented System Development. Addison-Wesley, Reading (1994)Google Scholar
  8. 8.
    Costal, D., Olivé, A., Teniente, E.: Relationship Type Refinement in Conceptual Models with Multiple Classification. In: Kunii, H.S., Jajodia, S., Sølvberg, A. (eds.) ER 2001. LNCS, vol. 2224, pp. 397–411. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  9. 9.
    Mylopoulos, J., Bernstein, P.A., Wong, H.K.T.: A Language Facility for Designing Database-Intensive Applications. TODS 5(2), 185–207 (1980)CrossRefGoogle Scholar
  10. 10.
    Martin, J., Odell, J.: Objects-Oriented Methods: a Foundation. Prentice-Hall, Englewood Cliffs (1995)Google Scholar
  11. 11.
    OMG. UML 2.0 Superstructure Specification, OMG Adopted Specification (2005), available online at: http://www.omg.org/cgi-bin/doc?formal/05-07-04
  12. 12.
    Olivé, A., Teniente, E.: Derived types and taxonomic constraints in conceptual modeling. Information Systems 27, 391–409 (2002)MATHCrossRefGoogle Scholar
  13. 13.
    Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Dolors Costal
    • 1
  • Cristina Gómez
    • 1
  1. 1.Departament de Llenguatges i Sistemes InformàticsUniversitat Politècnica de CatalunyaBarcelona (Catalonia)

Personalised recommendations