Skip to main content
Springer Nature Link
Log in

Minimally adequate teacher synthesizes statechart diagrams

  • Published:
Acta Informatica Aims and scope Submit manuscript

Abstract.

We consider the problem of synthesizing UML statechart diagrams from sequence diagrams as a language inference problem, and we solve it in Angluin's framework of minimally adequate teacher. The designer has the role of the teacher who answers membership and equivalence queries made by the algorithm. It turns out that there are several natural methods to decrease the number of membership queries needed, and thus, to make the algorithm practically applicable.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

  1. Department of Computer and Information Sciences, University of Tampere, P.O. Box 607, 33014 Tampere, Finland (e-mail: em@cs.uta.fi), , , , , , FI

    Erkki Mäkinen

  2. Software Systems Laboratory, Tampere University of Technology, P.O. Box 553, 33101 Tampere, Finland (e-mail: tsysta@cs.tut.fi), , , , , , FI

    Tarja Systä

Authors
  1. Erkki Mäkinen
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Tarja Systä
    View author publications

    You can also search for this author inPubMed Google Scholar

Additional information

Received: 8 May 2000 / 23 October 2001

Rights and permissions

Reprints and permissions

About this article

Cite this article

Mäkinen, E., Systä, T. Minimally adequate teacher synthesizes statechart diagrams. Acta Informatica 38, 235–259 (2002). https://doi.org/10.1007/s236-002-8033-8

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s236-002-8033-8

Keywords