tr-announce October 2006

tr-announce@lists.rwth-aachen.de

1 participants
1 discussions

2006-12: Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning

by Peter Schneider-Kamp

The following technical report is available from http://aib.informatik.rwth-aachen.de: Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker AIB 2006-12 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 MPAs can (not) be learned, and presents a dedicated tool based on the learning library LearnLib that supports our approach.

17 years, 11 months

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

tr-announce October 2006