Using Constraint Programming to Manage Configurations in Self-Adaptive Systems

Sawyer, Pete; Mazo, Raúl; Díaz, Daniel; Salinesi, Camille; Hughes, Danny

doi:10.1109/mc.2012.286

Cited by 46 publications

(47 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Usually in this planning type, the e®ects of di®erent actions on the adaptation goals are formally de¯ned. Subsequently, the problem of¯nding the most suitable action is reduced to a satis¯ability problem (SAT) [51,69] or a constraint satisfaction problem (CSP) [70][71][72] which is then solved using a SAT-solver or a CSP-solver. For example, in Parra et al [70], a CSP solver is used at runtime to¯nd the most suitable variant of the system which satis¯es the goals of adaptation.…”

Section: Planningmentioning

confidence: 99%

Dynamic Software Product Line Engineering: A Reference Framework

Bashari

Bagheri

2017

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

Runtime adaptive systems are able to dynamically transform their internal structure, and hence their behavior, in response to internal or external changes. Such transformations provide the basis for new functionalities or improvements of the non-functional properties that match operational requirements and standards. Software Product Line Engineering (SPLE) has introduced several models and mechanisms for variability modeling and management. Dynamic software product lines (DSPL) engineering exploits the knowledge acquired in SPLE to develop systems that can be context-aware, post-deployment recon¯gurable, or runtime adaptive. This paper focuses on DSPL engineering approaches for developing runtime adaptive systems and proposes a framework for classifying and comparing these approaches from two distinct perspectives: adaptation properties and adaptation realization. These two perspectives are linked together by a series of guidelines that help to select a suitable adaptation realization approach based on desired adaptation types.

show abstract

Section: Planningmentioning

confidence: 99%

Dynamic Software Product Line Engineering: A Reference Framework

Bashari

Bagheri

2017

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

show abstract

“…Details about the transformation rules and an algorithm that transforms feature models into constraint programs can be found in . Details about the transformation of context models into a constraint program and their relationships with variability models are provided in (Sawyer et al, 2012). The composition model is not represented as a constraint program because its relationships with the variability model are implemented by means of the weaving model.…”

Section: Step 52: Define Resolutionsmentioning

confidence: 99%

“…Other research works , Lee and Kang, 2006, Cetina et al, 2009, Sawyer et al, 2012 use variability models to specify the legal combination of requirements to satisfy adaptation needs elicited from a monitoring process. However, they neither deal with verification of SASs nor focus on service compositions.…”

Section: Verification Of Self Adaptive Systemsmentioning

confidence: 99%

Dynamic adaptation of service compositions with variability models

Alférez

Pelechano

Mazo

et al. 2014

Journal of Systems and Software

109

View full text Add to dashboard Cite

Web services run in complex contexts where arising events may compromise the quality of the whole system. Thus, it is desirable to count on autonomic mechanisms to guide the self-adaptation of service compositions according to changes in the computing infrastructure. One way to achieve this goal is by implementing variability constructs at the language level. However, this approach may become tedious, difficult to manage, and error-prone. In this paper, we propose a solution based on a semantically rich variability model to support the dynamic adaptation of service compositions. When a problematic event arises in the context, this model is leveraged for decision-making. The activation and deactivation of features in the variability model result in changes in a composition model that abstracts the underlying service composition. These changes are reflected into the service composition by adding or removing fragments of Business Process Execution Language (WS-BPEL) code, which can be deployed at runtime. In order to reach optimum adaptations, the variability model and its possible configurations are verified at design time using Constraint Programming. An evaluation demonstrates several benefits of our approach, both at design time and at runtime.

show abstract

“…Also, many real-time systems that need a new system configuration may require optimization before deployment (Cuadrado et al, 2012) and optimization must be performed to satisfy stringent quality requirements. Sawyer et al (2012) suggest representing the dynamic behavior of self-adaptive systems in a DSPL using goal models together with feature models to describe soft constraints for different levels of satisfaction. The optimization in this case is solved as a constraint-programming problem.…”

Section: Runtime Variability Techniquesmentioning

confidence: 99%

“…Potential solution: Although these proposals deal with user decisions, they are limited those that affect features, being unable to represent any decision on quality attributes further than the five satisfaction levels proposed by Sawyer et al (2012). In this solution we propose the use of the so-called Stateful Feature Models, SFMs (Trinidad, 2012) which represent user preferences in terms of features and attributes.…”

Section: Dynamic and Optimized Reconfigurationmentioning

confidence: 99%

An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry

Capilla

Bosch

Trinidad

et al. 2014

Journal of Systems and Software

140

View full text Add to dashboard Cite

a b s t r a c tOver the last two decades, software product lines have been used successfully in industry for building families of systems of related products, maximizing reuse, and exploiting their variable and configurable options. In a changing world, modern software demands more and more adaptive features, many of them performed dynamically, and the requirements on the software architecture to support adaptation capabilities of systems are increasing in importance. Today, many embedded system families and application domains such as ecosystems, service-based applications, and self-adaptive systems demand runtime capabilities for flexible adaptation, reconfiguration, and post-deployment activities. However, as traditional software product line architectures fail to provide mechanisms for runtime adaptation and behavior of products, there is a shift toward designing more dynamic software architectures and building more adaptable software able to handle autonomous decision-making, according to varying conditions. Recent development approaches such as Dynamic Software Product Lines (DSPLs) attempt to face the challenges of the dynamic conditions of such systems but the state of these solution architectures is still immature. In order to provide a more comprehensive treatment of DSPL models and their solution architectures, in this research work we provide an overview of the state of the art and current techniques that, partially, attempt to face the many challenges of runtime variability mechanisms in the context of Dynamic Software Product Lines. We also provide an integrated view of the challenges and solutions that are necessary to support runtime variability mechanisms in DSPL models and software architectures.

show abstract

Using Constraint Programming to Manage Configurations in Self-Adaptive Systems

Cited by 46 publications

References 12 publications

Dynamic Software Product Line Engineering: A Reference Framework

Dynamic Software Product Line Engineering: A Reference Framework

Dynamic adaptation of service compositions with variability models

An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry

Contact Info

Product

Resources

About