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
- The power window example
- Kilix: Gesture recognition for manipulating 3D models
- Defining the semantics of DSL by bridging the chasm between metamodeling and models of computation
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-FBOModeling Time for the Execution of Heterogeneous Models , Technical report, # 2013-09-03-DI-FBO, Supélec E3S - Computer Science Department(URL), (BibTeX)
[2] 2012KilixHeterogeneous Modeling of Gesture-Based 3D Applications , Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012(URL), (BibTeX)
[3] 2012BridgingTheChasmBridging the Chasm between Executable Metamodeling and Models of Computation , Proceedings of the 5th International Conference on Software Language Engineering, 2012(URL), (BibTeX)
[4] 2012SemAdaptCCSLLNCSSemantic Adaptation Using CCSL Clock Constraints , Models 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] 2011SemAdaptACSDSemantic Adaptation for Models of Computations , Proceedings 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] 2010MultiViewLNCSModeling Heterogeneous Points of View with ModHel'X , Models 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] 2009MPMSimulationExploring Multi-Paradigm Modeling Techniques , SIMULATION: Transactions of The Society for Modeling and Simulation International, vol. 85, # 11/12, November/December, 2009(URL), (BibTeX)
[8] 2009ModExecIJCAMulti-Formalism Modelling and Model Execution , International Journal of Computers and their Applications, vol. 31, # 3, July, 2009Special Issue on the International Summer School on Software Engineering, (URL), (BibTeX)