From runtime verification to evolvable systems

Howard Barringer; Dov Gabbay; David Rydeheard

doi:10.1007/978-3-540-77395-5_9

From runtime verification to evolvable systems

Howard Barringer, Dov Gabbay, David Rydeheard

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

14 Scopus citations

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.

Original language	English
Title of host publication	Runtime Verification - 7th International Workshop, RV 2007, Revised Selected Papers
Publisher	Springer Verlag
Pages	97-110
Number of pages	14
ISBN (Print)	3540773940, 9783540773948
DOIs	https://doi.org/10.1007/978-3-540-77395-5_9
State	Published - 2007
Externally published	Yes
Event	7th International Workshop on Runtime Verification, RV 2007 - Vancouver, Canada Duration: 13 Mar 2007 → 13 Mar 2007

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4839 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	7th International Workshop on Runtime Verification, RV 2007
Country/Territory	Canada
City	Vancouver
Period	13/03/07 → 13/03/07

Funding

Funders	Funder number
Engineering and Physical Sciences Research Council	EP/E050441/1

Access to Document

10.1007/978-3-540-77395-5_9

Cite this

Barringer, H., Gabbay, D., & Rydeheard, D. (2007). From runtime verification to evolvable systems. In Runtime Verification - 7th International Workshop, RV 2007, Revised Selected Papers (pp. 97-110). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4839 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-77395-5_9

@inproceedings{f28a4338d18c496ea947004ceb301c3d,

title = "From runtime verification to evolvable systems",

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.",

author = "Howard Barringer and Dov Gabbay and David Rydeheard",

year = "2007",

doi = "10.1007/978-3-540-77395-5_9",

language = "אנגלית",

isbn = "3540773940",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "97--110",

booktitle = "Runtime Verification - 7th International Workshop, RV 2007, Revised Selected Papers",

address = "גרמניה",

note = "7th International Workshop on Runtime Verification, RV 2007 ; Conference date: 13-03-2007 Through 13-03-2007",

}

Barringer, H, Gabbay, D & Rydeheard, D 2007, From runtime verification to evolvable systems. in Runtime Verification - 7th International Workshop, RV 2007, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4839 LNCS, Springer Verlag, pp. 97-110, 7th International Workshop on Runtime Verification, RV 2007, Vancouver, Canada, 13/03/07. https://doi.org/10.1007/978-3-540-77395-5_9

From runtime verification to evolvable systems. / Barringer, Howard; Gabbay, Dov; Rydeheard, David.
Runtime Verification - 7th International Workshop, RV 2007, Revised Selected Papers. Springer Verlag, 2007. p. 97-110 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4839 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - From runtime verification to evolvable systems

AU - Barringer, Howard

AU - Gabbay, Dov

AU - Rydeheard, David

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=38549131206&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-77395-5_9

DO - 10.1007/978-3-540-77395-5_9

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:38549131206

SN - 3540773940

SN - 9783540773948

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 97

EP - 110

BT - Runtime Verification - 7th International Workshop, RV 2007, Revised Selected Papers

PB - Springer Verlag

T2 - 7th International Workshop on Runtime Verification, RV 2007

Y2 - 13 March 2007 through 13 March 2007

ER -

Barringer H, Gabbay D, Rydeheard D. From runtime verification to evolvable systems. In Runtime Verification - 7th International Workshop, RV 2007, Revised Selected Papers. Springer Verlag. 2007. p. 97-110. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-77395-5_9

From runtime verification to evolvable systems

Abstract

Publication series

Conference

Funding

Access to Document

Other files and links

Fingerprint

Cite this