%0 Conference Proceedings
%T A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management
%+ Department of Computer Science (DCS)
%+ Department of Computer Engineering (Sharif University of Technology)
%A Poernomo, Iman
%A Umarov, Timur
%Z Part 2: Modelling and Formal Methods in Software Development
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 4th Central and East European Conference on Software Engineering Techniques (CEESET)
%C Krakow, Poland
%Y David Hutchison
%Y Takeo Kanade
%Y Madhu Sudan
%Y Demetri Terzopoulos
%Y Doug Tygar
%Y Moshe Y. Vardi
%Y Gerhard Weikum
%Y Tomasz Szmuc
%Y Marcin Szpyrka
%Y Jaroslav Zendulka
%Y Josef Kittler
%Y Jon M. Kleinberg
%Y Friedemann Mattern
%Y John C. Mitchell
%Y Moni Naor
%Y Oscar Nierstrasz
%Y C. Pandu Rangan
%Y Bernhard Steffen
%I Springer
%3 Advances in Software Engineering Techniques
%V LNCS-7054
%P 136-149
%8 2009-10-12
%D 2009
%R 10.1007/978-3-642-28038-2_11
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 2
%2 https://inria.hal.science/hal-01527384/document
%2 https://inria.hal.science/hal-01527384/file/978-3-642-28038-2_11_Chapter.pdf
%L hal-01527384
%U https://inria.hal.science/hal-01527384
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-LNCS-7054
%~ IFIP-CEESET