@inproceedings{9f6bd18e7a164b39af7438e475ac7071,
title = "Validating requirements model of a B2B system",
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 = "OCL, Requirements Model, UML, Validation",
author = "Ling Yin and Jing Liu and Xiaoshan Li",
year = "2009",
doi = "10.1109/ICIS.2009.185",
language = "英语",
isbn = "9780769536415",
series = "Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009",
publisher = "IEEE Computer Society",
pages = "1020--1025",
booktitle = "Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009",
address = "美国",
note = "8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009 ; Conference date: 01-06-2009 Through 03-06-2009",
}