Towards Automatic Generation of Formal Scenarios Specifications from Real-Time Reactive Systems Requirements Written in NL.
Olga Ormandjieva, Ishrar Hussain · Parallel and Distributed Processing Techniques and Applications · 2006
This paper describes a new method for automatic generation of formal scenario-based specifications from requirements written in structured natural language (NL). The goal is to allow for completion of the formalization of the real-time reactive systems development process from users’ requirements. We believe this method would guarantee the correctness and the completeness of the scenarios generated in the requirements specification phase, thus decreasing the probability of errors in the subsequent development phases. To our knowledge, the approach is completely new in the field of requirements engineering.