Skip to content

A mapping from normative requirements to Event-B to facilitate verified data-centric business process management

4Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

This artice is free to access.

Abstract

This paper addresses the problem of describing and analyzing data manipulation within business process workflow specifications.We apply a modeldriven approach. We begin with business requirement specifications, consisting of an ontology and an associated set of normative rules, that define the ways in which business processes can interact. We then transform this specification into an Event-B specification. The resulting specification, 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. © 2012 Springer-Verlag.

Cite

CITATION STYLE

APA

Poernomo, I., & Umarov, T. (2012). A mapping from normative requirements to Event-B to facilitate verified data-centric business process management. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7054 LNCS, pp. 136–149). https://doi.org/10.1007/978-3-642-28038-2_11

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