Experimentations, transfer and development during the ANR project GEMOC
- 1. Jérôme Le Noir (Thales Research & Technology) Experimentations, transfer and development Final workshop of the ANR project GEMOC, March 17th, 2016
- 2. Industrial Context Can we coordinate this heterogeneous model ? https://www.polarsys.org/capella/arcadia.html
- 3. Mode Automata & DataFlow Model Coordination
- 4. xDSML’ xDSML Breakthrough #1: modular and explicit definition of the behavioral semantics of modeling languages Breakthrough #2: explicit mapping used as behavioral interface of modeling languages Breakthrough #3: integration of modeling languages for heterogeneous model coordination Semantics ASDSAMoCC DSE (Domain Specific Event) • Data • Control • Communication Event-driven behavioral interface AS DSA MoCC DSE Concurrent execution of heterogeneous domain- specific models xDSML Development and Composition
- 5. xCapella Mode Automata 5 Breakthrough #1: modular and explicit definition of the behavioral semantics of modeling languages Breakthrough #2: explicit mapping used as behavioral interface of modeling languages Breakthrough #3: integration of modeling languages for heterogeneous model coordination Semantics ASDSAMoCC ModeAutomata.ecore Exec. Function and data xCapella Mode Automata : DSA Exec. function Exec. data
- 6. xCapella Mode Automata Breakthrough #1: modular and explicit definition of the behavioral semantics of modeling languages Breakthrough #2: explicit mapping used as behavioral interface of modeling languages Breakthrough #3: integration of modeling languages for heterogeneous model coordination Semantics ASDSAMoCC DSE (Domain Specific Event) Event-driven behavioral interface xCapella Mode Automata : DSE & MoCC ModeAutomata.ecore
- 8. Breath life into an industrial modeling workbench with the GEMOC approach
- 10. xCapella DataFlow xCapella Mode Automata Breakthrough #1: modular and explicit definition of the behavioral semantics of modeling languages Breakthrough #2: explicit mapping used as behavioral interface of modeling languages Breakthrough #3: integration of modeling languages for heterogeneous model coordination Semantics ASDSAMoCC DSE (Domain Specific Event) Event-driven behavioral interface xCapella Mode Automata & DataFlow Coordination Specification ModeAutomata.ecore AS MoCC DSE DSA
- 11. Mode Automata & Data Flow Model Coordination
- 12. Transfer : GEMOC Studio • GEMOC studio : http://gemoc.org/studio-download • GEMOC studio update site: http://gemoc.org/updatesite/studio 1. Model debuging: (sequential) execution, trace management and animation • Requires: Xtend/Java, generative approach for trace management, generic execution engine, generic animation framework 2. Concurrency modeling and analysis: (concurrent) execution, and analysis tools • Requires: model debugging + MoccML, ECL/GEL, Timesquare, concurrent execution engine 3. Behavioral coordination of, possibly heterogeneous, models: coordination engine • Requires: concurrency + BCOoL, coordination execution engine
- 13. GEMOC Studio examples (deployed) : TFSM SigPML Public GEMOC experimentations : Marked graph tutorial (cf. http://gemoc.github.io/gemoc- studio/publish/tutorial_markedgraph/html_single/GuideTutorialMar kedGraph.html) Activity Diagram (fUML) (cf. https://github.com/gemoc/activitydiagram) Arduino Modeling (cf. https://github.com/gemoc/arduinomodeling) Farming modeling (cf. https://github.com/gemoc/farmingmodeling) Internal experimentation : xCapella, an executable extension of Capella (PoC) Transfer : Experimentations
- 14. Transfer Generic technologies (EPL) which have proven helpful and are looking for an interest to bring it at full maturity level.