CentraleSupélecDépartement informatique
Plateau de Moulon
3 rue Joliot-Curie
F-91192 Gif-sur-Yvette cedex
ModHel'X — A framework for heterogeneous modeling

ModHel'X is a framework for simulating multi-formalism models. A multi-formalism model is a model in which several modeling formalisms (or languages) are jointly used. The main issue in this context is to determine the global behavior of the model.

To address this issue, ModHel'X is based on the concept of Model of Computation. ModHel'X is able to simulate the behavior of multi-formalism models using the descriptions of the different Models of Computation involved in the model and the descriptions of the “glues” to use for adapting the semantics between the heterogeneous parts of the model.

In ModHel'X, the execution of a multi-formalism model is a sequence of snapshots of its behavior. Each snapshot is computed by combining observations of the components of the model using the rules expressed by the involved Models of Computation.

We currently have a proof-of-concept implementation of ModHel'X in Java/EMF. It is not yet available for download, but feel free to contact us if you wish to try it.

Introductory presentation

Heterogeneous Systems and Multi-Paradigm Modeling — ModHel'X, May 1st 2012.

Projects


Eclipse update site

ModHelX update site for Gemoc.

This update sites contains three features:

  • ModHel'X core, which contains the ModHel'X heterogeneous execution engine, with a few models of computation, but without examples.
  • TESL core, which contains the TESL tagged event solver, without examples
  • TESL language, for writing TESL specification and running them using the TESL solver

People

Contact the ModHel'X team

Frédéric Boulanger
Cécile Hardebolle
Christophe Jacquet
Dominique Marcadet

Publications

[1] IR-2012-09-03-DI-FBOFrédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Iuliana Prodan, Modeling Time for the Execution of Heterogeneous ModelsTechnical report, # 2013-09-03-DI-FBO, Supélec E3S - Computer Science Department(URL), (BibTeX)

[2] 2012KilixRomulad Deshayes, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Tom Mens, Heterogeneous Modeling of Gesture-Based 3D ApplicationsProceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012(URL), (BibTeX)

[3] 2012BridgingTheChasmBenoît Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoît Baudry, Bridging the Chasm between Executable Metamodeling and Models of ComputationProceedings of the 5th International Conference on Software Language Engineering, 2012(URL), (BibTeX)

[4] 2012SemAdaptCCSLLNCSFrédéric Boulanger, Ayman Dogui, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Iuliana Prodan, Semantic Adaptation Using CCSL Clock ConstraintsModels in Software Engineering: Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers, 2012, (Kienzle, Jorg, Ed.), Springer-Verlag, pages 104-118(URL), (BibTeX)

[5] 2011SemAdaptACSDFrédéric Boulanger, Cécile Hardebolle, Christophe Jacquet, Dominique Marcadet, Semantic Adaptation for Models of ComputationsProceedings of the 11th International Conference on Application of Concurrency to System Design, 2011, (Benoît Caillaud,Josep Carmona,Kunihiko Hiraishi, Ed.), IEEE Computer Society, pages 153-162(URL), (BibTeX)

[6] 2010MultiViewLNCSFrédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Elyes Rouis, Modeling Heterogeneous Points of View with ModHel'XModels in Software Engineering: Workshops and Symposia at MoDELS 2009, Denver, CO, USA, October 2009, Reports and Revised Selected Papers, 2010, (Sudipto Ghosh, Ed.), Springer-Verlag, pages 310-324(URL), (BibTeX)

[7] 2009MPMSimulationCécile Hardebolle, Frédéric Boulanger, Exploring Multi-Paradigm Modeling TechniquesSIMULATION: Transactions of The Society for Modeling and Simulation International, vol. 85, # 11/12, November/December, 2009(URL), (BibTeX)

[8] 2009ModExecIJCACécile Hardebolle, Frédéric Boulanger, Multi-Formalism Modelling and Model ExecutionInternational Journal of Computers and their Applications, vol. 31, # 3, July, 2009Special Issue on the International Summer School on Software Engineering, (URL), (BibTeX)