A conceptual framework for adaptation
Roberto Bruni,Andrea Corradini,Fabio Gadducci,Alberto Lluch Lafuente,Andrea Vandin +4 more
- Vol. 7212, pp 240-254
TLDR
A conceptual vision of adaptation, a key feature of autonomic systems, is presented and how some of the programming paradigms and models used for adaptive systems match with this conceptual framework is argued.Abstract:
In this position paper we present a conceptual vision of adaptation, a key feature of autonomic systems. We put some stress on the role of control data and argue how some of the programming paradigms and models used for adaptive systems match with our conceptual framework.read more
Citations
More filters
Journal ArticleDOI
A Formal Approach to Autonomic Systems Programming: The SCEL Language
TL;DR: A set of programming abstractions that permit us to represent behaviors, knowledge, and aggregations according to specific policies and to support programming context-awareness, self- awareness, and adaptation are proposed.
Proceedings Article
A formal approach to autonomic systems programming: the SCEL language.
TL;DR: In this article, the authors introduce SCEL (Software Component Ensemble Language), a kernel language that takes a holistic approach to programming autonomic computing systems and aims at providing programmers with a complete set of linguistic abstractions for programming the behavior of autonomic components and the formation of autonomous components ensembles, and for controlling the interaction among different components.
Book ChapterDOI
A Language-Based Approach to Autonomic Computing
TL;DR: This paper first presents design principles, syntax and operational semantics of SCEL, then shows how a dialect can be defined by appropriately instantiating the features of the language left open to deal with different application domains and uses this dialect to model a simple, yet illustrative, example application.
Journal Article
Semantic models for distributed object reflection
José Meseguer,Carolyn L. Talcott +1 more
TL;DR: In this paper, a generic formal model of distributed object reflection is proposed, which combines logical reflection with a structuring of distributed objects as nested configurations of metaobjects that can control subobjects under them.
Book ChapterDOI
ASCENS: Engineering Autonomic Service-Component Ensembles
TL;DR: This paper provides an overview of several research areas of ASCENS: the SOTA approach to ensemble engineering and the underlying formal model called GEM, formal notions of adaptation and awareness, the SCEL language, quantitative analysis of ensembles, and finally software-engineering methods for ensemble engineering.
References
More filters
Journal ArticleDOI
The vision of autonomic computing
TL;DR: A 2001 IBM manifesto noted the almost impossible difficulty of managing current and planned computing systems, which require integrating several heterogeneous environments into corporate-wide computing systems that extend into the Internet.
Proceedings ArticleDOI
Aspect-oriented programming
Gregor Kiczales,Erik Hilsdale +1 more
TL;DR: This tutorial shows how to use AOP to implement crosscutting conerns in a concise modular way and includes a description of their underlying model, in terms of which a wide range of AOP languages can be understood.
Book
Communicating and Mobile Systems: the Pi-Calculus
TL;DR: Communicating Systems: Behaviour of automata and Observation equivalence: theory, examples, and Discussion and related work Bibliography Index.
Journal ArticleDOI
Self-adaptive software: Landscape and research challenges
Mazeiar Salehie,Ladan Tahvildari +1 more
TL;DR: A taxonomy of research in self-adaptive software is presented, based on concerns of adaptation, that is, how, what, when and where, towards providing a unified view of this emerging area.
Proceedings ArticleDOI
Interface automata
TL;DR: This work presents a light-weight formalism that captures the temporal aspects of software component interfaces through an automata-based language that supports automatic compatability checks between interface models, and thus constitutes a type system for component interaction.
Related Papers (5)
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Betty H. C. Cheng,Rogério de Lemos,Holger Giese,Paola Inverardi,Jeff Magee,Jesper Andersson,Basil Becker,Nelly Bencomo,Yuriy Brun,Bojan Cukic,Giovanna Di Marzo Serugendo,Schahram Dustdar,Anthony Finkelstein,Cristina Gacek,Kurt Geihs,Vincenzo Grassi,Gabor Karsai,Holger M. Kienle,Jeff Kramer,Marin Litoiu,Sam Malek,Raffaela Mirandola,Hausi A. Müller,Sooyong Park,Mary Shaw,Matthias Tichy,Massimo Tivoli,Danny Weyns,Jon Whittle +28 more