An ASSL approach to handling uncertainty in self-adaptive systems

Emil Vassev, Mike Hinchey, Dharini Balasubramaniam, Simon Dobson

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Both modularity and loose-coupling properties inherent to the self-adaptive systems offer the opportunity for adhoc service compositions, dynamic change and adaptation. To provide such a dynamic and self-adapting behavior, developers emphasize special self-management policies. ASSL (Autonomic System Specification Language) is a formal tool where such policies might be formally specified, validated and implemented. Intrinsically, the ASSL-developed policies are very strict and may impose quite restrictive behavior, which sometimes is undesirable. To solve the problem, we are currently developing special mechanisms for ASSL that help to specify policies that might evolve in order to satisfy system goals changing in the course of system adaptation. This paper presents our work on a mechanism imposing special loose self-management policies introducing flexibility into the self-adapting behavior.

Original languageEnglish
Title of host publicationProceedings - 2011 34th IEEE Software Engineering Workshop, SEW 2011
PublisherIEEE Computer Society
Pages11-18
Number of pages8
ISBN (Print)9780769546278
DOIs
Publication statusPublished - 2011
Event2011 34th IEEE Software Engineering Workshop, SEW 2011 - Limerick, Ireland
Duration: 20 Jun 201121 Jun 2011

Publication series

NameProceedings - 2011 34th IEEE Software Engineering Workshop, SEW 2011

Conference

Conference2011 34th IEEE Software Engineering Workshop, SEW 2011
Country/TerritoryIreland
CityLimerick
Period20/06/1121/06/11

Keywords

  • ASSL
  • Formal methods
  • Self-adaptive systems

Fingerprint

Dive into the research topics of 'An ASSL approach to handling uncertainty in self-adaptive systems'. Together they form a unique fingerprint.

Cite this