Component-based systems reconfigurations using graph grammars

O. B. Kouchnarenko ; J.-F. Weber

Modelirovanie i analiz informacionnyh sistem, Tome 23 (2016) no. 6, pp. 804-825.

Résumé

Dynamic reconfigurations can modify the architecture of component-based systems without incurring any system downtime. In this context, the main contribution of the present article is the establishment of correctness results proving component-based systems reconfigurations using graph grammars. New guarded reconfigurations allow us to build reconfigurations based on primitive reconfiguration operations using sequences of reconfigurations and the alternative and the repetitive constructs, while preserving configuration consistency. A practical contribution consists of the implementation of a component-based model using the GROOVE graph transformation tool. Then, after enriching the model with interpreted configurations and reconfigurations in a consistency compatible manner, a simulation relation is exploited to validate component systems’ implementations. This sound implementation is illustrated on a cloud-based multi-tier application hosting environment managed as a component-based system.

Détail

Keywords: component-based systems, consistency, GROOVE.
Mots-clés : dynamic reconfigurations, simulation relation, implementation

Bibliographie

[1] De Lemos R., Giese H., Müller H. A., Shaw M., Andersson J., Litoiu M., Schmerl B., Tamura G., Villegas N. M., Vogel T., et al., “Software engineering for self-adaptive systems: A second research roadmap”, Software Engineering for Self-Adaptive Systems II, Springer, 2013, 1–32 | DOI

[2] Dwyer M. B., Avrunin G. S., Corbett J. C., “Patterns in property specifications for finite-state verification”, Proceedings of the 1999 International Conference on Software Engineering, 1999, 411–420

[3] Dormoy J., Kouchnarenko O., Lanoix A., “Runtime verification of temporal patterns for dynamic reconfigurations of components”, LNCS, 7253, eds. Arbab F., Ölveczky P., Springer, Berlin–Heidelberg, 2012, 115–132

[4] Trentelman K., Huisman M., “Extending JML specifications with temporal logic”, Algebraic Methodology and Software Technology, Springer, 2002, 334–348 | DOI | MR

[5] Kouchnarenko O., Weber J. F., “Adapting component-based systems at runtime via policies with temporal patterns”, LNCS, 8348, eds. Fiadeiro J. L., Liu Z., Xue J., Springer, 2014, 234–253

[6] Kouchnarenko O., Weber J. F., “Decentralised evaluation of temporal patterns over component-based systems at runtime”, LNCS, 8997, eds. Lanese I., Madelaine E., Springer, 2015, 108–126

[7] Lanoix A., Dormoy J., Kouchnarenko O., “Combining proof and model-checking to validate reconfigurable architectures”, ENTCS, 279 (2011), 43–57

[8] Dijkstra E. W., “Guarded commands, nondeterminacy and formal derivation of programs”, Communications of the ACM, 18 (1975), 453–457 | DOI | MR | Zbl

[9] Ghamarian A. H., de Mol M., Rensink A., Zambon E., Zimakova M., “Modelling and analysis using GROOVE”, J. on Software Tools for Technology Transfer, 14 (2012), 15–40 | DOI

[10] Bruneton E., Coupaye T., Leclercq M., Quéma V., Stefani J. B., “The fractal component model and its support in java”, Softw., Pract. Exper., 36 (2006), 1257–1284 | DOI

[11] Schneider S., Treharne H., “Csp theorems for communicating b machines”, Formal Asp. Comput., 17 (2005), 390–422 | DOI | Zbl

[12] Seinturier L., Merle P., Rouvoy R., Romero D., Schiavoni V., Stefani J. B., “A component-based middleware platform for reconfigurable service-oriented architectures”, Software: Practice and Experience, 42 (2012), 559–583 | DOI

[13] Dormoy J., Kouchnarenko O., Lanoix A., “Using temporal logic for dynamic reconfigurations of components”, LNCS, 6921, eds. Barbosa L., Lumpe M., Springer, Berlin–Heidelberg, 2012, 200–217

[14] Hamilton A. G., Logic for mathematicians, Cambridge University Press, Cambridge, 1978 | MR | Zbl

[15] Hoare C. A. R., “An axiomatic basis for computer programming”, Communications of the ACM, 12 (1969), 576–580 | DOI | Zbl

[16] Milner R., Communication and concurrency, Prentice-Hall, Inc., 1989 | Zbl

[17] Ma X., Baresi L., Ghezzi C., Panzica La Manna V., Lu J., “Version-consistent dynamic reconfiguration of component-based distributed systems”, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, 2011, 245–255

[18] Boyer F., Gruber O., Pous D., “Robust reconfigurations of component assemblies”, Int. Conf. on Software Engineering, ICSE '13 (Piscataway, NJ, USA, 2013), IEEE Press, 13–22

[19] Kramer J., Magee J., “The evolving philosophers problem: Dynamic change management”, IEEE Transactions on Software Engineering, 16 (1990), 1293–1306 | DOI

[20] Vandewoude Y., Ebraert P., Berbers Y., D'Hondt T., “Tranquility: A low disruptive alternative to quiescence for ensuring safe dynamic updates”, IEEE Transactions on Software Engineering, 33 (2007), 856–868 | DOI

[21] Le Metayer D., “Describing software architecture styles using graph grammars”, IEEE Transactions on Software Engineering, 24 (1998), 521–533 | DOI

[22] Kähkönen K., Lampinen J., Heljanko K., Niemelä I., “The lime interface specification language and runtime monitoring tool”, Int. Wshop on Runtime Verification, RV'09, LNCS, 5779, eds. Bensalem S., Peled D. A., Springer, Berlin–Heidelberg, 2009, 93–100