Scenario-based Modeling of Dynamic Topology System with ScenarioTools and SMLK


Software-intensive systems become increasingly complex: they control complex processes in the physical
world, may interact with multiple users, and they become more and more interconnected. Especially mobile
systems have a dynamic topology, i.e., components move and thereby change their relationships, roles, and
responsibilities. This makes it very difficult to design such systems, reason about their correctness, and derive
working software from the designs. This talk presents recent progress on scenario-based modeling techniques
which address this problem. Scenario-based modeling allows systems-/software engineers to model the be-
havior of a dynamic topology system as loosely coupled and context-sensitive scenarios that are close to how
humans conceive and communicate behavioral aspects of a system, yet the scenarios are executable and can
be analyzed formally and automatically. We present the new modeling and realizability checking capabilities
within ScenarioTools, and present the new Scenario Modeling Language for Kotlin (SMLK), which allows
us to concisely model executable scenarios in Kotlin. An example will be modeling vehicle-to-x scenarios in
SMLK and executing them in combination with the traffic simulator SUMO.
Prof. Dr. Greenyer ist seit 2013 Juniorprofessor im Fachgebiet Software Engineering an der Leibniz Univer-
sität Hannover. Er beschäftigt sich intensiv mit der Modellierung und Analyse von (LSC-artigen) Szenario-
Spezifikationen. Mit Prof. David Harel vom Weizman Institute of Science hatte er z. B. zusammen ein GIF-
Projekt zum Thema "Scenario-based Specification and Analysis of Structurally Dynamic ReactiveSystems",
in dem beide die Scenario Modeling Language (SML) und das Werkzeug "ScenarioTools" entwickelt haben.
Seine Forschung fokussiert sich auf modellbasierte, automatische und formale Techniken des SE, insbeson-
dere auf intuitive, aber dennoch formale Ansätze für die Spezifikation von software-intensiven, ubiquitären
und cyber-physischen Systemen und die Anwendung von formalen Verifikations- und Synthese-Methoden.
Eingeladen von: Prof. Dr. Werner Damm


07. Juni 2019, 10:15


Prof. Dr. Joel Greenyer, Leibniz Universität Hannover


OFFIS, Escherweg 2, Raum F 02

Webmastercrg (marcqjo.glbgyrazkykkwunderpgb@uol.dq7ue) (Stand: 10.09.2018)