Abstract
This paper investigates the role of transformations in the Unified Modeling Language, specifically UML class diagrams with OCL constraints. To date, the use of transformations in software modeling and design has not been fully explored. A framework for expressing transformations is presented along with concrete examples that, for example, infer new inheritance links, or transform constraints. In particular, a technique for checking that two UML class diagrams are refactorings of each other is described.
Original language | English |
---|---|
Title of host publication | UML 2002 - The Unified Modeling Language |
Subtitle of host publication | Model Engineering, Concepts, and Tools - 5th International Conference, Proceedings |
Pages | 227-242 |
Number of pages | 16 |
Publication status | Published - 1 Dec 2002 |
Externally published | Yes |
Event | Unified Modelling Language 2002 - Dresden, Germany Duration: 30 Sep 2002 → 4 Oct 2002 Conference number: 5th |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 2460 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | Unified Modelling Language 2002 |
---|---|
Abbreviated title | UML 2002 |
Country | Germany |
City | Dresden |
Period | 30/09/02 → 4/10/02 |