A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams

Tewfik Ziadi (1) , Marcos Aurélio Almeida da Silva (1) , Lom Messan Hillah (2, 1) , Mikal Ziane (3, 1)

1 MoVe - Modélisation et Vérification
2 Université Paris Nanterre - Département de Mathématiques et Informatique
3 IUT - Paris Descartes - Institut Universitaire de Technologie Paris Descartes

The reverse engineering of behavioral models consists in extracting high-level models that help understand the behavior of existing software systems. In the context of reverse engineering of sequence diagrams, most approaches strongly depend on the static analysis and instrumentation of the source code to produce correct diagrams that take into account control flow structures such as alternative blocks ("if"s) and repeated blocks ("loop"s). This approach is not possible with systems for which no source code is available anymore (e.g. some legacy systems). In this paper, we propose an approach for the reverse engineering of sequence diagrams from the analysis of execution traces produced dynamically by an object-oriented application. Our approach is fully based on dynamic analysis and reuses the k-tail merging algorithm to produce a Labeled Transition System (LTS) that merges the collected traces. This LTS is then translated into a sequence diagram which contains alternatives and loops. A prototype of this approach has been tested with a real world application that has been developed independently from the present work. Our results show that this approach can produce sequence diagrams in reasonable time and suggest that these diagrams are helpful in understanding the behavior of the underlying application.

Domaines: Ingénierie assistée par ordinateur

Tewfik Ziadi, Marcos Aurélio Almeida da Silva, Lom Messan Hillah, Mikal Ziane. A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams. 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, Apr 2011, Las Vegas, United States. pp.107 - 116, ⟨10.1109/ICECCS.2011.18⟩. ⟨hal-00626831⟩