Charles Explorer logo
🇬🇧

Automated Generation of Implementation from Textual System Requirements

Publication at Faculty of Mathematics and Physics |
2011

Abstract

An initial stage of a software development is a specification of the system requirements. Frequently, these requirements are expressed in UML and consist of use cases and a domain model.

A use case is a sequence of tasks, which have to be performed to achieve a specific goal. The tasks of the use case are written in a natural language.

The domain model describes objects used in the use cases. In this paper, we present an approach that allows automated generation of an executable code directly from the use cases written in a natural language.

Use of the generation significantly accelerates the system development, e.g. it makes immediate verification of requirements completeness possible and the generated code can be used as a starting point for the final implementation. A prototype implementation of the approach is also described in the paper.