A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models (ERTS 2016)

transcript

Benoit Combemale, Cédric Brun, Joël Champeau, Xavier Crégut, Julien Deantoni, Jérome Le Noir, (& Marc Pantel)

A Tool-Supported Approach for Concurrent Execution of Heterogeneous ModelsERTS², January 29th, 2016

Complex Software-Intensive Systems

Software intensive systems

- 2A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models – ERTS², Jan. 29th, 2016

• Multi-engineering approach• Domain-specific modeling • Software as integration layer

Aerodynamics

Authorities

Avionics

SafetyRegulations

Airlines

PropulsionSystem

MechanicalStructure

EnvironmentalImpact

NavigationCommunications

Human-Machine

Interaction

Multipleconcerns,

stakeholders, tools and methods

Aerodynamics

Authorities

Avionics

SafetyRegulations

Airlines

PropulsionSystem

MechanicalStructure

EnvironmentalImpact

NavigationCommunications

Human-Machine

Interaction

Heterogeneous Modeling

Le nouveau défis de la coordination des langages de modélisation. Gestion de l'hétérogénéité des modèles dans le développement et l'exécution de systèmes logiciels complexes (Benoit Combemale, Julien Deantoni, Ali Koudri, Jérôme Le Noir), In Génie logiciel et ingénierie de système (GL & IS), 2013.

Concurrent Execution of Heterogeneous Models

• complex domain-specific behaviors• highly communicating each others• deployed on distributed platforms

A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models – ERTS², Jan. 29th, 2016

Breakthroughs: • modular and explicit definition of the behavioral semantics of modeling

languages, incl. concurrency [APSEC’12, SLE’12, SLE’13, SLE’15 (x3), DATE’15, EXE@MODELS’15, SoSyM’15]

• explicit behavioral interface of modeling languages [GEMOC’13]• reification of the coordination concerns at the language level

