Towards Automatic Generation of Formal Scenarios Specifications from Real-Time Reactive Systems Requirements Written in NL

Abstract- 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