Paper Info
Title
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.
Year
DOI
Venue
2009
10.1007/978-3-642-28038-2_11
CEE-SET
Keywords
Field
DocType
business process,data-centric business process management,resulting specification,business requirement specification,event-b specification,event-b formalism,additional value,business process workflow specification,normative requirement,data manipulation,business system workflow,data representation
Artifact-centric business process model,Business process management,Programming language,Software engineering,Business process,Computer science,Business domain,Business process modeling,Business process discovery,Business rule,Business Process Model and Notation
Conference
Volume
ISSN
Citations 
7054
0302-9743
0
PageRank 
References 
Authors
0.34
8
2
Name
Order
Citations
PageRank
Iman Poernomo142827.61
Timur Umarov221.73