A Concern-Based Approach to Generating Formal Requirements Specifications.
Ying Jin,Jing Zhang,Weiping Hao,Pengfei Ma,Yan Zhang,Haiyan Zhao,Hong Mei
DOI: https://doi.org/10.1007/s11704-010-0151-y
IF: 2.6688
2010-01-01
Frontiers of Computer Science
Abstract: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.