论文信息 - Generalization Relation in UML Model Elements

Generalization Relation in UML Model Elements

In this paper we analyze the concept of Generalization in the UML metamodel. We revise the kinds of generalization/specialization relations between UML model elements that can be expressed. We arrive to the conclusion that the Generalization relationship provided by the UML actually embraces two different generalization/specialization relations: an incremental relation and an overriding relation. Nature of each relation is very different, and it must be clearly distinguished in the UML in order to avoid wrong interpretation of UML models.

Claudia Pons

[1] Giuseppe Castagna,et al. Covariance and contravariance: conflict without a cause , 1995, TOPL.

[2] Gerald W. Both,et al. Object-oriented analysis and design with applications , 1994 .

[3] John Tang Boyland,et al. Type-Safe Compilation of Covariant Specialization: A Practical Case , 1996, ECOOP.

[4] Kim B. Bruce,et al. PolyTOIL: A type-safe polymorphic object-oriented language , 1995, TOPL.

[5] Martín Abadi,et al. A Theory of Objects , 1996, Monographs in Computer Science.

[6] Stanley B. Zdonik,et al. Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like , 1988, ECOOP.

[7] Bernhard Rumpe,et al. Behavioral Specifications of Businesses and Systems , 1999, Behavioral Specifications of Businesses and Systems.

[8] Claudia Pons,et al. Formal foundations of object-oriented modeling notations , 2000, ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods.

[9] Mordechai Ben-Menachem,et al. Writing effective use cases , 2001, SOEN.

[10] Gunnar Övergaard,et al. A Formal Approach to Use Cases and Their Relationships , 1998, UML.

[11] Bernhard Rumpe,et al. Towards a Formalization of the Unified Modeling Language , 1997, ECOOP.

[12] Grady Booch,et al. Object-Oriented Analysis and Design with Applications , 1990 .