Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Feature Interaction in Composed Systems
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
Managing concern interactions in middleware
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Static and dynamic detection of behavioral conflicts between aspects
RV'07 Proceedings of the 7th international conference on Runtime verification
Composing Non-functional Concerns in Composite Web Services
ICWS '11 Proceedings of the 2011 IEEE International Conference on Web Services
Composing Non-functional Concerns in Web Services
ECOWS '11 Proceedings of the 2011 IEEE Ninth European Conference on Web Services
Aspect categories and classes of temporal properties
Transactions on Aspect-Oriented Software Development I
| Hi-index | 0.00 |
In component-based software development, applications are decomposed, e.g., into functional and non-functional components which have to be composed to a working system. The composition of non-functional behavior from different non-functional domains such as security, reliability, and performance is particularly complex. Finding a valid composition is challenging because there are different types of interdependencies between concerns, e.g. mutual exclusion, conflicts, and ordering restrictions, which should not be violated. In this paper we formalize a set of interdependency types between non-functional actions realizing non-functional behavior. These interdependencies can either be specified explicitly or implicitly by taking action properties into account. This rich set of interdependencies can then be used to ease the task of action composition by validating compositions against interdependency constraints, proposing conflict resolution strategies, and by applying our guided composition procedure. This procedure proposes next valid modeling steps leading to conflict-free compositions.