Abstract
The UMLlac ks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninterpreted” expressions. The Action Semantics proposal aims at filling this gap by providing both a metamodel integrated into the UML metamodel, and a model of execution for these statements. As a future OMG standard, the Action Semantics eases the move to tool interoperability, and allows for executable modeling and simulation. We explore in this paper a specificity of the Action Semantics: its applicability to the UML metamodel, itself a UML model. We show how this approach paves the way for powerful metaprogramming capabilities such as refactoring, aspect weaving, application of design patterns or round-trip engineering. Furthermore, the overhead for designers is minimal, as mappings from usual objectoriented languages to the Action Semantics will be standardized. We focus on an approach for expressing manipulations on UML models with the upcoming Action Semantics. We illustrate this approach by various examples of model transformations.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Cinnide and P. Nixon. A methodology for the automated introduction of design patterns. In International Conference on Software Maintenance, Oxford, 1999.
P. Bergstein. Maintainance of object-oriented systems during structural schema evolution. TAPOS, 3(3):185–212, 1997.
E. Casais. Managing Evolutuin in Object Oriented Environments: An Algorithmic Approach. Phd thesis, University of Geneva, 1991.
T. A. S. Consortium. Updated joint initial submission against the action semantics for uml rfp, 2000.
E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Professional Computing Series. Addison-Wesley, Reading, MA, 1995.
W. Griswold. Program restructuring as an aid to software maintenance, 1991.
O. M. Group. Action semantics for the uml rfp, ad/98-11-01, 1998.
A. L. Guennec, G. Sunyé, and J.-M. Jézéquel. Precise modeling of design patterns. In Proceedings of UML 2000, volume 1939 of LNCS, pages 482–496. Springer Verlag, 2000.
W. Ho, F. Pennaneac’h, and N. Plouzeau. Umlaut: A framework for weaving uml-based aspect-oriented designs. In Technology of object-oriented languages andsystems (TOOLS Europe), volume 33, pages 324–334. IEEE Computer Society, June 2000.
W. Hursch. Maintaining Consistency and Behavior of Object-Oriented Systems during Evolution. Phd thesis, Northeastern University, June 1995.
IUT-T. Recommendation z.109 (11/99)-SDLcom bined with UML, 1999.
R. Keller and R. Schauer. Design components: Towards software composition at the design level. In Proceedings of the 20th International Conference on SoftwareEngineering, pages 302–311. IEEE Computer Society Press, Apr. 1998.
Kennedy-Carter. Executable UML(xuml), http://www.kc.com/html/xuml.html.
G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In M. Akşit and S. Matsuoka, editors, ECOOP’ 97-Object-Oriented Programming 11th European Conference, Jyväskylä, Finland, volume 1241 of Lecture Notes in Computer Science, pages 220–242. Springer-Verlag, New York, N. Y., June 1997.
B. Meyer. Object-Oriented Software Construction. Prentice-Hall, 1988.
W. F. Opdyke. Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois, 1992.
Projtech-Technology. Executable UML, http://www.projtech.com/pubs/xuml.html.
D. Roberts. Practical Analysis for Refactoring. PhD thesis, University of Illinois, 1999.
Softeam. UML Profiles and the J language: Totally control your application development using UML. In http://www.softeam.fr/us/pdf/uml profiles.pdf, 1999.
G. Sunyé, A. Le Guennec, and J.-M. Jézéquel. Design pattern application in UML. In E. Bertino, editor, ECOOP’2000 proceedings, number 1850, pages 44–62. Lecture Notes in Computer Science, Springer Verlag, June 2000.
P. Tarr, H. Ossher, and W. Harrison. N degrees of separation: Multi-dimensional separation of concerns. In ICSE’99 Los Angeles CA, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sunyé, G., Pennaneac’h, F., Ho, WM., Le Guennec, A., Jézéquel, JM. (2001). Using UML Action Semantics for Executable Modeling and Beyond. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds) Advanced Information Systems Engineering. CAiSE 2001. Lecture Notes in Computer Science, vol 2068. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45341-5_29
Download citation
DOI: https://doi.org/10.1007/3-540-45341-5_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42215-0
Online ISBN: 978-3-540-45341-3
eBook Packages: Springer Book Archive