Article

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

Authors:

Atanas Rountev,

Miriam ReddochAuthors Info & Claims

PASTE '05: Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Pages 96 - 102

https://doi.org/10.1145/1108792.1108816

Published: 05 September 2005 Publication History

Abstract

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 general flow of control. The paper describes an algorithm for mapping a reducible exception-free 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.

References

[1]

R. Binder. Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley, 1999.

Digital Library

[2]

L. Briand, Y. Labiche, and Y. Miao. Towards the reverse engineering of UML sequence diagrams. In Working Conference on Reverse Engineering, pages 57--66, 2003.

Digital Library

[3]

R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451--490, Oct. 1991.

Digital Library

[4]

W. DePauw, E. Jensen, N. Mitchell, G. Sevitsky, J. Vlissides, and J. Yang. Visualizing the execution of Java programs. In Software Visualization, LNCS 2269, pages 151--162, 2002.

Digital Library

[5]

R. Kollman and M. Gogolla. Capturing dynamic program behavior with UML collaboration diagrams. In European Conference on Software Maintenance and Reengineering, pages 58--67, 2001.

Digital Library

[6]

C. Larman. Applying UML and Patterns. Prentice Hall, 2nd edition, 2002.

[7]

J. Miecznikowski and L. Hendren. Decompiling Java using staged encapsulation. In Working Conference on Reverse Engineering, pages 368--374, 2001.

Digital Library

[8]

R. Oechsle and T. Schmitt. JAVAVIS: Automatic program visualization with object and sequence diagrams using the Java Debug Interface (JDI). In Software Visualization, LNCS 2269, pages 176--190, 2002.

Digital Library

[9]

OMG. UML 2.0 Infrastructure Specification. Object Management Group, www.omg.org, Sept. 2003.

[10]

T. Richner and S. Ducasse. Using dynamic information for the iterative recovery of collaborations and roles. In International Conference on Software Maintenance, pages 34--43, 2002.

Digital Library

[11]

A. Rountev and B. H. Connell. Object naming analysis for reverse-engineered sequence diagrams. In International Conference on Software Engineering, pages 254--263, 2005.

Digital Library

[12]

A. Rountev, S. Kagan, and M. Gibas. Static and dynamic analysis of call chains in Java. In International Symposium on Software Testing and Analysis, pages 1--11, July 2004.

Digital Library

[13]

A. Rountev, S. Kagan, and J. Sawin. Coverage criteria for testing of object interactions in sequence diagrams. In Fundamental Approaches to Software Engineering, LNCS 3442, pages 282--297, 2005.

Digital Library

[14]

A. Rountev, O. Volgin, and M. Reddoch. Control flow analysis for reverse engineering of sequence diagrams. Technical Report OSU-CISRC-3/04-TR12, Ohio State University, Mar. 2004.

[15]

R. Sharp and A. Rountev. Interactive exploration of UML sequence diagrams. In IEEE Workshop on Visualizing Software for Understanding and Analysis, 2005.

Digital Library

[16]

S. Sinha and M. J. Harrold. Analysis and testing of programs with exception handling constructs. IEEE Transactions on Software Engineering, 26(9):849--871, Sept. 2000.

Digital Library

[17]

T. Systä, K. Koskimies, and H. Muller. Shimba---an environment for reverse engineering Java software systems. Software-Practice and Experience, 31(4):371--394, Apr. 2001.

Digital Library

[18]

P. Tonella and A. Potrich. Reverse engineering of the interaction diagrams from C++ code. In International Conference on Software Maintenance, pages 159--168, 2003.

Digital Library

[19]

O. Volgin. Control flow analysis for reverse engineering of sequence diagrams. Master's thesis, Ohio State University, June 2004.

Cited By

Alvin CPeterson BMukhopadhyay S(2017)StaticGenProceedings of the 20th International Conference on Fundamental Approaches to Software Engineering - Volume 1020210.1007/978-3-662-54494-5_10(173-190)Online publication date: 22-Apr-2017
https://dl.acm.org/doi/10.1007/978-3-662-54494-5_10
Rástočný KMlynčár A(2017)Automated Change Propagation from Source Code to Sequence DiagramsSOFSEM 2018: Theory and Practice of Computer Science10.1007/978-3-319-73117-9_12(168-179)Online publication date: 22-Dec-2017
https://doi.org/10.1007/978-3-319-73117-9_12
Fauzi EHendradjaya BSunindyo W(2016)Reverse engineering of source code to sequence diagram using abstract syntax tree2016 International Conference on Data and Software Engineering (ICoDSE)10.1109/ICODSE.2016.7936137(1-6)Online publication date: Oct-2016
https://doi.org/10.1109/ICODSE.2016.7936137
Show More Cited By

