Abstrakt. Vi anser att involverbara beräkningssystem är uppbyggda som hierarkier av involverbara komponenter, där en involverbar komponent är en inkapsling av en tillsynskomponent och dess övervakare. Här utökar vi vårt tidigare arbete med en revisionsbaserad logisk modelleringsram för sådana system för att införliva program inom varje komponent. Vi beskriver mekanismer för att kombinera program, eventuellt på olika språk, från separata komponenter och skissera en operationell semantik för programmerade utvecklingsbara system. Vi visar hur tillsynskomponenter utökar run-time kontrollörer/skärmar med kapacitet för diagnos och förändring. Vi illustrerar den logiska modellen med hjälp av ett exempel på en automatiserad bankkassör.
I REF beskrivs en mekanism för att kombinera program från separata komponenter och en operationell semantik för programmerade utvecklingsbara system.
From Runtime Verification to Evolvable Systems
{'venue': 'RV', 'journal': None, 'mag_field_of_study': ['Computer Science']}