Replaying play in and play out: synthesis of design models from scenarios by learning

  • Authors:

  • Benedikt Bollig;Joost-Pieter Katoen;Carsten Kern;Martin Leucker

  • Affiliations:

  • LSV, CNRS UMR & ENS de Cachan, France;Software Modeling and Verification Group, RWTH Aachen University, Germany;Software Modeling and Verification Group, RWTH Aachen University, Germany;Institut für Informatik, TU München, Germany

  • Venue:
  • TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.