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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on software engineering Jg. 42; H. 6; S. 505 - 529
Hauptverfasser: Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York IEEE 01.06.2016
IEEE Computer Society
Schlagworte:
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
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Bibliographie: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