Validation of requirement models by automatic prototyping
Li D.2; Li X.3; Liu J.2; Liu Z.2
Source PublicationInnovations in Systems and Software Engineering
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
URLView the original
Fulltext Access
Citation statistics
Document TypeConference paper
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.
APA Li D.,Li X.,Liu J.,&Liu Z..(2008).Validation of requirement models by automatic prototyping.Innovations in Systems and Software Engineering,4(3),241-248.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
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.