Formal framework for specifying dynamic reconfiguration of adaptive systems

Formal framework for specifying dynamic reconfiguration of adaptive systems

For access to this article, please select a purchase option:

Buy article PDF
(plus tax if applicable)
Buy Knowledge Pack
10 articles for $120.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Your details
Why are you recommending this title?
Select reason:
IET Software — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

In the real-world, there are many types of software systems and software engineers always deal with changes. The value of large systems decreases significantly as the requirements and operational environment change over time. Modern software systems are expected to have dynamic reconfigurations to cope with failure and changes. Software adaptation techniques try to overcome the change problem by reconfiguration. In this study, at first, the authors present a formal framework to represent the whole system and then, build a mathematical model called ‘adaptor’ based on adaptation contract and system architecture. The adaptor is used to define automatic fit between two different components of the system. Finally, for specifying the whole adaptor system the authors will introduce adaptor network using synchronisation vectors.


    1. 1)
      • 1. Colman, A.: ‘Role-oriented adaptive design’. PhD thesis, Swinburne University, Melbourne, Australia, 2007.
    2. 2)
      • 2. Arnold, A.: ‘Finite transition systems. Semantics of communicating systems’ (Prentice-Hall, 1994).
    3. 3)
      • 3. Simon, H.: ‘The sciences of the artificial’ (M.I.T. Press, Cambridge, 1969).
    4. 4)
      • 4. Beer, S.: ‘The viable system model’, J. Oper. Res. Soc., 1984, 35, (1), pp. 725.
    5. 5)
      • 5. Tanenbaum, A.S., Steen, M.V.: ‘Distributed systems principles and paradigm’ (Prentice-Hall, 2002).
    6. 6)
      • 6. Autili, M., Inverardi, P., Navarra, A., Tivoli, M.: ‘A tool for automatically assembling correct and distributed component-based systems’. Proc. Int. Conf. Software Engineering (ICSE'07), 2007, pp. 784787.
    7. 7)
      • 7. Brogi, A., Popescu, R.: ‘Automated generation of BPEL adapters’. Proc. Int. Conf. Service-Oriented Computing (ICSOC'06), Springer, 2006(LNCS, 294), pp. 2739.
    8. 8)
      • 8. MotahariNezhad, H.R., Benatallah, B., Martens, A., Curbera, F., Casati, F.: ‘Semi-automated adaptation of service interactions’. Proc. World Wide Web Conf. (WWW'07), 2007, pp. 9931002.
    9. 9)
      • 9. Bracciali, A., Brogi, A., Canal, C.: ‘A formal approach to component adaptation’, J. Syst. Softw., 2005, 74, (1), pp. 4554 (doi: 10.1016/j.jss.2003.05.007).
    10. 10)
      • 10. Canal, C., Poizat, P., Salaün, G.: ‘Model-based adaptation of behavioral mismatching components’, IEEE Trans. Softw. Eng., 2008, 34, (4), pp. 546563 (doi: 10.1109/TSE.2008.31).
    11. 11)
      • 11. Dumas, M., Spork, M., Wang, K.: ‘Adapt or perish: algebra and visual notation for service interface adaptation’. Proc. Business Process Management (BPM'06), Springer, 2006(LNCS, 4102), pp. 6580.
    12. 12)
      • 12. Jin, Y., Lakos, C., Esser, R.: ‘Modular consistency analysis of component-based designs’, Proc. Res. Pract. Inf. Technol., 2009, 36, (3), pp. 186208.
    13. 13)
      • 13. Isazadeh, A., Karimpour, J.: ‘A new formalism for mathematical description and verification of component-based systems’, J. Supercomput., 2009, 49, (3), pp. 334353 (doi: 10.1007/s11227-008-0240-y).
    14. 14)
      • 14. Cansado, A., Canal, C., Salaün, G., Cubo, J.: ‘A formal framework for structural reconfiguration of component under behavioral adaptation’. Proc. Electronic Notes in Theorical Computer Science, 2010, vol. 263, pp. 95110.
    15. 15)
      • 15. Shaw, M.: ‘Software design paradigm based on process control’, ACM Softw. Eng. Notes, 1995, 20, (1), pp. 2739 (doi: 10.1145/225907.225911).
    16. 16)
      • 16. Bradbury, J.S.: ‘Organization definition and formalisms of dynamic software architecture’. Technical report, Queen's University, 2004.
    17. 17)
      • 17. Batista, T., Joolia, A., Coulson, G.: ‘Managing dynamic reconfiguration in component-base systems’. Proc. European Workshop on Software Architecture Pisa, Italy, 2005.
    18. 18)
      • 18. Khakpour, N., Jalili, S., Talcott, C., Sirjani, M., Mousavi, M.: ‘Formal modeling of evolving self-adaptive systems’, J. Sci. Comput. Program., 2011, 78, (1), pp. 326 (doi: 10.1016/j.scico.2011.09.004).
    19. 19)
      • 19. Garlan, D., Cheng, S., Huang, A., Steenkiste, P.: ‘Rainbow: architecture-based self-adaptation with reusable infrastructure’, Computer, 2004, 10, (37), pp. 4654 (doi: 10.1109/MC.2004.175).
    20. 20)
      • 20. Collet, P., Rousseau, R., Coupaye, T., Rivierre, N.: ‘A constructing support for component-oriented programming’. SIGSOFT Symp. Component-based Software Engineering (CBSE'05), Springer Verlag, St-Louis, Missouri, USA, 2005(LNCS, 3489).
    21. 21)
      • 21. Cámara, J., Martın, J.A., Salaün, G., Canal, C., Pimentel, E.: ‘Semi-automatic specification of behavioural service adaptation contracts’. Proc. Electronic Notes in Theorical Computer Science, 2010, vol. 264, pp. 1934.
    22. 22)
      • 22. Cámara, J., Salaün, G., Canal, C.: ‘Composition and run-time adaptation of mismatching behavioural interfaces’, J. Univers. Comput. Sci., 2008, 14, (13), pp. 21822211.
    23. 23)
      • 23. Huang, C.H., Hsiung, P.A., Shen, J.S.: ‘Model-based platform-specific co-design methodology for dynamically partially reconfigurable systems with hardware virtualization and preemption’, J. Syst. Archit., 2010, 56, pp. 545560 (doi: 10.1016/j.sysarc.2010.07.007).
    24. 24)
      • 24. Morandi, M., Novati, M., Santambrogio, D., Sciuto, D.: ‘Core allocation and relocation management for a self dynamically reconfigurable architecture’. Proc. 2008 IEEE Computer Society Annual Symp. Very Large Scale Integration (VLSI), 2008, pp. 286291.
    25. 25)
      • 25. Iftikhar, M.U., Weyns, D.: ‘A case study on formal verification of self-adaptive behaviors in a decentralized system’. 11th Int. Workshop on Foundations of Coordination Languages and Self Adaptation (FOCLASA'12), 2012, pp. 4562.

Related content

This is a required field
Please enter a valid email address