Migrating Functional Requirements in SSUCD Use Cases to a More Formal Representation
Use case modeling is a popular technique to elicit and model functional requirements of a software development project. In a use case driven development methodology, use cases are used as a basis to guide the development of UML design models. In this paper, the authors provide a model transformation approach to transform use cases descriptions written in a nearly unstructured form to a more formal representation. A more formal representation, which is machine-readable, can be used to systematically generate other UML design models, in particular UML activity diagrams.