Implementing a component-based tool for interactive synthesis of UML statechart diagrams

Authors:
Johannes Koskinen;Erkki Mäkinen;Tarja Systä
Affiliations:
Software Systems Laboratory, Tampere University of Technology, P.O. Box 553, FIN-33101 Tampere, Finland;Department of Computer and Information Sciences, P.O. Box 607., FIN-33014 University of Tampere, Finland;Software Systems Laboratory, Tampere University of Technology, P.O. Box 553, FIN-33101 Tampere, Finland
Venue:
Acta Cybernetica
Year:
2002

Citing 10
Cited 1

Learning regular sets from queries and counterexamples

Information and Computation
Making data structures persistent

Journal of Computer and System Sciences - 18th Annual ACM Symposium on Theory of Computing (STOC), May 28-30, 1986
Inference of finite automata using homing sequences

Information and Computation
Learning deterministic finite automata from smallest counterexamples

Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms
From MSCs to statecharts

DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
Generating statechart designs from scenarios

Proceedings of the 22nd international conference on Software engineering
MAS — an interactive synthesizer to support behavioral modelling in UML

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Automated Support for Modeling OO Software

IEEE Software
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications

ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
How to Make Apples from Oranges in UML

HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 3 - Volume 3

Synthesizing hierarchical state machines from expressive scenario descriptions

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Unified Modeling Language (UML) has an indisputable role in object-oriented software development. It provides several diagram types viewing a system from different perspectives. Currently available systems have relatively modest tool support for comparing, merging, synthesizing, and slicing UML diagrams based on their semantical relationships. Minimally Adequate Synthesizer (MAS) is a tool that synthesizes UML statechart diagrams from sequence diagrams in an interactive manner. It follows Angluin's framework of minimally adequate teacher to infer the desired statechart diagram with the help of membership and equivalence queries. MAS can also synthesize sequence diagrams into an edited or manually constructed statechart diagram. In this paper we discuss problems related to a practical implementation of MAS and its integration with two existing tools (Nokia TED and Rational Rose) supporting UML-based modeling. We also discuss information exchange techniques that could be used to allow the usage of other CASE tools supporting UML.