Validating Requirements Model of a B2B System

Author

Ling Yin ; Jing Liu ; Xiaoshan Li

Author_Institution

Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China

fYear

2009

fDate

1-3 June 2009

Firstpage

1020

Lastpage

1025

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.

Keywords

Unified Modeling Language; formal specification; project management; software engineering; systems analysis; workflow management software; B2B system; UML; business workflow; defects detection; executable OCL checker; object constraint language; requirements model validation; software project development; Application software; Design engineering; Information science; Programming; Prototypes; Software prototyping; System buses; Unified modeling language; OCL; Requirements Model; UML; Validation;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer and Information Science, 2009. ICIS 2009. Eighth IEEE/ACIS International Conference on

Conference_Location

Shanghai

Print_ISBN

978-0-7695-3641-5

Type

conf

DOI

10.1109/ICIS.2009.185

Filename

5223238