On the Generation of DisCo Specifications from Functional Requirements
Requirements analysis is an important task for software development success. It is, however, often hard for various stakeholders to reach a common understanding of the behavior of the required system. In order to provide a basis for understanding the dynamic behavior of a system fulfilling the requirements, we study the possibility to automate the process of creating an executable system specification from functional requirements. In this work, we assume that the functional requirements are formatted using a meta-model based on the classical Fillmore’s case frame, which describes important semantic aspects of the documented system actions. We have constructed a method that uses grammatical conversions to produce action-based executable specifications from the requirements. This specification can be used to observe the dynamic behavior of the system, which helps to move iteration with stakeholder feedback earlier in the software development process.
A Dissertation submitted in partial fulfillment of the requirements for the LL.B of a Degree,University of Nairobi