Generating a prototype from a UML model of system requirements

  • Authors:

  • Xiaoshan Li;Zhiming Liu;Jifeng He;Quan Long

  • Affiliations:

  • Faculty of Science and Technology, University of Macau, Macao, China;International Institute for Software Technology, United Nations University, Macao, China;International Institute for Software Technology, United Nations University, Macao, China;International Institute for Software Technology, United Nations University, Macao, China

  • Venue:
  • ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present a method for automatically generating a prototype from a UML model of system requirements that consists of a use-case model and a conceptual class model The method is based on a formalization of UML in which a use case is formally specified by a pair of pre and post conditions in the context of a conceptual class model To generate a prototype, we translate the pre and post conditions of a use case into a sequence of executable atomic actions These actions are to create or delete an object, update an object, establish or remove a link between two objects with respect to an association Such a prototype can be used to validate requirements and check system invariants An automated prototype generator is developed in Java, and a simple library system is used as an example to illustrate the feasibility of the method.