Matias Vara Larsen

Learn More
Systems are getting more and more complex and usually involve many stakeholders. Stakeholders are concerned by different aspects of the system, potentially supported by multiple Domain Specific Modeling Languages (DSMLs). The DSMLs are usually different not only in their syntax but also in their behavioral semantics. In order to provide simulation and/or(More)
Current metamodeling techniques can be used to specify the syntax and semantics of domain specific modeling languages (DSMLs). Still, there is little support for explicitly specifying concurrency semantics of DSMLs. Often, such semantics are provided by the implicit concurrency model of the execution environment supported by the language workbench used to(More)
The design of complex systems involves various, possibly heterogeneous, structural and behavioral models. In modeldriven engineering, the coordination of behavioral models to produce a single integrated model is necessary to provide support for validation and verification. Indeed, it allows system designers to understand and validate the global and emerging(More)
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(More)
  • 1