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

The Unified Modeling Language (UML) has an indisputable role in objectoriented 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 d...

Teljes leírás

Elmentve itt :
Bibliográfiai részletek
Szerzők: Koskinen Johannes
Mäkinen Erkki
Systä Tarja
Testületi szerző: Finno-Ugoric Symposium on Programming Languages and Software Tools (7.) (2001) (Szeged)
Dokumentumtípus: Cikk
Megjelent: 2002
Sorozat:Acta cybernetica 15 No. 4
Kulcsszavak:Számítástechnika, Kibernetika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12695
LEADER 02003nab a2200253 i 4500
001 acta12695
005 20220614141839.0
008 161015s2002 hu o 0|| eng d
022 |a 0324-721X 
040 |a SZTE Egyetemi Kiadványok Repozitórium  |b hun 
041 |a eng 
100 1 |a Koskinen Johannes 
245 1 0 |a Implemeting a component-based tool for interactive synthesis of UML statechart diagrams  |h [elektronikus dokumentum] /  |c  Koskinen Johannes 
260 |c 2002 
300 |a 547-565 
490 0 |a Acta cybernetica  |v 15 No. 4 
520 3 |a The Unified Modeling Language (UML) has an indisputable role in objectoriented 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. 
650 4 |a Természettudományok 
650 4 |a Számítás- és információtudomány 
695 |a Számítástechnika, Kibernetika 
700 0 1 |a Mäkinen Erkki  |e aut 
700 0 1 |a Systä Tarja  |e aut 
710 |a Finno-Ugoric Symposium on Programming Languages and Software Tools (7.) (2001) (Szeged) 
856 4 0 |u http://acta.bibl.u-szeged.hu/12695/1/cybernetica_015_numb_004_547-565.pdf  |z Dokumentum-elérés