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
REVERSE ENGINEERING AND SIMULATION OF ACTIVE OBJECTS BEHAVIOR 243 [9] J. Whittle, J. Schumann, ”Generating Statechart Designs from Scenarios”, International Conference on Software Engineering, Proceedings of the 22nd international conference on Software engineering, Ireland, pp 314 - 323, 2000 [10] T. Ziadi, L. Helouet, J.M. Jezequel, ”Revisiting Statechart Synthesis with an Algebraic Approach”,International Conference on Software Engineering, Proceedings of the 26th International Conference on Software Engineering, pp 242 - 251, 2004 (1) Department of Computer Science, “Babes¸-Bolyai” University, 1 M. Kogălniceanu St., RO-3400 Cluj-Napoca, Romania E-mail address: tzutzu@cs.ubbcluj.ro