Index Terms

Recommendations

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

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 ...
Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software

This paper proposes a methodology and instrumentation infrastructure toward the reverse engineering of UML (Unified Modeling Language) sequence diagrams from dynamic analysis. One motivation is, of course, to help people understand the behavior of ...
Object naming analysis for reverse-engineered sequence diagrams
ICSE '05: Proceedings of the 27th international conference on Software engineering

UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing code for the purposes of software understanding and testing. A static ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

PASTE '05: Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

September 2005

118 pages

ISBN:1595932399

DOI:10.1145/1108792

Editors:
Michael Ernst
MIT
,
Thomas Jensen
CNRS

ACM SIGSOFT Software Engineering Notes Volume 31, Issue 1
January 2006
203 pages
ISSN:0163-5948
DOI:10.1145/1108768
Issue’s Table of Contents

Copyright © 2005 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 September 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

PASTE05

Sponsor:

PASTE05: PASTE '05 - ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

September 5 - 6, 2005

Lisbon, Portugal

Acceptance Rates

Overall Acceptance Rate 57 of 159 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

35
Total Citations
View Citations
1,249
Total Downloads

Downloads (Last 12 months)11
Downloads (Last 6 weeks)3

Reflects downloads up to 27 Jul 2024

Other Metrics

View Author Metrics

Citations

Cited By

Alvin CPeterson BMukhopadhyay S(2017)StaticGenProceedings of the 20th International Conference on Fundamental Approaches to Software Engineering - Volume 1020210.1007/978-3-662-54494-5_10(173-190)Online publication date: 22-Apr-2017
https://dl.acm.org/doi/10.1007/978-3-662-54494-5_10
Rástočný KMlynčár A(2017)Automated Change Propagation from Source Code to Sequence DiagramsSOFSEM 2018: Theory and Practice of Computer Science10.1007/978-3-319-73117-9_12(168-179)Online publication date: 22-Dec-2017
https://doi.org/10.1007/978-3-319-73117-9_12
Fauzi EHendradjaya BSunindyo W(2016)Reverse engineering of source code to sequence diagram using abstract syntax tree2016 International Conference on Data and Software Engineering (ICoDSE)10.1109/ICODSE.2016.7936137(1-6)Online publication date: Oct-2016
https://doi.org/10.1109/ICODSE.2016.7936137
Yu YLin YHu ZHidaka SKato HMontrieux LGlinz MMurphy GPezzè M(2012)Maintaining invariant traceability through bidirectional transformationsProceedings of the 34th International Conference on Software Engineering10.5555/2337223.2337287(540-550)Online publication date: 2-Jun-2012
https://dl.acm.org/doi/10.5555/2337223.2337287
Yu YLin YHu ZHidaka SKato HMontrieux L(2012)Maintaining invariant traceability through bidirectional transformations2012 34th International Conference on Software Engineering (ICSE)10.1109/ICSE.2012.6227162(540-550)Online publication date: Jun-2012
https://doi.org/10.1109/ICSE.2012.6227162
Roubtsov SSerebrenik AMazoyer ABrand M(2011)I2SDProceedings of the 2011 IEEE 11th International Working Conference on Source Code Analysis and Manipulation10.1109/SCAM.2011.5(155-164)Online publication date: 25-Sep-2011
https://dl.acm.org/doi/10.1109/SCAM.2011.5
Koskinen JKettunen MSystä T(2010)Behavioral profiles—a way to model and validate program behaviorSoftware—Practice & Experience10.5555/1840756.184076240:8(701-733)Online publication date: 1-Jul-2010
https://dl.acm.org/doi/10.5555/1840756.1840762
Grati HSahraoui HPoulin P(2010)Extracting Sequence Diagrams from Execution Traces Using Interactive VisualizationProceedings of the 2010 17th Working Conference on Reverse Engineering10.1109/WCRE.2010.18(87-96)Online publication date: 13-Oct-2010
https://dl.acm.org/doi/10.1109/WCRE.2010.18
Nguyen DLuu CTruong ARadics N(2010)Verifying Implementation of UML Sequence Diagrams Using Java PathFinderProceedings of the 2010 Second International Conference on Knowledge and Systems Engineering10.1109/KSE.2010.29(194-200)Online publication date: 7-Oct-2010
https://dl.acm.org/doi/10.1109/KSE.2010.29
Choi YJang H(2010)Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded SoftwareProceedings of the 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering10.1109/HASE.2010.20(122-131)Online publication date: 3-Nov-2010
https://dl.acm.org/doi/10.1109/HASE.2010.20
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents