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. © 2007 IEEE.
| Original language | English |
|---|---|
| Title of host publication | First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07|First Joint IEEE/IFIP Symp. Theor. Aspects Softw. Eng. |
| Publisher | IEEE Computer Society |
| Pages | 273-282 |
| Number of pages | 9 |
| ISBN (Print) | 0769528562, 9780769528564 |
| DOIs | |
| Publication status | Published - 2007 |
| Event | 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07 - Shanghai Duration: 1 Jul 2007 → … http://dblp.uni-trier.de/db/conf/tase/tase2007.html#BarringerRG07http://dblp.uni-trier.de/rec/bibtex/conf/tase/BarringerRG07.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/tase/BarringerRG07 |
Conference
| Conference | 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07 |
|---|---|
| City | Shanghai |
| Period | 1/07/07 → … |
| Internet address |