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

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering Vol. 42; no. 6; pp. 505 - 529
Main Authors: Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio
Format: Journal Article
Language:English
Published: New York IEEE 01.06.2016
IEEE Computer Society
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography: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