Write a Blog >>
MODELS 2020
Fri 16 - Fri 23 October 2020
Thu 22 Oct 2020 15:55 - 16:10 at Room A - A5-Behavioural Modeling Chair(s): Massimo Tisi

The increasing complexity of reactive systems can be mitigated with the use of components and composition languages in model-driven engineering. Designing composition languages is a challenge itself as both practical applicability (support for different composition approaches in various application domains), and precise formal semantics (support for verification and code generation) have to be taken into account. In our Gamma Statechart Composition Framework, we designed and implemented a composition language for the synchronous, cascade synchronous, and asynchronous composition of statechart-based reactive components. We formalized the semantics of this composition language that provides the basis for generating composition-related Java source code as well as mapping the composite system to a back-end model checker for formal verification and model-based test case generation. In this paper, we present the composition language with its formal semantics, putting special emphasis on design decisions related to the language and their effects on verifiability and applicability. Furthermore, we demonstrate the design and verification functionality of the composition framework by presenting case studies from the cyber-physical system domain.

Conference Day
Thu 22 Oct

Displayed time zone: Eastern Time (US & Canada) change

15:00 - 16:15
A5-Behavioural ModelingTechnical Track at Room A
Chair(s): Massimo Tisi
15:00
20m
Full-paper
Synthesis of State Machine ModelsFT
Technical Track
Pre-print
15:20
20m
Full-paper
Efficient Reordering and Replay of Execution Traces of Distributed Reactive Systems in the Context of Model-driven DevelopmentFT
Technical Track
Majid BabaeiQueen's University, Mojtaba Bagherzadeh, Juergen DingelQueen's University, Kingston, Ontario
Pre-print
15:40
15m
Short-paper
Designing, Animating, and Verifying Partial UML ModelsNIV
Technical Track
Frédéric Jouault ERIS Team, ESEO , France, Valentin Besnard, Théo Le CalvarUniversity of Angers, Ciprian TeodorovENSTA Bretagne, Matthias Brun, Jérôme Delatour
Link to publication DOI Authorizer link Media Attached
15:55
15m
Talk
Mixed-semantics composition of statecharts for the component-based design of reactive systemsJ1st
Technical Track
Bence GraicsBudapest University of Technology and Economics, Vince MolnárBudapest University of Technology and Economics, András VörösBudapest University of Technology and Economics, Istvan MajzikBudapest University of Technology and Economics, Daniel VarroMcGill University / Budapest University of Technology and Economics
Link to publication DOI