论文信息 - A Tool to Verify the Consistency of Requirements Concern Model

A Tool to Verify the Consistency of Requirements Concern Model

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.

[1] Chi-Lun Liu. Ontology-Based Requirements Conflicts Analysis in Activity Diagrams , 2009, ICCSA.

[2] Ruzanna Chitchyan,et al. EA-Miner: a tool for automating aspect-oriented requirements identification , 2005, ASE.

[3] Ruzanna Chitchyan,et al. EA-Analyzer: automating conflict detection in a large set of textual aspect-oriented requirements , 2012, Automated Software Engineering.

[4] Ying Jin,et al. An Approach to Analysing and Verifying Aspect-Oriented Requirements Model: An Approach to Analysing and Verifying Aspect-Oriented Requirements Model , 2014 .

[5] Martin Becker,et al. The Light Control Case Study: Problem Description , 2000, J. Univers. Comput. Sci..

[6] Jianmei Guo,et al. Consistency maintenance for evolving feature models , 2012, Expert Syst. Appl..

[7] João Araújo,et al. Modeling and composing scenario-based requirements with aspects , 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..

[8] Ruzanna Chitchyan,et al. Formal semantic conflict detection in aspect-oriented requirements , 2009, Requirements Engineering.