Abstract
Software systems reconfiguration is actually an inevitable task that might be considered in system development life cycle, since user requirements and execution environment are continuously evolving. Nevertheless, the design and maintenance of robust reconfigurable and adaptable applications is still a complex task. In the aim to overcome such complexity, we adopt a formal support for modeling these applications, specifying adaptation scenarios and expressing global properties. This paper defines a formal model for specifying dynamically reconfigurable software architectures. Reconfiguration process is formalized here through a three layered model: the basic level defines elementary operations to create, modify and delete architectural elements; the second level defines a set of rules implementing the reconfiguration process; and the top level uses strategies to control the reconfiguration process and ensure executing reconfiguration phases in an atomic manner.
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
Gargantini, A., Riccobene, E., Scandurra, P.: A semantic framework for metamodel-based languages. Autom. Soft. Eng. 16, 415–454 (2009)
Bach, J.C., Balland, E., Brauner., P., Kopetz, R., Moreau, P.E., Reilles, A.: Tom Manual. Inria-00121885, version 4 (2009)
Hadj Kacem, M.: Modeling of dynamic distributed applications architecture: Design and Validation. PhD Thesis, University of Paul Sabatier Toulouse, France (2008)
Balland, E.: Design of a dedicated language analysis and processing programs. PhD thesis in Computer Science, University de Nancy 1, France (2009)
Saraiva, J., Visser, J.: Tutorial on Strategic Programming Across Programming Paradigms. In: 8th Brazilian Symposium on Programming Languages, Niteroi, Brazil (2004)
Baresi, L., Heckel, R., Thone, S., Varro, D.: Style-based refinement of dynamic Software architectures. In: the 4th Working IEEE / IFIP Conference on Software Architecture, pp. 155–166. IEEE Compute Society, Oslo (2004)
Lämmel, R., Visser, E., Visser, J.: Strategic programming meets adaptive programming. In: 2nd International Conference on Aspect-oriented software development, pp. 168–177. ACM, New York (2003)
Borovanský, P., Kirchner, C., Kirchner, H., Moreau, P.E., Ringeissen, C.: An overview of ELAN. In: 2nd International Workshop on Rewriting Logic and its Applications. Mousson, France. Published in: Journal of Electronic Notes in Theoretical Computer Science 15, 55–70 (1998)
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-oliet, N., Meseguer, J., Talcott, C.: Maude Manual (Version 2.4). SRI International (2009)
Bouanaka, C.: Designing an ADL for Distributed Applications and Mobiles based Rewriting Logic. PhD Thesis, University of Mentoury, Algeria (2010)
Wermelinger, M., Fiadeiro, J.L.: A graph transformation approach to software architecture reconfiguration. Sci. Comput. Program. 44, 133–155 (2002)
Bruni, R., Bucchiarone, A., Gnesi, S., Hirsch, D., Lluch Lafuente, A.: Graph-based design and analysis of dynamic software architectures. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 37–56. Springer, Heidelberg (2008)
Aguirre, N., Maibaum, T.: Hierarchical temporal specifications of dynamically reconfigurable component based systems. Electronic Notes in Theoretical Computer Science 108, 69–81 (2004)
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)
Batista, T.V., Joolia, A., Coulson, G.: Managing dynamic reconfiguration in component-based systems. In: Morrison, R., Oquendo, F. (eds.) EWSA 2005. LNCS, vol. 3527, pp. 1–17. Springer, Heidelberg (2005)
Bergmann, G., Boronat, A., Heckel, R., Torrini, P., Ráth, I., Varró, D.: Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis. In: Wirsing, M., Hölzl, M. (eds.) Results of the SENSORIA Project. LNCS, vol. 6582, pp. 561–584. Springer, Heidelberg (2011)
Fiadeiro, J.L., Lopes, A.: A model for dynamic reconfiguration in service-oriented architectures. In: Software & Systems Modeling, vol. 12, pp. 349–367. Springer, Heidelberg (2013)
Costa, C., Ali, N., Pérez, J., Carsí, J.Á., Ramos, I.: Dynamic Reconfiguration of Software Architectures Through Aspects. In: Oquendo, F. (ed.) ECSA 2007. LNCS, vol. 4758, pp. 279–283. Springer, Heidelberg (2007)
Gomes, A.T.A., Batista, T.V., Joolia, A., Coulson, G.: Architecting Dynamic Reconfiguration in Dependable Systems. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems IV. LNCS, vol. 4615, pp. 237–261. Springer, Heidelberg (2007)
Coulson, G., Blair, G.S., Grace, P., Joolia, A., Lee, K., Ueyama, J.: OpenCOM v2: A Component Model for Building Systems Software. In: 3rd IASTED Software Engineering and Applications, Cambridge, Cambridge, pp. 436–450(2004)
Jackson, D.: Software Abstractions: Logic, Language and Analysis. MIT Press (2006)
Clavel, M., Duran, F., Eker, S., Lincoln, P., Martı-Oliet, N., Meseguer, J.: All About Maude - A High-Performance Logical Framework, vol. 4350. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Djoudi, B., Bouanaka, C., Zeghib, N. (2014). On Specifying Reconfigurable Component-Based Systems Using Strategies. In: Murgante, B., et al. Computational Science and Its Applications – ICCSA 2014. ICCSA 2014. Lecture Notes in Computer Science, vol 8579. Springer, Cham. https://doi.org/10.1007/978-3-319-09144-0_45
Download citation
DOI: https://doi.org/10.1007/978-3-319-09144-0_45
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09143-3
Online ISBN: 978-3-319-09144-0
eBook Packages: Computer ScienceComputer Science (R0)