Title :
An enhanced framework for validation of aspectual requirements
Author :
Khan, Safoora Shakil ; Ali, Shukat ; Jaffar-Ur-Rehman, Mohammad
Author_Institution :
Center for Software Dependability, Mohammad Ali Jinnah Univ., Pakistan
Abstract :
Aspect oriented paradigm builds on the concept of separation of crosscutting concerns. The systematic activities of separation of concerns (SoC) are - identification of concerns, separation of concerns, representation of concerns, and composition of concerns. Few aspect oriented requirement engineering (AORE) models provide validation of elicited aspects by walkthroughs, inspections, or formalized procedures. In this paper, we have extended an already proposed framework to provide two levels of validation, which validates correct elicitation of concerns (aspect) from requirements. The proposed model validates the elicited aspects by graph validation.
Keywords :
program verification; software engineering; aspect oriented paradigm; aspect oriented requirement engineering models; aspectual requirements; composition of concerns; elicited aspects validation; graph validation; identification of concerns; representation of concerns; separation of crosscutting concerns; Costs; Design engineering; Inspection; Programming; Scattering;
Conference_Titel :
Emerging Technologies, 2005. Proceedings of the IEEE Symposium on
Print_ISBN :
0-7803-9247-7
DOI :
10.1109/ICET.2005.1558921