Minimally adequate teacher synthesizes statechart diagrams

被引：5
|
作者：
Mäkinen, E
Systä, T
机构：
[1] Tampere Univ, Dept Comp & Informat Sci, Tampere 33014, Finland
[2] Tampere Univ Technol, Software Syst Lab, FIN-33101 Tampere, Finland
来源：
ACTA INFORMATICA | 2002年 / 38卷 / 04期
关键词：
D O I：
10.1007/s236-002-8033-8
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：235 / 259
页数：25
相关论文
共 50 条
  • [1] Minimally adequate teacher synthesizes statechart diagrams
    Erkki Mäkinen
    Tarja Systä
    Acta Informatica, 2002, 38 : 235 - 259
  • [2] An Evaluation of the Statechart Diagrams Visual Syntax
    Anwer, Sajid
    El-Attar, Mohamed
    2014 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND APPLICATIONS (ICISA), 2014,
  • [3] Use of Statechart Diagrams for Modeling of Hypertext
    E. A. Gorshkova
    B. A. Novikov
    Programming and Computer Software, 2004, 30 : 47 - 51
  • [4] Formalization of UML statechart diagrams in the π-calculus
    Lam, VSW
    Padget, J
    2001 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 213 - 223
  • [5] Use of statechart diagrams for modeling of hypertext
    Gorshkova, EA
    Novikov, BA
    PROGRAMMING AND COMPUTER SOFTWARE, 2004, 30 (01) : 47 - 51
  • [6] Consistency checking of sequence diagrams and statechart diagrams using the π-calculus
    Lam, VSW
    Padget, J
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2005, 3771 : 347 - 365
  • [7] An Integrated Environment for Communicating UML Statechart Diagrams
    Lam, Vitus S. W.
    Padget, Julian
    3RD ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, 2005, 2005,
  • [8] Consistency checking of statechart diagrams of a class hierarchy
    Lam, VSW
    Padget, J
    ECOOP 2005 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2005, 3586 : 412 - 427
  • [9] Empirical validation of metrics for UML statechart diagrams
    Miranda, D
    Genero, M
    Piattini, M
    ENTERPRISE INFORMATION SYSTEMS V, 2004, : 101 - 108
  • [10] From a B specification to UML StateChart diagrams
    Hammad, A
    Tatibouët, B
    Voisinet, JC
    Wu, WP
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 511 - 522
12345