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

Models have been shown to be useful during virtually all stages of the software lifecycle. They can be reverse engineered from existing artifacts, or created as part of a system’s execution, but in many cases models are created by designers from informal specifications. In the latter case, such design models are typically used as means of communication between designers, and developers. They can also in some cases be validated by simulation over test cases, or even by formal verification. However, most existing model simulation or verification approaches require relatively consistent and complete models, whereas design models often start small, incomplete, and inconsistent. Moreover, few design models actually reach the stage where they can be simulated, and even fewer the stage where they can be formally verified. In order to address this issue, we propose a partial modeling approach that makes it possible to animate incomplete and inconsistent models. This approach makes it possible to incrementally improve testable models, and can also help designers reach the stage where their models can be formally verified. A proof-of-concept tool called AnimUML has been created in order to provide means to evaluate the approach on several examples. They are all executable, and some can even undergo model-checking.

Thu 22 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change

15:00 - 16:15: A5-Behavioural ModelingTechnical Track at Room A
Chair(s): Massimo Tisi
15:00 - 15:20
Synthesis of State Machine ModelsFT
Technical Track
15:20 - 15:40
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
15:40 - 15:55
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 - 16:10
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