Static control-flow analysis for reverse engineering of UML sequence diagrams

Atanas Rountev, Olga Volgin, Miriam Reddoch
2005 The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05  
UML sequence diagrams are commonly used to represent the interactions among collaborating objects. Reverse-engineered sequence diagrams are constructed from existing code, and have a variety of uses in software development, maintenance, and testing. In static analysis for such reverse engineering, an open question is how to represent the intraprocedural flow of control from the code using the control-flow primitives of UML 2.0. We propose simple UML extensions that are necessary to capture
more » ... al flow of control. The paper describes an algorithm for mapping a reducible exceptionfree intraprocedural control-flow graph to UML, using the proposed extensions. We also investigate the inherent tradeoffs of different problem solutions, and discuss their implications for reverse-engineering tools. This work is a substantial step towards providing high-quality tool support for effective and efficient reverse engineering of UML sequence diagrams.
doi:10.1145/1108792.1108816 dblp:conf/paste/RountevVR05 fatcat:5bzqj6qamjg7xhzttie7vk5m5e