A problem-oriented analysis of basic UML static requirements modeling concepts
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
Formally modeling UML and its evolution: a holistic approach
Fourth International Conference on Formal methods for open object-based distributed systems IV
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Validity Checking for Combinations of Theories with Equality
FMCAD '96 Proceedings of the First International Conference on Formal Methods in Computer-Aided Design
Integration and Transformation of UML Models
ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Model transformations incorporating multiple views
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Refinement and consistency in component models with multiple views
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
| Hi-index | 0.00 |
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.