A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-01527384
Contributor : Hal Ifip <>
Submitted on : Wednesday, May 24, 2017 - 12:48:55 PM
Last modification on : Thursday, April 19, 2018 - 2:24:03 PM
Long-term archiving on : Monday, August 28, 2017 - 5:00:02 PM

File

978-3-642-28038-2_11_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Iman Poernomo, Timur Umarov. A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management. 4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.136-149, ⟨10.1007/978-3-642-28038-2_11⟩. ⟨hal-01527384⟩

Share

Metrics

Record views

135

Files downloads

45