BCOol : the Behavioral Coordination Operator Language

Matias Vara Larsen 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
Inria de Paris, CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Modern devices embed several subsystems with different characteristics that communicate and interact in many ways. This makes its development complex since a designer has to deal with the heterogeneity of each subsystem but also with the interaction between them. To tackle the development of complex systems, Model Driven Engineering promotes the use of various, possibly heterogeneous, structural and behavioral models. In this context, the coordination of behavioral models to produce a single integrated model is necessary to provide support for validation and verification. It allows system designers to understand and validate the global and emerging behavior of the system. However, the manual coordination of models is tedious and error-prone, and current approaches to automate the coordination are bound to a fixed set of coordination patterns. Moreover, they encode the pattern into a tool thus limiting reasoning on the global system behavior. In this thesis, we propose a Behavioral Coordination Operator Language (B-COoL) to reify coordination patterns between specific domains by using coordination operators between the Domain-Specific Modeling Languages used in these domains. Those operators are then used to automate the coordination of models conforming to these languages. B-COoL is implemented as plugins for the Eclipse Modeling Framework thus providing a complete environment to execute and verify coordinated models. We illustrate the use of B-COoL with the definition of coordination operators between timed finite state machines and activity diagrams. We then use these operators to coordinate and execute the heterogeneous models of a surveillance camera system.
Document type :
Theses
Complete list of metadatas

Cited literature [60 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01302875
Contributor : Abes Star <>
Submitted on : Monday, July 11, 2016 - 10:10:09 AM
Last modification on : Monday, November 5, 2018 - 3:36:03 PM
Long-term archiving on : Wednesday, October 12, 2016 - 11:18:10 AM

File

2016NICE4013.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01302875, version 2

Collections

Citation

Matias Vara Larsen. BCOol : the Behavioral Coordination Operator Language. Other [cs.OH]. Université Nice Sophia Antipolis, 2016. English. ⟨NNT : 2016NICE4013⟩. ⟨tel-01302875v2⟩

Share

Metrics

Record views

806

Files downloads

308