Sciweavers

MODELS
2015
Springer

A Model-Driven Based Environment for Automatic Model Coordination

8 years 7 months ago
A Model-Driven Based Environment for Automatic Model Coordination
Abstract—We present the integration of the Behavioral Coordination Operator Language (B-COOL) into the GEMOC Studio. B-COOL enables the system designer to automate the coordination of models by specifying Operators between DomainSpecific Modeling Languages. In this demonstration, we present how B-COOL is used to coordinate the heterogeneous model of a video surveillance system. To this propose, we define operators between timed finite state machines and activity diagrams. These operators are used to generate an explicit model of coordination that can be executed and verified 1 . This demonstration comes as a support for the paper accepted into the main conference.
Matias Ezequiel Vara Larsen, Julien DeAntoni, Beno
Added 15 Apr 2016
Updated 15 Apr 2016
Type Journal
Year 2015
Where MODELS
Authors Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoît Combemale, Frédéric Mallet
Comments (0)