@inproceedings{024e1acb14c9472f8f19646628a15f55,
title = "A logical framework for monitoring and evolving software components",
abstract = "We present a revision-based logical framework for modelling hierarchical assemblies of evolvable component systems. An evolvable component is a tight coupling of a pair of components, consisting of a supervisor and a supervisee, with the supervisor able to both monitor and evolve its supervisee. An evolvable component pair is itself a component so may have its own supervisor, or may be encapsulated as part of a larger component. Components are modelled as logical theories containing actions which describe state revisions. Supervisor components are modelled as theories which are logically at a meta-level to their supervisee. Revision actions at the meta-level describe theory changes in the supervisee at the object-level. These correspond to various evolutionary changes in the component. We present this framework and show how it enables us to describe the architecture and logical structure of evolvable systems.",
author = "Howard Barringer and David Rydeheard and Dov Gabbay",
year = "2007",
doi = "10.1109/TASE.2007.4",
language = "אנגלית",
isbn = "0769528562",
series = "First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07",
pages = "273--282",
booktitle = "First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07",
note = "1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07 ; Conference date: 06-06-2007 Through 08-06-2007",
}