Paper Info
Title
Towards an assume-guarantee theory for adaptable systems
Abstract
Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should be performed preserving some properties that we call invariants. This position paper presents a step towards the definition of a theoretical assume-guarantee framework that allows one to efficiently define under which conditions adaptation can be performed by still preserving the desired invariant. The framework aims to cope with different levels of granularity that span from code to software architecture. Two illustrative examples instantiate the framework at two different levels of abstraction.
Year
DOI
Venue
2009
10.1109/SEAMS.2009.5069079
Vancouver, BC
Keywords
Field
DocType
run-time evolution,assume-guarantee theory,different level,modern software system,adaptable system,illustrative example,position paper,theoretical assume-guarantee framework,conditions adaptation,triggered adaptation,software architecture,good reaction,adaptive system,degradation,probability density function,software systems,data mining,manganese,tree graphs,cognition,concrete
Software design description,Software architecture description,Computer science,Theoretical computer science,Software system,Reference architecture,Component-based software engineering,Software construction,Software framework,Software development,Distributed computing
Conference
ISBN
Citations 
PageRank 
978-1-4244-3724-5
19
0.75
References 
Authors
11
3
Name
Order
Citations
PageRank
Paola Inverardi13155228.92
Patrizio Pelliccione299884.04
Massimo Tivoli3125663.22