Constructing Formal Specification Models from Domain Specific Natural Language Requirements
HU Jian-cheng1，2，HU Jun1，2，WANG Wen-xuan1，2，KANG Jie-xiang3，WANG Hui3，GAO Zhong-jie3
1（Nanjing University of Aeronautics and Astronautics，Nanjing 211106，China）2（Collaborative Innovation Center of Novel Software Technology and Industry，Nanjing 210007，China）3（China National Aeronautic Radio Electronics Research Institute，Shanghai 200233，China）
Abstract：One important way to improve the quality of safety-critical software is to produce a good software requirement satisfying several key properties，such as：integrity，consistency，and well organized，etc.Our work is based on airbone software requirements，which are itemized with domain natural language in avionics，effectively into a formal specification model VRM（Variable Relation Model），which has table-style structures with formal semantics.Firstly，considering avionics domain characteristics，a domain concept library is established including different types of variables and concepts.Then，a set of domain-oriented requirements templates are defined，such as：general event/condition，display event/condition，etc.According to VRM model element semantics，three types model construction algorithms are designed to complete the translation automatically.And in the case study，the Engine Indication and Crew Warning System（EICAS）was selected to show how to construct formal models from natural language requirements.
2021, Vol. 42 
