Abstract
The aim of the work is to construct an activity diagram from the execution trace of Java programs to provide better program comprehension through visualisation. The execution trace is obtained during run-time when the Java program is debugged and the Java Interactive Visualisation Environment (JIVE) produces the details corresponding to the execution. The information from the trace is observed to develop an algorithm for the activity diagram construction. The reliance on PlantUML syntax has significantly guided in activity diagram notations used. Several basic programs containing the different constructs in Java are chosen for the analysis of the execution trace, and the events generated for these are studied to develop the algorithm. The execution trace is a collection of various fields which retrieves valuable information regarding the execution. The fields deliver relevant information regarding the control flow of the program and has majorly contributed for the diagram construction. However, the execution trace does not reveal particulars of some of the constructs in Java program and hence constructs have been categorised into two. The available constructs’ execution traces are taken and studied, whereas the unavailable ones are kept aside. The algorithm thus developed is allowed to test with multiple programs to identify its correctness.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Lockhart J, Purdy C, Wilsey P (2014) Formal methods for safety critical system specification. In: Circuits and Systems (MWSCAS), 2014 IEEE 57th International Midwest Symposium on, pp 201–204, https://doi.org/10.1109/MWSCAS.2014.6908387
Wolff S (2012) Scrum goes formal: Agile methods for safety-critical systems. In: Software Engineering: Rigorous and Agile Approaches (FormSERA), 2012 Formal Methods in, pp 23–29
Xu D, Miao H, Philbert N (2009) Model checking uml activity diagrams in fdr. In: Computer and Information Science, 2009. ICIS 2009. Eighth IEEE/ACIS International Conference on, pp 1035–1040
Strrle H (2005) Semantics and verification of data flow in uml 2.0 activities. Elsevier Science Publishers B. V. Amsterdam, vol 127, pp 35–52
Eshuis R, Wieringa R (2004) Tool support for verifying uml activity diagrams. vol 30, pp 437–447
Korshunova E, Petkovic M, Van Den Brand M, Mousavi MR (2006) Cpp2xmi: reverse engineering of uml class, sequence, and activity diagrams from c++ source code. In: Reverse Engineering, 2006. WCRE’06. 13th Working Conference on, IEEE, pp 297–298
Angyal L, Lengyel L, Charaf H (2006) An overview of the state-of-the-art reverse engineering techniques. In: Proceedings of the 7th International Symposium of Hungarian Researchers on Computational Intelligence, pp 507–516
Jayaraman S, Kamath K, Jaysaraman B (2014) Towards program execution summarization: Deriving state diagrams from sequence diagrams. In: Contemporary Computing (IC3), 2014 Seventh International Conference on, pp 299–305
Gestwicki P, Jayaraman B (2005) Methodology and architecture of jive. In: Proceedings of the 2005 ACM Symposium on Software Visualization, ACM, New York, NY, USA, SoftVis ’05, pp 95–104, https://doi.org/10.1145/1056018.1056032
Jayaraman S, Jayaraman B, Lessa D (2017) Compact visualization of java program execution. vol 47, pp 163–191, https://doi.org/10.1002/spe.2411
Lessa D, Jayaraman B, Czyz JK (2010) Scalable visualizations and query-based debugging. Tech. rep., Technical report, Department of Computer Science and Engineering, University at Buffalo
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Devi Sree, R., Swaminathan, J. (2018). Construction of Activity Diagrams from Java Execution Traces. In: Perez, G., Tiwari, S., Trivedi, M., Mishra, K. (eds) Ambient Communications and Computer Systems. Advances in Intelligent Systems and Computing, vol 696. Springer, Singapore. https://doi.org/10.1007/978-981-10-7386-1_54
Download citation
DOI: https://doi.org/10.1007/978-981-10-7386-1_54
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-7385-4
Online ISBN: 978-981-10-7386-1
eBook Packages: EngineeringEngineering (R0)