Abstract
The coordination language Paradigm allows for a flexible and orthogonal modeling of interprocess relationships at the architectural level. It is shown how dynamic system adaptation can be captured in Paradigm by means of a special evolution component and associated evolution coordination scheme. The component, called McPal, drives the migration following a just-in-time strategy in its own view of the system, independent of other coordination relations. During migration, dynamic consistency between components remains assured, even for mixtures of old, intermediate and new behaviour. A restricted scheme of McPal that supports various forms of self-adaptation is presented. A simple but generic example of a scheduler and workers illustrates on-the-fly updating of coordination and run-time adaptation of scheduling policies using McPal.
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
Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.: Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming 45, 43–70 (2000)
Allen, R., Garlan, G.: A formal basis for architectural connection. ACM Transactions on Software Engineering Methodology 6, 213–249 (1997)
Augosto, J.C., Gomez, R.S.: A temporal logic view of Paradigm models. In: Proc. SEKE 2002, Ischia, Italy, pp. 497–503. ACM, New York (2002)
Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. Journal of Systems and Software 74, 45–54 (2005)
Bradbury, J., Cordy, J., Dingel, J., Wermelinger, M.: A survey of self-management in dynamic software architecture specifications. In: [10], pp. 28–33. ACM Press, New York (2004)
Colman, A., Han, J.: Coordination systems in role-based adaptive software. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 63–78. Springer, Heidelberg (2005)
Desmet, L., Janssens, N., Michiels, S., Piessens, F., Joonsen, W., Verbaeten, P.: Towards preserving coorectness in self-managed software systems. In: [10], pp. 34–38. ACM Press, New York (2004)
Engels, G., Groenewegen, L.P.J., Kappel, G.: Coordinated Collaboration of Objects. In: Papazoglou, M., Spaccapietra, S., Tari, Z. (eds.) Advances in Object-Oriented Data Modeling, pp. 307–331. MIT Press, Cambridge (2000)
Garlan, D., Kramer, J., Wolf, A. (eds.): Proceedings of the 1st Workshop on Self-Healing Systems, Charleston, South Carolina. ACM, New York (2002)
Garlan, D., Kramer, J., Wolf, A. (eds.): Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managing Systems, Newport Beach, CA. ACM, New York (2004)
Groenewegen, L., van Kampenhout, N., de Vink, E.: Delegation Modeling with Paradigm. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 94–108. Springer, Heidelberg (2005)
Groenewegen, L., de Vink, E.: Operational semantics for coordination in Paradigm. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 191–206. Springer, Heidelberg (2002)
van Kampenhout, N.: Systematic Specification and Verification of Coordination: towards Patterns for Paradigm Models. Master’s thesis, LIACS (2003)
Küster, J.: Consistency Management of Object-Oriented Behavioral Models. PhD thesis, University of Paderborn (2004)
Malabarba, S., Pandey, R., Gragg, J., Barr, E., Barnes, J.F.: Runtime support for type-safe dynamic Java classes. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol. 1850, pp. 337–361. Springer, Heidelberg (2000)
Meng, S., Barbosa, L.S.: On refinement of generic state-based software components. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol. 3116, pp. 506–520. Springer, Heidelberg (2004)
Oriol, M.: An Approach to the Dynamic Evolution of Software Systems. PhD thesis, Department of Information Systems, University of Geneva (2004)
Oriol, M., Hicks, M.W.: Tagged sets: A secure and transparent coordination medium. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 252–267. Springer, Heidelberg (2005)
Poizat, P.: Korrigan: un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes. PhD thesis, IRIN, University of Nantes (2000)
Stoyle, G., Hicks, M.W., Bierman, G.M., Sewell, P., Neamtiu, I.: Mutatis mutandis: safe and predictable dynamic software updating. In: Proc. POPL 2005, Long Beach, California, pp. 183–194. ACM, New York (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Groenewegen, L., de Vink, E. (2006). Evolution On-the-Fly with Paradigm. In: Ciancarini, P., Wiklicky, H. (eds) Coordination Models and Languages. COORDINATION 2006. Lecture Notes in Computer Science, vol 4038. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11767954_7
Download citation
DOI: https://doi.org/10.1007/11767954_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34694-4
Online ISBN: 978-3-540-34695-1
eBook Packages: Computer ScienceComputer Science (R0)