University of Limerick Institutional Repository

An ASSL approach to handling uncertainty in self-­adaptive systems

DSpace Repository

Show simple item record Vassev, Emil Hinchey, Mike Balasubramaniam, Dharini Dobson, Simon 2012-02-21T12:33:57Z 2012-02-21T12:33:57Z 2011
dc.description non-peer-reviewed en_US
dc.description.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. en_US
dc.language.iso eng en_US
dc.publisher IEEE Computer Society en_US
dc.relation.ispartofseries Proceedings of the 34th annual IEEE Software Engineering Workshop;06/2011
dc.rights “© 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works en_US
dc.subject self-adaptive systems en_US
dc.subject formal methods en_US
dc.subject ASSL en_US
dc.title An ASSL approach to handling uncertainty in self-­adaptive systems en_US
dc.type Conference item en_US
dc.type.supercollection all_ul_research en_US
dc.type.restriction none en
dc.contributor.sponsor SFI
dc.relation.projectid 03/CE2/I303_1

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account