Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning

This paper is concerned with bridging the gap between requirements, provided as a set of scenarios, and conforming design models. The novel aspect of our approach is to exploit learning for the synthesis of design models. In particular, we present a procedure that infers a message-passing automaton (MPA) from a given set of positive and negative scenarios of the system’s behavior provided as message sequence charts (MSCs). The paper investigates which classes of regular MSC languages and corresponding MPA can (not) be learned, and presents a dedicated tool based on the learning library LearnLib that supports our approach.

• Type: Conference
• Year: 2007
• Where: TACAS
• Authors: Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
• Keywords: Algorithms, Design Models, Message Sequence Charts, Regular Msc Languages, TACAS 2007