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.