Title :
A Tool to Verify the Consistency of Requirements Concern Model
Author :
Liu Hua-Xiao ; Wang Shou-Yan ; Jin Ying
Author_Institution :
Coll. of Comput. Sci. & Technol., Jilin Univ., Changchun, China
Abstract :
The completeness and consistency of requirements model is the basis for the success of a software project, and the verification of requirements models is a key activity in a software life cycle. We have developed a tool based on JENA to verify the consistency of concerns model under the framework of aspect oriented document driven requirements engineering, and a case study to prove the effectiveness of our tool is given at last.
Keywords :
aspect-oriented programming; formal specification; formal verification; JENA; aspect oriented document driven requirements engineering; consistency verfication; requirements concern model; software life cycle; software project; Analytical models; Computational modeling; Feature extraction; Object oriented modeling; Ontologies; Software systems; Aspect-oriented requirements analysis; JENA; consistency verify; ontology;
Conference_Titel :
Computational and Information Sciences (ICCIS), 2013 Fifth International Conference on
Conference_Location :
Shiyang
DOI :
10.1109/ICCIS.2013.511
