Issues Concerning Variability in Software Product Lines
IW-SAPF-3 Proceedings of the International Workshop on Software Architectures for Product Families
Coverage and adequacy in software product line testing
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Verifying feature-based model templates against well-formedness OCL constraints
Proceedings of the 5th international conference on Generative programming and component engineering
Communications of the ACM - Software product line
Safe composition of product lines
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Composing Multi-view Aspect Models
ICCBSS '08 Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008)
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Weaving executability into object-oriented meta-languages
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Design verification for product line development
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Introducing variability into aspect-oriented modeling approaches
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Modeling and Validating Dynamic Adaptation
Models in Software Engineering
Structuring the modeling space and supporting evolution in software product line engineering
Journal of Systems and Software
Issues in model-driven behavioural product derivation
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Aspect-oriented model-driven code generation: A systematic mapping study
Information and Software Technology
| Hi-index | 0.00 |
Aspect-Oriented Modeling (AOM) approaches propose to model reusable aspects that can be applied to different systems at the model level. To improve reusability, several contributions have pointed out the needs of variability in the AOM approaches. Nevertheless, the support of variability makes the aspect design more complex and the introduction of several dimensions of variability (advice, pointcut and weaving) creates a combinatorial explosion of variants and a risk of inconsistency in the aspect model. As the integration of an aspect model may be a complex task, the AOM framework has to be a support for the designer to ensure the consistency of the resulting model. This paper presents an approach describing how to ensure that an aspect model with variability can be safely integrated into an existing model. Verification includes static checking of aspect model consistency and dynamic checking through testing with a focus on the parts of the model that are impacted by the aspect.