Analyzing software process models with AVISPA
Proceedings of the 2011 International Conference on Software and Systems Process
Talents: dynamically composable units of reuse
Proceedings of the International Workshop on Smalltalk Technologies
Agile software assessment with Moose
ACM SIGSOFT Software Engineering Notes
System-specific static code analyses: a case study in the complex embedded systems domain
Software Quality Control
Hi-index | 0.00 |
Java Enterprise Applications (JEAs) are large systems that integrate multiple technologies and programming languages. Transactions in JEAs simplify the development of code that deals with failure recovery and multi-user coordination by guaranteeing atomicity of sets of operations. The heterogeneous nature of JEAs, however, can obfuscate conceptual errors in the application code, and in particular can hide incorrect declarations of transaction scope. In this paper we present a technique to expose and analyze the application transaction scope in JEAs by merging and analyzing information from multiple sources. We also present several novel visualizations that aid in the analysis of transaction scope by highlighting anomalies in the specification of transactions and violations of architectural constraints. We have validated our approach on two versions of a large commercial case study.