Keeping track of crosscutting requirements in UML models via context-based constraints
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Aspect-oriented requirements engineering: a roadmap
Proceedings of the 13th international workshop on Early Aspects
Comparing Approaches in AORE through ISO/IEC 9126
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Metamodel for tracing concerns across the life cycle
Proceedings of the 10th international conference on Early aspects: current challenges and future directions
COMPASS: composition-centric mapping of aspectual requirements to architecture
Transactions on aspect-oriented software development IV
A graph-based aspect interference detection approach for UML-based aspect-oriented models
Transactions on aspect-oriented software development VII
A graph-based aspect interference detection approach for UML-based aspect-oriented models
Transactions on aspect-oriented software development VII
EA-tracer: identifying traceability links between code aspects and early aspects
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to handle crosscutting concerns at various stages during the software life cycle, there is a traceability gap between the aspects at the requirements level and those at later development stages. It is not clear what proof obligations about an aspect-oriented implementation follow from the initial aspectual requirements. This paper presents PROBE, a framework for generation of proof obligations for aspect-oriented systems from the initial aspectual requirements and associated trade-offs. The abstract proof obligations are expressed in standard linear temporal logic. Key components of the framework include an extended Ontology with parametric temporal formulas and functions, and extensive treatment of conflicts among requirements. The resultant temporal logic assertions, grouped into specifications of aspect implementations, can then be instantiated in terms of the implementation and verification tools.