Problem Frames-Based Approach for Analyzing Incremental Requirements within Software Intensive-Systems
Innovative software-intensive systems are increasingly developed in an incremental and iterative manner.The requirements engineering of such kinds of systems has become a continuous activity through software lifecycle,and is also characterized as a cross-project and cross-product activity.During the analysis of incremental requirements,reusing the components within the current solutions as well as locating and explicitly representing the impact of requirements changes imposed by incremental requirements are considerable issues.To meet such challenges,a problem frames–based method to find solutions for incremental requirements within a softwareintensive system has been proposed in this paper.Our method makes use of the knowledge of problem frames and model checking technique to locate and analyze influence of incremental requirements,adopts change problem diagram to explicitly describe the influence of requirement changes on the components within a software-intensive system,and moreover presented a reference process model to cope with the issue of incremental requirements.We demonstrate our ideas using a case study of a smart nursing home system.Experimental results provide guidelines on how to use our method,and show the effectiveness of our approach.
problem frames model checking requirements analysis requirements modeling software-intensive system
Rui-Zhi Dong Xin Peng Wen-yun Zhao
School of Computer Science,Fudan University Shanghai,China
国内会议
南京
英文
1-2
2012-10-20（万方平台首次上网日期，不代表论文的发表时间）