A logical framework for monitoring and evolving software components

First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07

Volumn , Issue , 2007, Pages 273-282

  Barringer, Howard ^a   Rydeheard, David ^a   Gabbay, Dov ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER ARCHITECTURE; MATHEMATICAL MODELS; SUPERVISORY AND EXECUTIVE PROGRAMS;

LOGICAL THEORIES; SOFTWARE COMPONENTS; STATE REVISIONS; SUPERVISOR COMPONENTS;

LOGIC PROGRAMMING;

EID: 34548819883     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TASE.2007.4     Document Type: Conference Paper

References (19)

1. D. Balasubramaniam, R. Morrison, G.N.C. Kirby, K. Mickan, B.C. Warboys, I. Robertson, B. Snowdon, R.M. Greenwood and W. Seet. A software architecture approach for structuring autonomic systems. In ICSE 2005 Workshop on the Design and Evolution of Autonomic Application Software (DEAS 2005), St Louis, MO, USA. ACM Digital Library. 2005.
2. H. Barringer, M. Fisher, D. Gabbay, G. Gough and R. Owens. METATEM: An introduction. Formal Aspects of Computing, 7(5): 533-549. 1995.
3. H. Barringer and D. Rydeheard. Modelling Evolvable Systems: A Temporal Logic View. We Will Show Them! Essays in honour of Dov Gabbay on his 60th Birthday, Volume 1, Artemov, Barringer, d'Avila Garcez, Lamb, Woods (ed.), 195-228, College Publications. 2005.
4. H. Barringer, D. Rydeheard, B. Warboys and D. Gabbay. A Revision-based Logical Framework for Evolvable Software. In Proc. of the 25th IASTED International Multi-Conference: Software Engineering. Feb. 2007. Innsbruck, Austria, 78-83, ISBN Hardcopy: 978-0-88986-641-6/CD: 978-0-88986-643-0.
5. H. Barringer, D. Gabbay and D. Rydeheard. Logical Modelling of Evolvable Systems. See http://www.cs.manchester.ac.uk/evolve.
6. Runtime Verification website. http://www.runtime-verification.org/
7. F. Chen and G. Rosu. Towards monitoring-oriented programming: A paradigm combining specification and implementation. Electronic Notes in Theoretical Computer Science, 89(2), 2003. http://www.elsevier.nl/locate/entcs/volume89. html
8. B. Demsky and M. Rinard. Data Structure Repair Using Goal-Directed Reasoning. Proc. 2005 International Conference on Software Engineering. St. Louis, Missouri. 2005.
9. K. Eurviriyanukul, A.A.A. Fernandes and N.W. Paton. A Foundation for the Replacement of Pipelined Physical Join Operators in Adaptive Query Processing. Current Trends in Database Technology (EDBT Workshops), Springer, 589-600. 2006.
10. R.E. Fikes and N.J. Nilsson. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence, 2(3-4):189-208. 1971.
11. D.M. Gabbay. Fibring Logics. Oxford University Press. 1999.
12. M.P. Georgeoff and A.L. Lansky. Reactive Reasoning and Planning. Proceedings of the Sixth National Conference on A.I., Seattle, WA. 677-682, 1987.
13. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. Proc. of the European Conference on 0.0. Programming, 1241, 220-242. 1997.
14. X.D. Koutsoukos, P.J. Antsaklis, M.D. Lemmon and J.A. Stiver. Supervisory Control of Hybrid Systems. Proc. of the IEEE, Special Issue on Hybrid Systems, 88(7),1026-1049. 2000.
15. M.M. Lehman and J.F. Ramil. Software Evolution: Background, Theory, Practice. Information Processing Letters 88 (1-2) 33-44. 2003.
16. P. Maes and D. Nardi (Eds) Meta-Level Architectures and Reflection North-Holland. 1988.
17. J. McCarthy and P.J. Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence 4, Ed. B. Meltzer and D. Michie, 463-502, Edinburgh University Press. 1969.
18. R. Milner. Communication and Concurrency. Prentice-Hall. 1989.
19. T. Winograd. Understanding Natural Language. Academic Press, New York. 1972.