Abstract
UML semantic variation points provide intentional degrees of freedom for the interpretation of the metamodel semantics. The interest of semantic variation points is that UML now becomes a family of languages sharing lot of commonalities and some variabilities that one can customize for a given application domain. In this paper, we propose to reify the various semantic variation points of UML 2.0 statecharts into models of their own to avoid hardcoding the semantic choices in the tools. We do the same for various implementation choices. Then, along the line of the OMG’s Model Driven Architecture, these semantic and implementation models are processed along with a source UML model (that can be seen as a PIM) to provide a target UML model (a PSM) where all semantic and implementation choice are made explicit. This target model can in turn serve as a basis for a consistent use of code generation, simulation, model-checking or test generation tools.
This work has been partially supported by the Amadeus project of Région Bretagne and by the Artist2 Network of Excellence on Embedded Systems Design (IST-004527).
Access provided by Autonomous University of Puebla. Download to read the full chapter text
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
Börger, E., Cavarra, A., Riccobene, E.: On formalizing UML state machines using ASM. Information & Software Technology 46(5), 287–292 (2004)
Carter, K.: iUMLite tool suite and ASL language. from Kennedy Carter’s website, http://www.kc.com
Von der Beeck, M.: A comparison of statecharts variants. In: De Roever, L., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol. 863, pp. 128–148. Springer, Heidelberg (1994)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Longman Publishing Co., Inc., Amsterdam (1995)
Le Guennec, A., Sunyé, G., Jézéquel, J.-M.: Precise modeling of design patterns. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 482–496. Springer, Heidelberg (2000)
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231–274 (1987)
Harel, D., Gery, E.: Executable object modeling with statecharts. In: ICSE 1996: Proceedings of the 18th international conference on Software engineering, pp. 246–257. IEEE Computer Society, Los Alamitos (1996)
Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology 5(4), 293–333 (1996)
Ho, W.-M., Jézéquel, J.-M., Le Guennec, A., Pennaneac’h, F.: UMLAUT: an extendible UML transformation framework. In: Proc. Automated Software Engineering, ASE 1999, Florida (October 1999)
Jauhar, A., Tanaka, J.: Implementation of the Dynamic Behavior of Object Oriented System. In: Third World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin, Germany, July 1998, vol. 4 (1998)
Jauhar, A., Tanaka, J.: Implementing the dynamic behavior represented as multiple state diagrams and activity diagrams. Journal of Computer Science & Information Management (JCSIM) 2(1), 24–36 (2001)
Fleurey, F., Muller, P.-A., Jézéquel, J.-M.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264–278. Springer, Heidelberg (2005) (to be published)
Pollet, D., Vojtisek, D., Jézéquel, J.-M.: OCL as a core UML transformation language. WITUML 2002 Position paper, Malaga, Spain (June 2002), http://ctp.di.fct.unl.pt/ja/wituml02.htm
UML Revision Task Force RTF. UML draft version 2.0 specification (April 2003)
Soley, R., OMG Staff Group: Model Driven Architecture. White papers, Object Management Group (November 2000)
Tomura, T., Kanai, S.: Developing simulation models of open distributed control system by using object-oriented structural and behavioral patterns. In: ISORC, pp. 428–437 (2001)
von der Beeck, M.: A structured operational semantics for UML-statecharts. Software and System Modeling 1(2), 130–141 (2002)
Ziadi, T.: Manipulation de lignes de produits en UML. PhD thesis, Universit de Rennes 1 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chauvel, F., Jézéquel, JM. (2005). Code Generation from UML Models with Semantic Variation Points. In: Briand, L., Williams, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2005. Lecture Notes in Computer Science, vol 3713. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11557432_5
Download citation
DOI: https://doi.org/10.1007/11557432_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29010-0
Online ISBN: 978-3-540-32057-9
eBook Packages: Computer ScienceComputer Science (R0)