|
|
|
篇目详细内容 |
|
【篇名】 |
A concern-based approach to generating formal requirements specifications |
|
【刊名】 |
Frontiers of Computer Science in China |
|
【刊名缩写】 |
Front. Comput. Sci. China |
|
【ISSN】 |
1673-7350 |
|
【EISSN】 |
1673-7466 |
|
【DOI】 |
10.1007/s11704-010-0151-y |
|
【出版社】 |
Higher Education Press and Springer-Verlag Berlin
Heidelberg |
|
【出版年】 |
2010 |
|
【卷期】 |
4
卷2期 |
|
【页码】 |
162-172
页,共
11
页 |
|
【作者】 |
Ying JIN;
Jing ZHANG;
Weiping HAO;
Pengfei MA;
Yan ZHANG;
Haiyan ZHAO;
Hong MEI;
|
|
【关键词】 |
document driven requirements analysis method; separation of concerns; concern relationship graph; 4-variable model; formal requirements documentation; requirements management |
【摘要】 |
|
Document driven requirements analysis, as proposed by Prof. David Parnas, which has had some success in practice, focuses on creating concise and complete formal requirements documents to serve as references for formal verification, software design, implementation, testing, inspection, and so on. However, at present large number of requirements documents are still written in natural languages. Therefore, generating formal requirements specification from informal textual requirements description has become a big challenge. In this paper, a concern-based approach to generating formal requirements specification from textual requirements document is proposed, which applies separation of concerns during requirements analysis and utilizes concerns and their relationships to bridge the gap between textual requirements statements and formal requirements documentation. A tool suite has been developed for supporting our approach, and a case study has been performed to illustrate the process of our approach. Results indicate that our approach facilitates guiding the process of formal requirements documentation with concerns and their relationships. |
|
