Using Microcomponents and Design Patterns to Build Evolutionary Transaction Services
Electronic Notes in Theoretical Computer Science (ENTCS)
A Model-Based Framework for Statically and Dynamically Checking Component Interactions
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
An ADL dealing with aspects at software architecture stage
Information and Software Technology
Architectural Specification and Static Analyses of Contractual Application Properties
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
A new approach for component's port modeling in software architecture
Journal of Systems and Software
Visualizing and assessing a compositional approach of business process design
SC'10 Proceedings of the 9th international conference on Software composition
On the evolution of component-based software
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Introducing variability into aspect-oriented modeling approaches
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
FIESTA: a generic framework for integrating new functionalities into software architectures
ECSA'07 Proceedings of the First European conference on Software Architecture
| Hi-index | 0.00 |
Software architectures must frequently evolve to cope with changing requirements, and this evolution often implies integrating new concerns. Unfortunately, existing architecture description languages provide little or no support for this kind of evolution. The software architect must modify the architecture manually, which risks introducing inconsistencies. In previous work, we have proposed the TranSAT framework, which provides a pattern construct for describing new concerns and their integration into an existing architecture. As the interaction between the new concern and the existing architecture may be complex, it is essential that the framework ensure the coherence of the resulting architecture. In this paper, we introduce a language for specifying patterns and verifications that ensure that the concern represented by a pattern can be safely integrated into an existing architecture. The verifications comprise static verifications that check coherence properties before the architecture is modified and dynamic verifications that focus on the parts of the architecture that are affected by the pattern. As a result of these verifications, patterns can be provided as a commodity, such that a software architect can confidently apply a pattern obtained from a third-party developer.