The Ultimate Test Automation Guide_ Best Practices and Tips.pdf
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution of Heterogeneous Models
1. Benoit Combemale (Inria & Univ. Rennes 1)
http://people.irisa.fr/Benoit.Combemale
benoit.combemale@irisa.fr
@bcombemale
A Tool-Supported Approach for Omniscient Debugging
and Concurrent Execution of Heterogeneous Models
ANR project GEMOC, grant #ANR-12-INSE-0011
Dec., 2012 – Jul., 2016
2. - 2Omniscient Debugging and Concurrent Execution of Heterogeneous Models, ANR GEMOC (Mar., 2016)
• Project Coordinator: Benoit Combemale (benoit.combemale@irisa.fr), Inria Rennes
• Consortium: Inria, CNRS I3S, INPT IRIT, ENSTA Bretagne, Thales, Obeo
• External Partner: CentraleSupélec
• Date: 01.12.12 – 30.07.16 (44 months)
➠Visit http://gemoc.org/ins
Tools and methods for the definition and coordination of
heterogeneous executable modeling languages over
heterogeneous models of computation
Heterogeneous domain-specific modeling and analysis of
complex software-intensive systems
Application domains: (smart) cyber-physical systems
•Domain model
•Graphical representation
•Domain actions
•Model of concurrency
•Behavioral composition
xDSML
Design and
Composition
•Model debugging
•Model concurrency
•Model coordination
Heterogeneous
Modeling and
Simulation
Omniscient Debugging and Concurrent Execution of
Heterogeneous Behavioral Models
3. Omniscient Debugging and Concurrent Execution of
Heterogeneous Behavioral Models
- 3Omniscient Debugging and Concurrent Execution of Heterogeneous Models, ANR GEMOC (Mar., 2016)
• Major breakthroughs:
– A concurrent and modular executable metamodeling approach [APSEC’12, SLE’12, SLE’13, MODELS’14, SLE’15 (x3),
ECMFA’15, DATE’15, SoSyM’15]
Ø Cross-fertilization of the algorithm theory and the concurrency theory
– An explicit behavioral language interface [GEMOC’13]
– The reification of the coordination concerns at the language level [MODELS’15, Computer'14, Dagstuhl #14412, GEMOC Book]
• Software components:
– Sirius Animator: extends Eclipse Sirius to breathe life into designers. Includes an animator designer/runtime, execution engine,
control panel, omniscient debugger, and trace/event managers
• Host on Sirius lab. Ready for maturation as an Eclipse plugin (Obeo/INRIA)
Ø https://github.com/SiriusLab/ModelDebugging
– MoCCML: model of concurrency and coordination modeling language, and runtime
• will be diffused as an opensource project(I3S/ENSTABretagne)
Ø https://github.com/gemoc/concurrency
– BCOoL and heterogeneous engine coordination: behavioral coordination operator language, and runtime
• will be diffused as an opensource project(I3S/INRIA)
Ø https://github.com/gemoc/coordination
– GEMOC studio: language and modeling workbench, wizard/dashboard, documentation, examples and tutorials
Ø https://github.com/gemoc/gemoc-studio
• Experimentations:
– fUML: execution, animation, debugging and concurrency analysis of activity diagrams [TTC’15] (overall winner)
– xCapella: executable extension of Capella (model-based systems engineering workbench) for model debugging, concurrency
analysis, and behavioral coordination [ERTS’16]
– Smart farming: water management system for smart farming [ICCS’15, EclipseCon-NA’16]
• The GEMOC Initiative: http://gemoc.org