Generating a prototype from a UML model of system requirements

UM > Faculty of Science and Technology > DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE

Residential College	false
Status	已發表Published
	Generating a prototype from a UML model of system requirements
	Li X.3 ; Liu Z.3; He J.1; Long Q.2
	2004-12-01
Source Publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN	03029743 16113349
Volume	3347 Pages:255-265
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. © Springer-Verlag 2004.
Keyword	Code generation Formal specification Prototype Requirements analysis
URL	View the original
Language	英語English
Fulltext Access	View Full-Text via Scopus
Document Type	Journal article
Collection	DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
Affiliation	1.United Nations University 2.Peking University 3.Universidade de Macau
First Author Affilication	University of Macau
Recommended Citation GB/T 7714	Li X.,Liu Z.,He J.,et al. Generating a prototype from a UML model of system requirements[J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3347, 255-265.
APA	Li X.., Liu Z.., He J.., & Long Q. (2004). Generating a prototype from a UML model of system requirements. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3347, 255-265.
MLA	Li X.,et al."Generating a prototype from a UML model of system requirements".Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3347(2004):255-265.

Files in This Item:
There are no files associated with this item.

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Affiliation No.
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh