UM  > 科技學院  > 電腦及資訊科學系
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 PublicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN03029743 16113349
Volume3347Pages:255-265
AbstractWe 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.
KeywordCode generation Formal specification Prototype Requirements analysis
URLView the original
Language英語
Fulltext Access
Document TypeJournal article
CollectionDEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
Affiliation1.United Nations University
2.Peking University
3.Universidade de 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.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Li X.]'s Articles
[Liu Z.]'s Articles
[He J.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Li X.]'s Articles
[Liu Z.]'s Articles
[He J.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Li X.]'s Articles
[Liu Z.]'s Articles
[He J.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.