Type-Safe Delegation for Run-Time Component Adaptation
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
IEEE Transactions on Software Engineering
Computer
A Case Study Implementing Features Using AspectJ
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Detecting model inconsistency through operation-based model construction
Proceedings of the 30th international conference on Software engineering
Runtime software adaptation: framework, approaches, and styles
Companion of the 30th international conference on Software engineering
On the modularity of feature interactions
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Using modern mathematics as an FOSD modeling language
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Incremental Detection of Model Inconsistencies Based on Model Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Semantic-Based Interaction Detection in Aspect-Oriented Scenarios
RE '09 Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE
Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering
Constraint-Based Model Weaving
Transactions on Aspect-Oriented Software Development VI
Combining independent model transformations
Proceedings of the 2010 ACM Symposium on Applied Computing
Feature-based composition of software architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
Transactions on aspect-oriented software development VII: a common case study for aspect-oriented modeling
Crisis management systems: a case study for aspect-oriented modeling
Transactions on aspect-oriented software development VII
Workflow design using fragment composition: crisis management system design through ADORE
Transactions on aspect-oriented software development VII
A model-driven approach to develop adaptive firmwares
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Undoing Event-Driven Adaptation of Business Processes
SCC '11 Proceedings of the 2011 IEEE International Conference on Services Computing
Hi-index | 0.00 |
The adaptive software paradigm supports the definition of software systems that are continuously adapted at run-time. An adaptation activates multiple features in the system, according to the current execution context (e.g., CPU consumption, available bandwidth). However, the underlying approaches used to implement adaptation are ordered, e.g. the order in which a set of features are turned on or off matters. Assuming feature definition as etched in stone, the identification of the right sequence is a difficult and time---consuming problem. We propose here a composition operator that intrinsically supports the commutativity of adaptations. Using this operator, one can minimize the number of ordered compositions in a system. It relies on an action---based approach, as this representation can support preexisting composition operators as well as our contribution in an uniform way. This approach is validated on the Service---Oriented Architecture domain, and is implemented using first---order logic.