UM  > 科技學院  > 電腦及資訊科學系
Validating requirements model of a B2B system
Yin L.1; Liu J.1; Li X.2
2009-11-10
Conference Name8th IEEE/ACIS International Conference on Computer and Information Science
Source PublicationProceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009
Pages1020-1025
Conference DateJUN 01-03, 2009
Conference PlaceShanghai, PEOPLES R CHINA
Abstract

It is very costly if a software project development has to recover from an error that is due to a mistake made in the construction of the requirements model. Validation of requirements model is thus always an effective means for detecting defects in the requirements model. In this paper, we present an approach to modeling requirements by UML with OCL, and the design of a tool EOC (Executable OCL Checker), that supports well-formed static checking for the OCL specification as well as the dynamic validation. We illustrate the approach and the tool by an example of B2B system. The requirements model of this system is validated by the prototyping executions of the system functions on the system states against the OCL constraints. The validation checks whether the execution of a use case violates the system invariants, and whether the requirements model is feasible according to its business workflow. © 2009 IEEE.

KeywordOcl Requirements Model Uml Validation
DOI10.1109/ICIS.2009.185
URLView the original
Indexed BySCI
WOS Research AreaComputer Science
WOS SubjectComputer Science, Information Systems ; Computer Science, Theory & Methods
WOS IDWOS:000273558200173
全文获取链接
引用统计
Document TypeConference paper
专题DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
Affiliation1.East China Normal University
2.Universidade de Macau
推荐引用方式
GB/T 7714
Yin L.,Liu J.,Li X.. Validating requirements model of a B2B system[C],2009:1020-1025.
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
Google Scholar
中相似的文章 Google Scholar
[Yin L.]的文章
[Liu J.]的文章
[Li X.]的文章
Baidu academic
中相似的文章 Baidu academic
[Yin L.]的文章
[Liu J.]的文章
[Li X.]的文章
Bing Scholar
中相似的文章 Bing Scholar
[Yin L.]的文章
[Liu J.]的文章
[Li X.]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。