A Formal Approach to Enforcing Consistency in Self-adaptive Systems

  • Najla Hadj Kacem
  • Ahmed Hadj Kacem
  • Khalil Drira
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6285)


The ability of systems to adapt is increasingly seen as a necessary underlying capability for modern software systems. The resulting self-adaptive systems are not only supposed to cope with changes, but must also preserve their consistency. To deal with such challenges in a systematic way, the design of self-adaptive systems needs to be put on a formal basis. In this paper, we argue for the benefits of a formal yet extensible approach to behavioural adaptations of component-based system architectures. This approach provides the usage of alternative adaptation processes rather than being limited to a single one. The application of Coloured Petri Nets for modelling and analysing the adaptation processes proves to be useful to trust consistency preservation.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Oreizy, P., Medvidovic, N., Taylor, R.: Architecture-Based Runtime Software Evolution. In: Proc. of the 20th International Conference on Software Engineering, pp. 177–186. IEEE CS, Los Alamitos (1998)CrossRefGoogle Scholar
  2. 2.
    Kramer, J., Magee, J.: Towards robust self-managed systems. Progress in Informatics (5), 1–4 (2008)Google Scholar
  3. 3.
    Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Computing Surveys 28(4), 626–643 (1996)CrossRefGoogle Scholar
  4. 4.
    Becker, B., Giese, H.: Modeling of Correct Self-Adaptive Systems: A Graph Transformation System Based Approach. In: Proc. of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology (CSTST 2008), pp. 508–516. ACM, New York (2008)CrossRefGoogle Scholar
  5. 5.
    Bradbury, J., Cordy, J., Dingel, J., Wermelinger, M.: A survey of self-management in dynamic software architecture specifications. In: Proc. of the 1st ACM SIGSOFT Workshop on Self-managed Systems, pp. 28–33. ACM, New York (2004)CrossRefGoogle Scholar
  6. 6.
    Kramer, J., Magee, J.: The Evolving Philosophers Problem: Dynamic Change Management. IEEE Trans. on Soft. Eng. 16(11), 1293–1306 (1990)CrossRefGoogle Scholar
  7. 7.
    Zhang, J., Yang, Z., Cheng, B.H., McKinley, P.K.: Adding safeness to dynamic adaptation techniques. In: Proc. of ICSE 2004 Workshop on Architecting Dependable Systems, WADS 2004 (2004)Google Scholar
  8. 8.
    Rasche, A., Polze, A.: ReDAC - Dynamic Reconfiguration of Distributed Component-based Applications with Cyclic Dependencies. In: Proc. of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (2008)Google Scholar
  9. 9.
    Jensen, K., Kristensen, L., Wells, L.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer 9(3), 213–254 (2007)CrossRefGoogle Scholar
  10. 10.
  11. 11.
    Kephart, J.O., Chess, D.M.: The Vision of Autonomic Computing 36(1), 41–50 (2003)Google Scholar
  12. 12.
    Hadj Kacem, N., Hadj Kacem, A., Drira, K.: Orchestrating Safe Behavioural Adaptations of Component-based Systems. In: Proc. of the Sixth International Conference on Autonomic and Autonomous Systems, pp. 37–46. IEEE CS, Los Alamitos (2010)Google Scholar
  13. 13.
    Wermelinger, M.A.: Specification of software architecture reconfiguration. Ph.D, Thesis, Universidade Nova de Lisboa (1999)Google Scholar
  14. 14.
    Zhang, J., Cheng, B.: Using Temporal Logic to Specify Adaptive Program Semantics. Journal of Systems and Software 79(10), 1361–1369 (2006)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Najla Hadj Kacem
    • 1
  • Ahmed Hadj Kacem
    • 1
  • Khalil Drira
    • 2
    • 3
  1. 1.ReDCAD LaboratoryUniversity of SfaxSfaxTunisia
  2. 2.CNRS, LAASToulouseFrance
  3. 3.UPS, INSA, INP, ISAE, LAASUniversité de ToulouseToulouseFrance

Personalised recommendations