Automated generation of implementation from textual system requirements

Authors:
Jan Franců;Petr Hnětynka
Affiliations:
Department of Distributed and Dependable Systems, Faculty of Mathematics and Physics, Charles University in Prague, Prague 1, Czech Republic;Department of Distributed and Dependable Systems, Faculty of Mathematics and Physics, Charles University in Prague, Prague 1, Czech Republic
Venue:
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
Year:
2008

Citing 6
Cited 0

Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process

Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process
Writing Effective Use Cases

Writing Effective Use Cases
Behavior Protocols for Software Components

IEEE Transactions on Software Engineering
Improved Processing of Textual Use Cases: Deriving Behavior Specifications

SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Supporting use case based requirements engineering

Information and Software Technology
UML collaboration diagrams and their transformation to java

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

Quantified Score

Hi-index	0.00

Visualization

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.