UM  > 科技學院  > 電腦及資訊科學系
Validation of requirement models by automatic prototyping
Li D.2; Li X.3; Liu J.2; Liu Z.2
2008-08-13
Source PublicationInnovations in Systems and Software Engineering
Volume4
Issue3
Pages241-248
AbstractPrototyping is an efficient and effective way to understand and validate system requirements at the early stage of software development. In this paper, we present an approach for transforming UML system requirement models with OCL specifications into executable prototypes with the function of checking multiplicity and invariant constraints. Generally, a use case in UML can be described as a sequence of system operations. A system operation can be formally defined by a pair of preconditions and postconditions specified using OCL in the context of the conceptual class model. By analyzing the semantics of the preconditions and postconditions, the execution of the operation can be prototyped as a sequence of primitive actions which first check the precondition, and then enforce the postcondition by transferring the system from a pre-state to a post-state step by step. The primitive actions are basic manipulations of the system state (an object diagram), including find objects and links, create and remove objects and links, and check and set attribute values. Based on this approach, we have developed a tool of automatic prototype generation and analysis: AutoPA3.0. © Springer-Verlag London Limited 2008.
KeywordCodegeneration OCL Prototype Requirement validation UML
DOI10.1007/s11334-008-0062-3
URLView the original
Language英語
Fulltext Access
Citation statistics
Document TypeConference paper
CollectionDEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
Affiliation1.Guizhou Academy of Sciences
2.United Nations University International Institute for Software Technology
3.Universidade de Macau
Recommended Citation
GB/T 7714
Li D.,Li X.,Liu J.,et al. Validation of requirement models by automatic prototyping[C],2008:241-248.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Li D.]'s Articles
[Li X.]'s Articles
[Liu J.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Li D.]'s Articles
[Li X.]'s Articles
[Liu J.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Li D.]'s Articles
[Li X.]'s Articles
[Liu 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.