Performance-related completions for software specifications
Proceedings of the 24th International Conference on Software Engineering
Adaptive Optimizing Compilers for the 21st Century
The Journal of Supercomputing
Generative Programming and Active Libraries
Selected Papers from the International Seminar on Generic Programming
A compositional formalization of connector wrappers
Proceedings of the 25th International Conference on Software Engineering
Precise specification and automatic application of design patterns
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Automatic Inclusion of Middleware Performance Attributes into Architectural UML Software Models
IEEE Transactions on Software Engineering
Model-Based performance prediction with the palladio component model
WOSP '07 Proceedings of the 6th international workshop on Software and performance
The Future of Software Performance Engineering
FOSE '07 2007 Future of Software Engineering
A pattern-based performance completion for Message-oriented Middleware
WOSP '08 Proceedings of the 7th international workshop on Software and performance
The Palladio component model for model-driven performance prediction
Journal of Systems and Software
Automated Feature Model-Based Generation of Refinement Transformations
SEAA '09 Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced Applications
Systematic Refinement of Performance Models for Concurrent Component-based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Towards an engineering approach to component adaptation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Quality of service-oriented software systems (QUASOSS 2010)
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Hi-index | 0.00 |
Detailed models of component-based software architectures are crucial for the accurate evaluation and prediction of systems quality attributes (e.g., performance) during early development stages. Ideally, the increased complexity of such models should not incur additional modelling effort for developers. Specific incremental model refinements called completions provide a systematic approach to reduce the modelling effort. Completions transparently integrate low-level details that affect system's quality (e.g. performance impact of middleware configuration) into component-based architectural models, using model-to-model transformations. When multiple completions are to be applied, the necessary model transformations are executed in a chain. In such scenarios, conflicts between different completions are likely. In current practice, the conflicts are supposed to be resolved by software architects, who decide on the suitable transformation order manually. However, this approach is time-consuming, can be error-prone, and is likely to result in suboptimal designs. In this paper, we aim to automate the resolution of conflicts. We define a technique to identify and resolve possible conflicts. The technique locally optimises the completions order, based on its validity and quality attributes semantics. We validate our approach by applying it to an architecture model of a component-based business information system and analyse the impact of different completions orders and the complexity of possible conflicts.