[MODELS’15, Computer'14, Dagstuhl #14412]

•Domain model•Domain actions•Model of concurrency•Behavioral composition

xDSMLDevelopment

and Composition

•Model debugging•Model concurrency•Model coordination

Heterogeneous Modeling and

Simulation

Visit http://gemoc.org/ins

Concurrent Execution of Heterogeneous Models(ANR Project GEMOC, #ANR-12-INSE-0011)

Breakthrough #1: modular and explicit definition of the behavioralsemantics of modeling languages

Breakthrough #2: explicit mappingused as behavioral interface of modeling languages

Breakthrough #3: integration of modeling languages for heterogeneous model coordination

Semantics

ASDSAMoCC

Abstract Syntax

Exec. functionand data

ConcurrencyModel

xDSML Development and Composition

Semantics

ASDSAMoCC

DSE(Domain

Specific Event)

Event-driven behavioralinterface

Concurrent execution of homogeneous domain-specificmodels

• Data• Control• Communication

xDSML’

Semantics

ASDSAMoCC

DSE(Domain

Specific Event)• Data• Control• Communication

Event-driven behavioralinterface

AS DSA MoCC

Concurrent execution of heterogeneous domain-specificmodels

Reifying Concurrency and Coordination in xDSML

Model of Concurrency & Communication

Domain-Specific Actions

Abstract Syntax

Domain-SpecificEvents

DSAMoCC

Concept0..*Concepts

(from Las)

ExecutionFunction(from Ldsa)

Event(from Lmoc)

Event0..*

Constraint0..*

Legend

<<dependsOn>>

<<conformsTo>>

Property

type1Execution

0..*ExecutionFunction

EcoreKermetaMoccML

GEL/ECL

Composition Operator

CompositionOperator

Lcompo

MatchingRule

CoordinationRule

B-COoL

The GEMOC Studio

http://gemoc.org/studio/

Benoit Combemale, Julien Deantoni, Olivier Barais, Arnaud Blouin, Erwan Bousse, Cédric Brun, Thomas Degueule and Didier Vojtisek, "A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio," In 8th Transformation Tool Contest (TTC), 2015. Overall Winner

Activity Diagram Debugger

https://github.com/gemoc/activitydiagram

Activity Diagram Debugger

https://github.com/gemoc/activitydiagram

Coping with Semantic Variation Points

Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoit Combemale, "Coping withSemantic Variation Points in Domain-Specific Modeling Languages", In EXE@MoDELS 2015.

Behavioral Model Coordination

https://github.com/gemoc/coordination

Arduino Designer (& Debugger)

https://github.com/gemoc/arduinomodeling

• Graphical animation• Breakpoint definition on model element• Multi-dimensional and efficient trace

management• Model debugging facilities (incl., timeline,

step backward, stimuli management, etc.)• Concurrency simulation and formal analysis

Introducing life into an industrial modeling workbench with GEMOC

• Industrial Context

• Integration of modeling languages for heterogeneous model coordination (xCapella overview)

• explicit definition of the behavioral semantics of modeling languages & explicit mapping used as behavioral interface of modeling languages (xCapella ModeAutomata)

• Coordination Specification

Industrial Context

-18A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models – ERTS², Jan. 29th, 2016

Can we coordinate these heterogeneous models ?https://www.polarsys.org/capella/arcadia.html

eXecutable Data flow

CoordinationSpecification

eXecutable Mode Automata

Data Flow Animator

Capella Mode Automata

Capella Data flow

Mode Automata Animator

xCapella

Semantics Semantics

Integration of modeling languages for heterogeneous models coordination

-19A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models – ERTS², Jan. 29 , 2016

Language Interface

Debugger

Trace manager

Timeline

parameterizes

MoCCML/CCSL

xCapella Mode Automata

Semantics

Melange (K3 AL)

Sirius Animator framework

Execution engine

GEL/ECL

Exec. functionand data

ASModeAutomata.ecore

Mode Automata.xtend

Graphical specification

model Sirius

ModeAutomata.odesign

MoCClib.moc

ModeAutomata.ecl

Mode AutomataAnimator

Animation.odesign

ConcurrencyModel

Abstract Syntax

Explicit definition of the behavioral semantics of modeling languages

Mode.xtend

xCapella Mode Automata : AS & DSA

Exec. function

Exec. data

ModeAutomata.ecore

Abstract Syntax

xCapella Mode Automata : DSE & MoCC

ModeAutomata.ecl

Mode automata Animator

xCapella Mode Automata : Modelling Workbench

- 24A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models – ERTS², Jan. 29th, 2016

Execution engine

eXecutable Data flow

parameterizes (Coordination model)

Timeline

B-COoL

CoordinationSpecification

parameterizes

MoCCML

eXecutable Mode Automata

Melange (K3 AL )

Data Flow Animator

Capella Mode Automata

Execution engine

Language Interface

Capella Data flow

Heterogeneous Coordination engine

Language Interface

Timeline

Mode Automata Animator

parameterizes parameterizes

xCapella

GEL/ECL

parameterizes

Semantics Semantics

Conclusion

• Scientific breakthroughs: • A concurrent and modular executable metamodeling approach• An explicit behavioral language interface• A behavioral coordination operator language

• Technological breakthroughs: • Model debugging (Sirius Animator)• Model concurrency (MoccML, ECL, GEL)• Model coordination (BCOoL)• The GEMOC studio Ø https://github.com/gemoc

• Experimentations:• fUML (cf. TTC’15 at http://gemoc.org/ttc15)• Arduino Debugger (cf. https://github.com/gemoc/arduinomodeling)• xCapella, an executable extension of Capella

Perspectives

• Coordination of discrete and continuous models• Co-simulation• Formal analysis of model concurrency and coordination• Adaptable MoC at the language level

• @design/compile time: design space exploration, optimizing compilers

• @runtime: code adaptation, code obfuscation• Live and collaborative modeling• SLE in Education

Join us!

The GEMOC Initiativehttp://gemoc.org ~ @gemocinitiative

Advisory Board: Betty Cheng, Benoit Combemale, Jeff Gray, Jean-Marc Jézéquel and Bernhard Rumpe