Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Kramer, J., Magee, J.: Towards robust self-managed systems. Progress in Informatics (5), 1–4 (2008)
Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Computing Surveys 28(4), 626–643 (1996)
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)
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)
Kramer, J., Magee, J.: The Evolving Philosophers Problem: Dynamic Change Management. IEEE Trans. on Soft. Eng. 16(11), 1293–1306 (1990)
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)
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)
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)
CPN Tools (2007), http://www.daimi.au.dk/CPNTools
Kephart, J.O., Chess, D.M.: The Vision of Autonomic Computing 36(1), 41–50 (2003)
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)
Wermelinger, M.A.: Specification of software architecture reconfiguration. Ph.D, Thesis, Universidade Nova de Lisboa (1999)
Zhang, J., Cheng, B.: Using Temporal Logic to Specify Adaptive Program Semantics. Journal of Systems and Software 79(10), 1361–1369 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kacem, N.H., Kacem, A.H., Drira, K. (2010). A Formal Approach to Enforcing Consistency in Self-adaptive Systems. In: Babar, M.A., Gorton, I. (eds) Software Architecture. ECSA 2010. Lecture Notes in Computer Science, vol 6285. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15114-9_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-15114-9_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15113-2
Online ISBN: 978-3-642-15114-9
eBook Packages: Computer ScienceComputer Science (R0)