A Formal Approach to Enforcing Consistency in Self-adaptive Systems
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.
- 2.Kramer, J., Magee, J.: Towards robust self-managed systems. Progress in Informatics (5), 1–4 (2008)Google Scholar
- 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.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
- 10.CPN Tools (2007), http://www.daimi.au.dk/CPNTools
- 11.Kephart, J.O., Chess, D.M.: The Vision of Autonomic Computing 36(1), 41–50 (2003)Google Scholar
- 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.Wermelinger, M.A.: Specification of software architecture reconfiguration. Ph.D, Thesis, Universidade Nova de Lisboa (1999)Google Scholar