A Formal Framework for Dynamic Reconfiguration in Adaptive Systems
Subject Areas : electrical and computer engineeringJ. Karimpour 1 , R. Alyari 2 *
1 -
2 -
Keywords: Adaptive systems adaptor dynamic reconfiguration formal method,
Abstract :
Today's advanced systems are expected to be able to adapt to environmental conditions and unpredictable situations. The first requirement for such systems is to adjust them according to customer needs, their own ability and operational environment and they should be able to answer when faced with problem and unexpected request. Software adaptation techniques try to cope, with adaptation contracts and reconfiguration capabilities. Also these reconfigurations should be performed out of the sight of client and sometimes during the operation so that prohibit system designers from direct involvement in the internal affairs of clients. Sometimes these adaptation techniques have an impressive role in reusing components for making new systems or improving old ones. Thins paper try to create a system that can be adapted to the environment and besides it also reduces the complexity problem. To do so, at first we use a formal model to represent the whole system and then, build a mathematical model called adaptor based on adaptation contract and client requests. After creation of the adaptor, the all configuration and transactions between the client and system are done through the adaptors and Adaptors are responsible for coordinating the internal system components. Also, to avoid complexity, the concept of hierarchical networks and services are used for building the networks of adaptors.
[1] A. Colman, Role - Oriented Adaptive Design, Ph. D. Thesis, Swinburne University, Melbourn, Australia, 2007.
[2] T. Batista, A. Joolia, and G. Coulson, "Managing Dynamic Reconfiguration in Component - Based Systems," in Proc. 2nd European WorkShop on Software Architectures, pp. 1-17, Pisa, Italy, 13-14 Jun. 2005.
[3] J. Aldrich, C. Chambers, and D. Notkin, "ArchJava: connecting software architecture to implementation," in Proc. of the 24th Int. Conf. on Software Engineering ICSE'04, pp. 187-197, Orlando, US, May 2004.
[4] I. Sander and A. Jantsch, "Modelling adaptive system in ForSyDe," Electronic Notes in Theorical Computer Science, vol. 200, no. 2, pp. 39-54, Feb. 2008.
[5] I. Georgiadis, J. Magee, and J. Kramer, "Self - organising software architecture for distributed systems," in Proc. of the 1st Workshop on Self - Healing Systems, WOSS'02, pp. 33-38, New York, US, 18-19 Nov. 2002.
[6] D. Garlen, S. Cheng, A. Huang, B. Schmerl, and P. Streenkiste, "Rainbow: architecture-based self-adaptation with reusable infrastructure," Computer, vol. 37, no. 10, pp. 46-54, Oct. 2004.
[7] D. Garlan, V. Poladian, B. Schmerl, and J. P. Sousa, "Task - based self - adaptation," in Proc. of the 1st ACM SIGSOFT Workshop on Self - Managed Systems, pp. 54-57, California, 31 Oct.-1 Nov. 2004.
[8] N. Khakpour, S. Jalili, C. Talcott, M. Sirjani, and M. Mousavi, "Formal modeling of evolving self - adaptive systems," J. of Science of Computer Programming, vol. 78, no. 1, pp. 3-26, Nov. 2011.
[9] R. Bruni, A. Corradini, F. Gadducci, A. Lluch, and A. Vandin, "A conceptual framework for adaptation," Lecture Notes in Computer Science, vol. 7212, pp. 240-254, 2012.
[10] A. Cansado, J. Cubo, G. Salaun, and C. Canal, "A formal framework for structural reconfiguration of component under behavioral adaptation," Electronic Notes in Theorical Computer Science, vol. 263, pp. 95-110, 3 Jun. 2011.
[11] J. Camara, G. Salaun, C. Canal, and M. Ouederni, "Interactive specification and verification of behavioural adaptation contracts," Information and Software Technology, vol. 54, no. 7, pp. 701-723, Jul. 2012.
[12] Y. Jin, C. Lakos, and R. Esser, "Modular consistency analysis of component-based designs," Journal of Research and Practice in Information Technolog, vol. 36, no. 3, pp. 186-208, Aug. 2004.
[13] A. Arnold, Finite Transition Systems: Semantics of Communicating Systems, Prentice - Hall, 1994.
[14] M. U. Iftikhar and D. Weyns, "A case study on formal verification of self - adaptive behaviors in a decentralized system," in Proc. 11th Int. Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA'12, pp 45-62, Aug. 2012.