At the beginning of April 2013, I moved to Hannover, Germany, where I am now assistant professor (Juniorprofessor) at the Leibniz Universität Hannover. I’m only now finding time to update my website, since I was busy with moving and teaching my new course Design and Analysis of Distributed, Interacting Systems.
Author Archives: jgreen
Article accepted for publication in the Requirements Engineering Journal
Out Paper Features meet Scenarios: Modeling and Consistency Checking Scenario-Based Product-Line Specifications was accepted for publication in the Requirements Engineering Journal.
Paper accepted at SEAMS 2013
Our paper Formalizing Correctness Criteria of Dynamic Updates Derived from Specification Changes was accepted at the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013).
Paper accepted at the BX 2013 workshop
Our paper A Survery of Triple Graph Grammar Tools was accepted at the Workshop on Bidirectional Transformations (BX 2013). The paper compares three Triple Graph Grammar tools, among others our TGG-Interpreter.
Paper accepted at the GT-VMT 2013 workshop
Our paper The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions was accepted at the 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2013). The paper introduces our extended play-out algorithm, which is implemented in ScenarioTools and also supports scenario-based environment assumption.
Best Research Paper of RE’12
Our paper “Efficient Consistency Checking of Scenario-based Product Line Specifications” was awarded to be the best research paper of the 20th IEEE International Requirements Engineering Conference 2012.
Paper accepted at the 20th International Requirements Engineering Conference (RE’12)
Our paper Efficient Consistency Checking of Scenario-based Product-Line Specifications, that I’ve been working on with Maxime Cordy, Patrick Heymans and Amir Sharifloo has been accepted at RE 2012!
The paper proposes a technique for specifying product lines with Modal Sequence Diagrams that can then be checked for consistency using specific model-checking techniques. See more in a recent post on the MSD-to-SMV tool.
Paper accepted at the 4th International workshop on Behaviour Modelling – Foundations and Applications
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.
Easy installation package of the MSD-to-SMV for Product Lines Tool for MAC users available
There is now an easy installation package of the MSD-to-SMV for Product Lines Tool for MAC users available here. The archive file contains an eclipse and patched NuSMV version readily set-up as explained in the tool’s installation section.
MSD-to-SMV for product lines
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.