Abstract
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurring definition of new languages raises the problem of the definition of support tools such as editor, simulator, compiler, etc. In this paper we propose generative technologies that have been designed to ease the development of model animation tools inside the TopCased platform. These tools rely on the automatically generated graphical editors of TopCased and provide additional generators for building model animator graphical interface. We also rely on an architecture for executable metamodel (i.e., the TopCased model execution metamodeling pattern) to bind the behavioral semantics of the modeling language. These tools were designed in a pragmatic manner by abstracting the various model animators that had been hand-coded in the TopCased project, and then validated by refactoring these animators.
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
Combemale, B., Crégut, X., Giacometti, J.P., Michel, P., Pantel, M.: Introducing Simulation and Model Animation in the MDE topcased Toolkit. In: ERTS (2008)
Combemale, B., Rougemaille, S., Crégut, X., Migeon, F., Pantel, M., Maurel, C., Coulette, B.: Towards rigorous metamodeling. In: MDEIS, pp. 5–14. INSTICC Press (2006)
Combemale, B., Crégut, X., Garoche, P.L., Thirioux, X., Vernadat, F.: A Property-Driven Approach to Formal Verification of Process Models. In: Enterprise Information System IX, Springer, Heidelberg (2008)
Bendraou, R., Combemale, B., Crégut, X., Gervais, M.P.: Definition of an executable spem 2.0. In: APSEC, pp. 390–397 (2007)
Farail, P., Gaufillet, P., Canals, A., Camus, C.L., Sciamma, D., Michel, P., Crégut, X., Pantel, M.: The TOPCASED project: a toolkit in open source for critical aeronautic systems design. In: ERTS (2006)
Object Management Group, Inc.: Meta Object Facility (MOF) 2.0 Core Specification, Final Adopted Specification (January 2006)
Winkelmann, K.: Formal Methods in Designing Embedded Systems - The SACRES Experience. In: Formal Methods in System Design, vol. 19, pp. 81–110. Springer, Heidelberg (2001)
Harel, D., Naamad, A.: The STATEMATE semantics of Statecharts, vol. 5(4), pp. 293–333. ACM Press, New York (1996)
Behrmann, G., David, A., Larsen, K.G., Möller, O., Pettersson, P., Yi, W.: Uppaal - Present and Future. In: Proceedings of the 40th IEEE Conference on Decision and Control (CDC 2001), Orlando, Florida, USA (2001)
Colgren, R.: Basic Matlab Simulink and Stateflow. In: American Institute of Aeronautics and Astronautics. AIAA Education Series (2007)
Campbell, S.L., Chancelier, J.P., Nikoukhah, R.: Modeling and Simulation in Scilab/Scicos. Springer, Heidelberg (2005)
Lee, E.A.: Overview of the Ptolemy project. Technical Memorandum UCB/ERL no M03/25, University of California at Berkeley (2003)
Dotan, D., Kirshin, A.: Debugging and testing behavioral uml models. In: OOPSLA Companion, pp. 838–839. ACM, New York (2007)
Wachsmuth, G.: Modelling the operational semantics of domain-specific modelling languages. In: Lämmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering II. LNCS, vol. 5235, pp. 506–520. Springer, Heidelberg (2008)
Sadilek, D.A., Wachsmuth, G.: Prototyping visual interpreters and debuggers for domain-specific modelling languages. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 63–78. Springer, Heidelberg (2008)
Sadilek, D.A., Wachsmuth, G.: Using grammarware languages to define operational semantics of modelled languages. In: Brakhage, H. (ed.) GI-Fachtagung 1975. LNCS, vol. 33, pp. 348–356. Springer, Heidelberg (1975)
Soden, M., Eichler, H.: Towards a model execution framework for eclipse. In: 1st Workshop on Behaviour Modelling in Model-Driven Architecture, pp. 1–7. ACM, New York (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Crégut, X., Combemale, B., Pantel, M., Faudoux, R., Pavei, J. (2010). Generative Technologies for Model Animation in the TopCased Platform. In: Kühne, T., Selic, B., Gervais, MP., Terrier, F. (eds) Modelling Foundations and Applications. ECMFA 2010. Lecture Notes in Computer Science, vol 6138. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13595-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-13595-8_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13594-1
Online ISBN: 978-3-642-13595-8
eBook Packages: Computer ScienceComputer Science (R0)