Abstract
The decay of software architecture - the divergent evolution of architecture models and the derived code - is one of the reasons for a decreasing maintainability of software systems. Several approaches for architecture-to-code consistency checking exist that stop the decay by detecting a divergence after evolution steps of either the architecture or the corresponding code. Known approaches have two main insufficiencies. First, the effort to derive and maintain the consistency checks is higher than necessary or they cannot be applied a posteriori. Second, they are not well integrated into UML-based model driven engineering. In the paper we present ReflexML: A UML-embedded mapping of architecture models to code plus a rich set of predefined consistency checks based on that mapping. The mapping is described with a UML profile that allows to attach AOP type patterns to an UML component model to define its reflexion on code elements. This abolishes the two insufficiencies of current approaches. We apply ReflexML to an industry project to demonstrate its effectiveness and its capability of a seamless integration into a pre-existing UML architecture model.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Avgustinov, P., Hajiyev, E., Ongkingco, N., de Moor, O., Sereni, D., Tibble, J., Verbaere, M.: Semantics of static pointcuts in AspectJ. SIGPLAN Not. 42(1), 11–23 (2007)
Biehl, M., Löwe, W.: Automated architecture consistency checking for model driven software development. In: Mirandola, R., Gorton, I., Hofmeister, C. (eds.) QoSA 2009. LNCS, vol. 5581, pp. 36–51. Springer, Heidelberg (2009)
Bischofberger, W., Kühl, J., Löffler, S.: Sotograph - A pragmatic approach to source code architecture conformance checking. In: Oquendo, F., Warboys, B.C., Morrison, R. (eds.) EWSA 2004. LNCS, vol. 3047, pp. 1–9. Springer, Heidelberg (2004)
Dashofy, E.M., Van der Hoek, A., Taylor, R.N.: A highly-extensible, XML-based architecture description language. In: WICSA 2001: Proc. of the Conf. on Softw. Architecture (Amsterdam), pp. 103–112 (2001)
Feiler, P., Lewis, B., Vestal, S., Colbert, E.: An overview of the SAE architecture analysis and design language (AADL) standard. In: Architecture Description Languages. IFIP Int. Fed. for Inf. Proc., vol. 176, pp. 3–15 (2005)
Groher, I., Voelter, M.: XWeave: models and aspects in concert. In: AOM 2007: Proc. Intl. Work. Aspect-Oriented Modeling, Vancouver, pp. 35–40 (2007)
Knodel, J., Popescu, D.: A comparison of static architecture compliance checking approaches. In: WICSA 2007: Proc. Conf. Softw. Architecture, Mumbai, pp. 12–21 (2007)
Koschke, R., Simon, D.: Hierarchical reflexion models. In: WCRE 2003: Proc. Conf. Reverse Eng., Victoria, pp. 36–45 (2003)
Murphy, G.C., Notkin, D., Sullivan, K.: Software reflexion models: bridging the gap between source and high-level models. In: SIGSOFT 1995: Proc. Symp. Foundations of Software Eng., Washington, D.C, pp. 18–28 (1995)
Murta, L.G., Hoek, A., Werner, C.M.: Continuous and automated evolution of architecture-to-implementation traceability links. Automated Softw. Eng. 15(1), 75–107 (2008)
OMG. UML 2.3 Superstructure Specification. OMG (May 2010)
Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. ACM 15(12), 1053–1058 (1972)
Parnas, D.L.: Software aging. In: ICSE 1994: Proc. Intl. Conf. Softw. Eng., Sorrento, pp. 279–287 (1994)
Passos, L., Terra, R., Valente, M.T., Diniz, R., Mendonca, N.d.C.: Static architecture-conformance checking: An illustrative overview. IEEE Softw. 27(5), 82–89 (2010)
Perry, D.E., Wolf, A.L.: Foundations for the study of software architecture. ACM SIGSOFT Software Engineering Notes 17(4), 40–52 (1992)
Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley, Reading (2002)
Terra, R., Valente, M.T.: A dependency constraint language to manage object-oriented software architectures. Softw. Pract. Exper. 39(12), 1073–1094 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Adersberger, J., Philippsen, M. (2011). ReflexML: UML-Based Architecture-to-Code Traceability and Consistency Checking. In: Crnkovic, I., Gruhn, V., Book, M. (eds) Software Architecture. ECSA 2011. Lecture Notes in Computer Science, vol 6903. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23798-0_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-23798-0_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23797-3
Online ISBN: 978-3-642-23798-0
eBook Packages: Computer ScienceComputer Science (R0)