Verification and validation of formal data-centric business models

0Citations
Citations of this article
8Readers
Mendeley users who have this article in their library.

Abstract

This paper addresses the problem of describing and analysing internally consistent data within business process workflow specifications. We use Rodin platform for verifying the correctness of the Event-B models. These models we obtain from an ontology and an associated set of normative constraints by applying mapping rules. The latter enable us to transform these specifications into Event-B modular artefacts. The resulting model, by virtue of the Event-B formalism, is very close to a typical loosely coupled component-based implementation of a business system workflow, but has the additional value of being amenable to theorem proving techniques to check and refine data representation with respect to process evolution. In this paper, we give a formal account of the design specifications defined by Event- B modules and perform verification and validation by using theorem proving techniques provided by Rodin platform.

Cite

CITATION STYLE

APA

Umarov, T. (2015). Verification and validation of formal data-centric business models. Scientific Annals of Computer Science, 25(2), 317–355. https://doi.org/10.7561/SACS.2015.2.317

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free