Abstract
We consider evolvable computational systems built as hierarchies of evolvable components, where an evolvable component is an encapsulation of a supervisory component and its supervisee. Here, we extend our prior work on a revision-based logical modelling framework for such systems to incorporate programs within each component. We describe mechanisms for combining programs, possibly in different languages, from separate components and outline an operational semantics for programmed evolvable systems. We show how supervisory components extend run-time verifiers/monitors with capabilities for diagnosis and change. We illustrate the logical modelling using an example of an automated bank teller machine.
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
Barringer, H., Gabbay, D., Rydeheard, D.: Logical modelling of evolvable component systems: Part (I) A logical framework. Submitted for publication (2007), See http://www.cs.manchester.ac.uk/evolve
Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Program monitoring with LTL in Eagle. In: Proceedings of PADTAD 2004, Parallel and Distributed Systems: Testing and Debugging, Santa Fe, New Mexico, USA (2004)
Barringer, H., Rydeheard, D., Gabbay, D.: A logical framework for monitoring and evolving software components. In: TASE 2007. Proceeding of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Computer Science, Shanghai, China, June 2007, IEEE Computer Society Press, Los Alamitos (2007)
Barringer, H., Rydeheard, D., Warboys, B., Gabbay, D.: A revision-based logical framework for evolvable software. In: SE 2007. Proceeding of IASTED Multi-Conference: Software Engineering, Innsbruck, Austria, pp. 78–83 (2007)
Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)
Plotkin, G.D.: A structural approach to operational semantics. Technical Report, DAIMI FN-19, University of Aarhus (1981)
Warboys, B.C., Snowdon, R.A., Greenwood, R.M., Seet, W., Robertson, I., Morrison, R., Balasubramaniam, D., Kirby, G., Mickan, K.: An active architecture approach to cots integration. IEEE Software - Special Issue on Incorporating COTS into the Development Process 22(4), 20–27 (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Barringer, H., Gabbay, D., Rydeheard, D. (2007). From Runtime Verification to Evolvable Systems. In: Sokolsky, O., Taşıran, S. (eds) Runtime Verification. RV 2007. Lecture Notes in Computer Science, vol 4839. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77395-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-77395-5_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77394-8
Online ISBN: 978-3-540-77395-5
eBook Packages: Computer ScienceComputer Science (R0)