CONTENTS

242 DAN MIRCEA SUCIU (1)
This observation leads us to the idea that merging several FSMs we can obtain a
more complete view of the behavior of a particular class of objects.
4. Related work
There are papers that refer to automated generation of statecharts based on scenarios
description and their sequence diagram [1], [8], [9], [10]. In [7] the sequence
diagrams are extracted from event trace information, generated as a result of running
the target software under a debugger. Sometimes, the sequence diagrams are generated
from source code, using code instrumentation [6]. Code instrumentation for
generating statecharts is also used in [2]. Here the instrumentation is more complex
and requires a good understanding of the analyzed source code.
5. Future work and conclusions
Future work consists in continuing the extension of ActiveCASE tool to support
steps 4 and 5 of the statechart generator module. Besides it, the automatization of
the previous steps of the process, mainly the source code instrumentation task, could
improve the usability of the simulation component.
References
[1] H. Chu, Q. Li, S. Hu, P. Chen, ”An Approach for Reversely Generating Hierarchical UML
Statechart Diagrams”, Lecture Notes in Computer Science : Fuzzy Systems and Knowledge
Discovery, pp. 434-437, 2006
[2] A. Gupta, ”Automated Object’s Statechart Generation and Testing from Class-Method Contracts”,
In 3rd IntlWorkshop on Model Development, Validation, and Verification (MoDeV2a-
06) co-located with 9th ACM/IEEE International Conference on Model Driven Engineering
Languages and Systems, pp 30-45, Genova, Italy, 2006.
[3] D. Harel, ”Statecharts: A Visual Formalism for Complex Systems”, Science of Computer Programming,
vol.8, no. 3, pp. 231-274, June 1987
[4] D. M. Suciu, ”Using Scalable Statecharts for Active Objects Internal Concurrency Modeling”,
Studia Universitatis ”Babes-Bolyai” Cluj-Napoca, Series Informatica, Vol. XLV, Nr. 2, 2000,
pp. 67-76
[5] D. M. Suciu, ”ActiveCASE - Tool for Design and Simulation of Concurrent Object-Oriented
Applications”, Studia Universitatis ”Babes-Bolyai”, Series Informatica, Vol. XLVI, Nr. 2, pp.
73-80, 2001
[6] T. Syst, K. Koskimies, ”Extracting State Diagrams from Legacy Systems”, Lecture Notes In
Computer Science; Vol. 1357, Proceedings of the Workshops on Object-Oriented Technology,
pp 262-273, 1997
[7] T. Systa, ”Dynamic reverse engineering of Java software”, Proceedings of the Workshop on
Object-Oriented Technology, Lecture Notes In Computer Science Vol. 1743, pp 174 - 175, 1999
[8] S. Vasilache, J. Tanaka ”Synthesis of State Machines from Multiple Interrelated Scenarios Using
Dependency Diagrams”, 2004