Our talk on “Scenarios@run.time – Modeling, Analyzing, and Executing Specifications of Distributed Systems” was accepted at EclipseCon Europe 2015.
We will be talking about our new upcoming release of ScenarioTools (http://scenariotools.org) and how we run it on distributed MQTT-connected RaspberryPi robots.
Photo of Car-to-X application example realized with RaspberryPi-based robots
The paper Consistency Checking Scenario-Based Specifications of Dynamic Systems by Combining Simulation and Synthesis, written by Jens Frieben and me, was accepted at the 4th International workshop on Behaviour Modelling – Foundations and Applications (BM-FA 2012). It will take place on July 3rd, as part of the ECMFA 2012 in Copenhagen.
The paper describes an approach for improving the play-out of LSC/MSD specifications for dynamic systems by combining the play-out of the specification with execution strategies that could be successfully synthesized from parts of the specification. This symbiosis of play-out and synthesis helps play-out avoid more avoidable violations, similar to smart play-out, but it is also applicable in a setting where symbolic lifelines bind in different ways to objects in a dynamic object system.
A preliminary version of the paper can be found here.
Modern technical systems today typically consist of multiple interacting components and very often not only a single product, but a whole product line with different compositions of components and functions must be developed. In joint work with Maxime Cordy and Patrick Heymans (Facultés Universitaires Notre-Dame de la Paix, Namur), Amir Sharifloo and I have developed a new tool for modeling and consistency checking scenario-based product line specifications.
The idea of this tool is that a requirements engineer can first define, by using a feature diagram, that different the variants of a product to consist of different compositions of features. A feature is a set of components and functions to be present in a system. Then, the components and the interactions of these components can be specified for each feature. We propose the interactions to be modeled with Modal Sequence Diagrams (MSDs), a recent variant of Live Sequence Charts (LSCs). Then, we can map a feature diagram and the MSD interaction specifications to a feature transition system encoded in SMV. By using an extension of the NuSMV model checker, we are then able to efficiently check the consistency of the scenario-based product line specification.
Find more information in the Tools section.
The paper Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata, written in collaboration with Jan Rieke, was accepted for publication.
We presented the paper already last October at the AGTIVE Symposium. The paper describes a number of extension that we have implemented into the TGG Interpreter in the last years in order to apply the tool to a broader range of practically relevant transformation problems. A draft version of the paper can be found here.
The paper Synthesizing Dynamically Updating Controllers from Changes in Scenario-based Specifications, written in collaboration with Carlo Ghezzi and Valerio Panzica La Manna, was accepted at the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012).