Formalizing the notion of adaptive system behavior

Authors:
M. Broy;C. Leuxner;W. Sitou;B. Spanfelner;S. Winter
Affiliations:
Technische Universität München, Garching, Germany;Technische Universität München, Garching, Germany;Technische Universität München, Garching, Germany;Technische Universität München, Garching, Germany;Technische Universität München, Garching, Germany
Venue:
Proceedings of the 2009 ACM symposium on Applied Computing
Year:
2009

Citing 9
Cited 6

Specification and development of interactive systems: focus on streams, interfaces, and refinement

Specification and development of interactive systems: focus on streams, interfaces, and refinement
Feature Interactions and Formal Specifications in Telecommunications

Computer
The Vision of Autonomic Computing

Computer
Dynamic, Adaptive and Reconfigurable Systems Overview and Prospective Vision

ICDCSW '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Composing Adaptive Software

Computer
Towards Requirements Engineering for Context Adaptive Systems

COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
A survey on context-aware systems

International Journal of Ad Hoc and Ubiquitous Computing
Context-Aware Computing Applications

WMCSA '94 Proceedings of the 1994 First Workshop on Mobile Computing Systems and Applications
An engineering approach to adaptation and calibration

MRC'05 Proceedings of the Second international conference on Modeling and Retrieval of Context

Sharing e-learning experiences: a personalised approach

HCITOCH'10 Proceedings of the First international conference on Human-computer interaction, tourism and cultural heritage
Towards a system model for ensembles

Formal modeling
A conceptual framework for adaptation

FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Modelling and analyzing adaptive self-assembly strategies with maude

WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Adaptive music retrieval---a state of the art

Multimedia Tools and Applications
Development of global specification for dynamically adaptive software

Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

In computer science the notion of adaptive systems has been used in different contexts for many years now. Although there is some intuitive, common understanding of the notion, a precise and universally practicable definition is still missing. More precisely, previous definitions fail to strictly differentiate between adaptive and non-adaptive systems. We investigate the intuitions and propose a precise definition that comprises most informal explanations. Methodical implications arising from our definition are discussed as well.