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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Alemän, A. Toval, and J. Hoyos. Rigorously transforming UML class diagrams. In Proceedings of the V Workshop MENHIR (Models, Environments and Tools for Requirements Engineering), Universidad de Granada, Spain, 2000.
J. Araüjo, R. France, A. Toval, and J. Whittle. Workshop on Integration and Transformation of UML Models, June 2002. http://www-ctp.di.fct.unl.pt/ja/witum102.htm.
C. Barrett, D. Dill, and J. Levitt. Validity checking for combinations of theories with equality. In Proceedings of FMCAD’96, November 1996.
M. Clavel, F. Durän, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and J. F. Quesada. Maude: Specification and programming in rewriting logic. Theoretical Computer Science, 2001. To appear.
A. Evans. Reasoning with UML class diagrams. In Workshop on Industrial Strength Formal Methods (WIFT98). IEEE Press, 1998.
R. France. A problem-oriented analysis of basic UML static requirements modeling concepts. ACM SIGPLAN Notices, 34(10):57–69, 1999.
M. Gogolla and M. Richters. Equivalence rules for UML class diagrams. In J. Bezivin and P.-A. Muller, editors, The Unified Modeling Language, UML’98 — Beyond the Notation. First International Workshop, Mulhouse, France, June 1998, pages 87–96, 1998.
K. Lano and A. Evans. Rigorous development in UML. In Fundamental Approaches to Software Engineering, FASE’99. Springer-Verlag, 1999.
A. Toval and J. Alemän. Formally modeling UML and its evolution: a holistic approach. In S. Smith and C. Talcott, editors, Formal Methods for Open Objectbased Distributed Systems IV, pages 183–206, 2000.
J. Whittle and J. Schumann. Generating Statechart Designs From Scenarios. In Proceedings of International Conference on Software Engineering (ICSE 2000), pages 314–323, Limerick, Ireland, June 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Whittle, J. (2002). Transformations and Software Modeling Languages: Automating Transformations in UML. In: Jézéquel, JM., Hussmann, H., Cook, S. (eds) ≪UML≫ 2002 — The Unified Modeling Language. UML 2002. Lecture Notes in Computer Science, vol 2460. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45800-X_19
Download citation
DOI: https://doi.org/10.1007/3-540-45800-X_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44254-7
Online ISBN: 978-3-540-45800-5
eBook Packages: Springer Book Archive