Learning Communicating Automata from MSCs

doi:10.1109/TSE.2009.89

Learning Communicating Automata from MSCs

2010-05-01

13

PRE

AI

DOI：10.1109/TSE.2009.89

Original

Original request for help

Save

Abstract

En 中文

This paper is concerned with bridging the gap between requirements and distributed systems. Requirements are defined as basic message sequence charts (MSCs) specifying positive and negative scenarios. Communicating finite-state machines (CFMs), i.e., finite automata that communicate via FIFO buffers, act as system realizations. The key contribution is a generalization of Angluin's learning algorithm for synthesizing CFMs from MSCs. This approach is exact - the resulting CFM precisely accepts the set of positive scenarios and rejects all negative ones - and yields fully asynchronous implementations. The paper investigates for which classes of MSC languages CFMs can be learned, presents an optimization technique for learning partial orders, and provides substantial empirical evidence indicating the practical feasibility of the approach.

Keywords:

Software engineering/requirements/specifications/elicitation methods

software engineering/design/design concepts

computing methodologies/artificial intelligence/learning/induction

theory of computation/computation by abstract devices/models of computation/automata

Learning Communicating Automata from MSCs

Abstract

Journal

Organization