Abstract
With increasing demands and changing environment on software systems, a major challenge for those systems is to evolve themselves to adapt to these variations, especially during their running, where dynamic evolution of software architectures has been a key issue of software dynamic evolution research. Most current research in this direction focuses on describing dynamic evolution process of software architectures, and lack consistency analysis of dynamic evolution of software architectures. In this paper, we propose to represent software architectures with constraint hypergraphs, model dynamic evolution of software architectures with constraint hypergraph grammars, and discuss the consistency condition and corresponding consistency decision method of dynamic evolution of software architectures. Our approach provides a formal theoretical basis and a user-friendly graphical representation for consistency analysis of dynamic evolution of software architectures.
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
Mens, T., Buckley, J., Zenger, M., Rashid, A.: Towards a taxonomy of software evolution. In: Proceedings of the International Workshop on Unanticipated Software Evolution, pp. 309–326 (2003)
Gang, H., Hong, M., Fuqing, Y.: Runtime software architecture based on reflective middleware. Science in China Ser. F Information Sciences 47(5), 555–576 (2004)
Gomaa, H., Hussein, M.: Software reconfiguration patterns for dynamic evolution of software architectures. In: Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture, pp. 79–88 (2004)
Miladi, M.N., Jmaiel, M., Kacem, M.H.: A UML profile and a fujaba plugin for modelling dynamic software architectures. In: Proceedings of the Workshop on Model-Driven Software Evolution, pp. 20–26 (2007)
Kacem, M.H., Kacem, A.H., Jmaiel, M., Drira, K.: Describing dynamic software architectures using an extended UML model. In: Proceedings of Symposium on Applied Computing, pp. 1245–1249 (2006)
Magee, J., Kramer, J.: Dynamic structure in software architectures. In: Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 3–14 (1996)
Allen, R., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol. 1382, pp. 21–37. Springer, Heidelberg (1998)
Oquendo, F.: π-ADL: an architecture description language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures. ACM Sigsoft Software Engineering Notes 29(4), 1–14 (2004)
Vergnaud, T., Pautet, L., Kordon, F.: Using the AADL to describe distributed applications from middleware to software components. In: Vardanega, T., Wellings, A.J. (eds.) Ada-Europe 2005. LNCS, vol. 3555, pp. 67–78. Springer, Heidelberg (2005)
Métayer, D.L.: Describing software architecture styles using graph grammars. IEEE Transactions on Software Engineering 24(7), 521–533 (1998)
Bruni, R., Bucchiarone, A., Gnesi, S., Melgratti, H.: Modelling dynamic software architectures using typed graph grammars. Electronic Notes in Theoretical Computer Science 213(1), 39–53 (2008)
Ma, X.X., Cao, C., Yu, P., Zhou, Y.: A supporting environment based on graph grammar for dynamic software architectures. Journal of Software 19(8), 1881–1892 (2008)
Bucchiarone, A., Pelliccione, P., Vattani, C., Runge, O.: Self-Repairing systems modeling and verification using AGG. In: Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, pp. 181–190 (2009)
Aguirre, N., Maibaum, T.: A temporal logic approach to the specification of reconfigurable component-based systems. In: Proceedings of the 17th IEEE International Conference on Automated Software Engineering, pp. 271–278 (2002)
Canal, C., Pimentel, E., Troya, J.M.: Specification and Refinement of Dynamic Software Architectures. In: Proceedings of the TC2 First Working IFIP Conference on Software Architecture, pp. 107–126 (1999)
Xu, H.Z., Zeng, G.S.: Description and verification of dynamic software architectures for distributed systems. Journal of Software 5(7), 721–728
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Xu, H., Tang, B., Gui, Y. (2010). Consistency Analysis of Dynamic Evolution of Software Architectures Using Constraint Hypergraph Grammars. In: Zhu, R., Zhang, Y., Liu, B., Liu, C. (eds) Information Computing and Applications. ICICA 2010. Lecture Notes in Computer Science, vol 6377. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16167-4_64
Download citation
DOI: https://doi.org/10.1007/978-3-642-16167-4_64
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16166-7
Online ISBN: 978-3-642-16167-4
eBook Packages: Computer ScienceComputer Science (R0)