A Two-Component Language for Adaptation: Design, Semantics and Program Analysis

Adaptive systems are designed to modify their behaviour in response to changes of their operational environment. We propose a two-component language for adaptive programming, within the Context-Oriented Programming paradigm. It has a declarative constituent for programming the context and a function...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:IEEE transactions on software engineering Ročník 42; číslo 6; s. 505 - 529
Hlavní autori: Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: New York IEEE 01.06.2016
IEEE Computer Society
Predmet:
Adaptability
Adaptation
Adaptation models
Adaptive Software
Approximation
Computer languages
Computer programming
Context
Context Oriented Programming
Datalog
Dynamical systems
Dynamics
Formal Methods
Functional Programming
Information systems
Mathematical analysis
Programming
Programming languages
Running
Semantics
Software
Studies
Type Systems
Verification
context oriented programming
functional programming
formal methods
Adaptive software
semantics
type systems
verification
datalog
ISSN:0098-5589, 1939-3520
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:Adaptive systems are designed to modify their behaviour in response to changes of their operational environment. We propose a two-component language for adaptive programming, within the Context-Oriented Programming paradigm. It has a declarative constituent for programming the context and a functional one for computing. We equip our language with a dynamic formal semantics. Since wrong adaptation could severely compromise the correct behaviour of applications and violate their properties, we also introduce a two-phase verification mechanism. It is based on a type and effect system that type-checks programs and computes, as an effect, a sound approximation of their behaviour. The effect is exploited at load time to mechanically verify that programs correctly adapt themselves to all possible running environments.
Bibliografia:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-1
ObjectType-Feature-2
content type line 23
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.2015.2496941