A classification system and analysis for aspect-oriented programs
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Aspectual mixin layers: aspects and features in concert
Proceedings of the 28th international conference on Software engineering
XWeave: models and aspects in concert
Proceedings of the 10th international workshop on Aspect-oriented modeling
Product Line Implementation using Aspect-Oriented and Model-Driven Software Development
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Higher-Order Transformations for Product Lines
SPLC '07 Proceedings of the 11th International Software Product Line Conference
SEFM '08 Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
Safe composition of non-monotonic features
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Automated analysis of feature models 20 years later: A literature review
Information Systems
Aspects, dependencies and interactions: report on the workshop ADI at ECOOP 2007
ECOOP'07 Proceedings of the 2007 conference on Object-oriented technology
An algebra of product families
Software and Systems Modeling (SoSyM)
Static analysis of aspect interaction and composition in component models
Proceedings of the 10th ACM international conference on Generative programming and component engineering
SLE'09 Proceedings of the Second international conference on Software Language Engineering
FM'06 Proceedings of the 14th international conference on Formal Methods
Hi-index | 0.00 |
Crosscutting concerns are pervasive in embedded software and ambient systems due to the stringent non-functional requirements imposed on them. Maintaining families of these systems to address issues with the crosscutting concerns, such as security concerns, is recognised to be tedious and costly. To tackle the above problem, we adapt the aspect-oriented paradigm to feature-modeling. One of the most serious problems in aspect-oriented modeling is the potential of taking a valid model and spoiling its validity when weaving an aspect to it. We present a formal verification technique of aspectual composition in the context of feature-modeling that is based on product family algebra. We define a set of validity criteria for aspects with regard to their corresponding base specifications. The verification is done prior to the weaving of the aspects to their base specifications.