Title :
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
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;
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
DOI :
10.1109/ICIS.2009.185
