Towards Rigorous Metamodeling

Benôıt Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel, Bernard Coulette



MDE has provided several significant improvements in the development of complex systems by focusing on more abstract issues than programming. However, improvements are needed on the semantic side in order to reach high-level certification such as the one currently required for critical embedded systems (which will also probably be required in the near future for Information Systems as application of Basel II kind of agreements). This paper presents different means to specify models semantics at the metamodel level. We will focus on the definition of executable SPEM-based development process models (work- flow related models) using an approach defined for the TOPCASED project.


  1. 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: Embedded Real Time Software (ERTS), Toulouse (2006)
  2. Object Management Group, Inc.: Meta Object Facility (MOF) 2.0 Core Specification. (2003)
  3. Budinsky, F., Steinberg, D., Ellersick, R.: Eclipse Modeling Framework : A Developer's Guide. Addison-Wesley Professional (2003)
  4. Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., Garrett, J., IV, C.T., Nordstrom, G., Sprinkle, J., Volgyesi, P.: The generic modeling environment. In: Workshop on Intelligent Signal Processing, Budapest, Hungary (2001)
  5. ATLAS: KM3 : Kernel metametamodel. Technical report, LINA & INRIA, Nantes (2005)
  6. Clark, T., Evans, A., Sammut, P., Willans, J.: Applied metamodelling - a foundation for language driven development. version 0.1 (2004)
  7. Ehrig, K., Ermel, C., Hänsgen, S., Taentzer, G.: Towards graph transformation based generation of visual editors using eclipse. Electr. Notes Theor. Comput. Sci 127 (2005)
  8. Object Management Group, Inc.: UML Object Constraint Language (OCL) 2.0 Specification. (2003) Final Adopted Specification.
  9. Richters, M., Gogolla, M.: Validating UML models and OCL constraints. In Evans, A., Kent, S., Selic, B., eds.: UML 2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference. Volume 1939 of LNCS., Springer Verlag (2000) 265-277
  10. Jouault, F., Kurtev, I.: Transforming models with atl. In: Proceedings of the Model Transformations in Practice Workshop at MoDELS 2005, Montego Bay, Jamaica (2005)
  11. Bézivin, J., Jouault, F.: Using atl for checking models. In: GraMoT. (2005)
  12. Muller, P.A., Fleurey, F., Jézéquel, J.M.: Weaving executability into object-oriented metalanguages. In: LNCS, Montego Bay, Jamaica, MODELS/UML'2005, Springer (2005)
  13. Breton, E.: Contribution à la représentation de processus par des techniques de métamodélisation. PhD thesis, Université de Nantes (2002)
  14. Chen, K., Sztipanovits, J., Abdelwalhed, S., Jackson, E.: Semantic anchoring with model transformations. In LNCS 3748, S.V., ed.: Model Driven Architecture - Foundations and Applications, First European Conference (ECMDA-FA). (2005) 115-129
  15. Gurevich, Y.: The abstract state machine paradigm: What is in and what is out. In: Ershov Memorial Conference. (2001)
  16. Agrawal, A., Karsai, G., Kalmar, Z., Neema, S., Shi, F., Vizhanyo, A.: The design of a language for model transformations. Technical report, Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN 37235, USA. (2005)
  17. Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Department of Computer Science, Aarhus University, Denmark (1981)

Paper Citation

in Harvard Style

Combemale B., Rougemaille S., Crégut X., Migeon F., Pantel M., Maurel C. and Coulette B. (2006). Towards Rigorous Metamodeling . In Proceedings of the 2nd International Workshop on Model-Driven Enterprise Information Systems - Volume 1: MDEIS, (ICEIS 2006) ISBN 978-972-8865-56-6, pages 5-14. DOI: 10.5220/0002501500050014

in Bibtex Style

author={Benôıt Combemale and Sylvain Rougemaille and Xavier Crégut and Frédéric Migeon and Marc Pantel and Christine Maurel and Bernard Coulette},
title={Towards Rigorous Metamodeling},
booktitle={Proceedings of the 2nd International Workshop on Model-Driven Enterprise Information Systems - Volume 1: MDEIS, (ICEIS 2006)},

in EndNote Style

JO - Proceedings of the 2nd International Workshop on Model-Driven Enterprise Information Systems - Volume 1: MDEIS, (ICEIS 2006)
TI - Towards Rigorous Metamodeling
SN - 978-972-8865-56-6
AU - Combemale B.
AU - Rougemaille S.
AU - Crégut X.
AU - Migeon F.
AU - Pantel M.
AU - Maurel C.
AU - Coulette B.
PY - 2006
SP - 5
EP - 14
DO - 10.5220/0002501500050014