@inproceedings{b6237efed53745b78413e8766bfad683,
title = "A revision-based logical framework for evolvable software",
abstract = "We describe a natural revision-based logical modelling for evolvable software. An evolvable component comprises two parts: a supervising process and its supervisee subcomponent. The supervisor's role is to monitor and possibly evolve its supervisee, where evolutionary change may be determined purely internally from observations made by the supervisor of the supervisee's behaviour, or may be a response to external stimuli. We model these systems in a revision-based first-order logical framework in which the logic of the supervisor is a meta-logic to that of its supervisee. This enables evolutionary change of the supervisee to be induced by a supervisor's state revision at the metalevel. We introduce the basic ideas in a simple (single component) setting using the familiar Blocks World and then indicate how this account extends to full structural hierarchies of evolvable components with supervisor processes at any level of the hierarchy.",
keywords = "Evolvable software, Logical modelling, Revision theory, Run-time monitoring, Software methodologies",
author = "Howard Barringer and David Rydeheard and Brian Warboys and Dov Gabbay",
year = "2007",
language = "אנגלית",
isbn = "9780889866416",
series = "Proceedings of the IASTED International Conference on Software Engineering, SE 2007",
pages = "78--83",
booktitle = "Proceedings of the IASTED International Conference on Software Engineering, SE 2007",
note = "IASTED International Conference on Software Engineering, SE 2007 ; Conference date: 13-02-2007 Through 15-02-2007",
}