Paper Info
Title
An ASSL Approach to Handling Uncertainty in Self-adaptive Systems
Abstract
Both modularity and loose-coupling properties inherent to the self-adaptive systems offer the opportunity for ad-hoc 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.
Year
DOI
Venue
2011
10.1109/SEW.2011.8
SEW
Keywords
Field
DocType
self-adapting behavior,assl-developed policy,system goal,special mechanism,handling uncertainty,restrictive behavior,special self-management policy,self-adaptive system,special loose self-management policy,system adaptation,assl approach,self-adaptive systems,dynamic change,computer model,semantics,formal specification,computational modeling,uncertainty,formal methods,protocols,adaptive system,unified modeling language,formal method,specification language,measurement,satisfiability,adaptive behavior
Programming language,Unified Modeling Language,Systems engineering,Computer science,Formal specification,Self adaptive,Formal methods,System requirements specification,Modularity,Semantics
Conference
ISSN
Citations 
PageRank 
1550-6215
0
0.34
References 
Authors
5
4
Name
Order
Citations
PageRank
Emil Vassev126341.81
Mike Hinchey249451.89
Dharini Balasubramaniam328425.14
Simon Dobson4112560.75