Abstract
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavior, of new constraints and of new control in view of a new collaboration.McPal gradually adapts the system dynamics. It is shown that the approach also applies to the probabilistic setting. For a client-server example, where McPal adds, step-by-step, probabilistic behavior to deterministic components, precise modeling of changing system dynamics is achieved. This modeling of the transient behavior, spanning the complete migration range from as-is collaboration to to-be collaboration, serves as a stepping stone to quantitative analysis of the system during adaptation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Allen, R., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol. 1382, pp. 21–37. Springer, Heidelberg (1998)
Andova, S., Groenewegen, L.P.J., Stafleu, J., de Vink, E.P.: Formalizing adaptation on-the-fly. In: Proc. FOCLASA 2009. ENTCS, vol. 255, pp. 23–44 (2009)
Andova, S., Groenewegen, L.P.J., Verschuren, J.H.S., de Vink, E.P.: Architecting security with Paradigm. In: de Lemos, R. (ed.) Architecting Dependable Systems VI. LNCS, vol. 5835, pp. 255–283. Springer, Heidelberg (2009)
Andova, S., Groenewegen, L.P.J., de Vink, E.P.: Dynamic consistency in process algebra: From Paradigm to ACP. In: Proc. FOCLASA 2008. ENTCS, vol. 229, pp. 3–20 (2009)
Andova, S., Groenewegen, L.P.J., de Vink, E.P.: Dynamic consistency in process algebra: From Paradigm to ACP. Science of Computer Programming, 45 (2010), doi:10.1016/j.scico.2010.04.011
Bencomo, N., Sawyer, P., Blair, G.S., Grace, P.: Dynamically adaptive systems are product lines too. In: Proc. DSPL 2008, Limerick, pp. 23–32 (2008)
Bozzano, M., et al.: Safety, dependability, and performance analysis of extended AADL models. The Computer Journal (2010), doi:10.1093/com
Bradbury, J.S., et al.: A survey of self-management in dynamic software architecture specifications. In: Proc. WOSS 2004, pp. 28–33. ACM, New York (2004)
Cetina, C., Fons, J., Pelechano, V.: Applying software product lines to build autonomic pervasive systems. In: Proc. SPLC 2008, pp. 117–126. IEEE, Los Alamitos (2008)
Chen, W., Hiltunen, M.A., Schlichting, R.D.: Constructing adaptive software in distributed systems. In: Proc. ICDCS 2001, pp. 635–643. IEEE, Los Alamitos (2001)
Groenewegen, L.P.J., de Vink, E.P.: Evolution on-the-fly with Paradigm. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 97–112. Springer, Heidelberg (2006)
Hinton, A., Kwiatkowska, M.Z., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 441–444. Springer, Heidelberg (2006)
Kramer, J., Magee, J.: The evolving philosophers problem: dynamic change management. IEEE Transactions on Software Engineering 16, 1293–1306 (1990)
Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: Proc. FOSE 2007, pp. 259–268. IEEE, Los Alamitos (2007)
Magee, J., Kramer, J.: Dynamic structure in software architectures. SIGSOFT Software Engineering Notes 21, 3–14 (1996)
Morin, B., et al.: An aspect-oriented and model-driven approach for managing dynamic variability. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 782–796. Springer, Heidelberg (2008)
Schneider, K., Schuele, T., Trapp, M.: Verifying the adaptation behavior of embedded systems. In: Proc. SEAMS 2006, pp. 16–22. ACM, New York (2006)
Zhang, J., Cheng, B.H.C.: Model-based development of dynamically adaptive software. In: Proc. ICSE 2006, pp. 371–380. ACM, New York (2006)
Zhang, J., Goldsby, H.J., Cheng, B.H.C.: Modular verification of dynamically adaptive systems. In: Proc. AOSD 2009, pp. 161–172. ACM, New York (2009)
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
Andova, S., Groenewegen, L.P.J., de Vink, E.P. (2010). Towards Dynamic Adaptation of Probabilistic Systems. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification, and Validation. ISoLA 2010. Lecture Notes in Computer Science, vol 6416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16561-0_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-16561-0_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16560-3
Online ISBN: 978-3-642-16561-0
eBook Packages: Computer ScienceComputer Science (R0)