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.
Type de document :
Communication dans un congrès
David Hutchison; Takeo Kanade; Madhu Sudan; Demetri Terzopoulos; Doug Tygar; Moshe Y. Vardi; Gerhard Weikum; Tomasz Szmuc; Marcin Szpyrka; Jaroslav Zendulka; Josef Kittler; Jon M. Kleinberg; Friedemann Mattern; John C. Mitchell; Moni Naor; Oscar Nierstrasz; C. Pandu Rangan; Bernhard Steffen. 4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. Springer, Lecture Notes in Computer Science, LNCS-7054, pp.136-149, 2012, Advances in Software Engineering Techniques. 〈10.1007/978-3-642-28038-2_11〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01527384
Contributeur : Hal Ifip <>
Soumis le : mercredi 24 mai 2017 - 12:48:55
Dernière modification le : jeudi 19 avril 2018 - 14:24:03
Document(s) archivé(s) le : lundi 28 août 2017 - 17:00:02

Fichier

978-3-642-28038-2_11_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Iman Poernomo, Timur Umarov. A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management. David Hutchison; Takeo Kanade; Madhu Sudan; Demetri Terzopoulos; Doug Tygar; Moshe Y. Vardi; Gerhard Weikum; Tomasz Szmuc; Marcin Szpyrka; Jaroslav Zendulka; Josef Kittler; Jon M. Kleinberg; Friedemann Mattern; John C. Mitchell; Moni Naor; Oscar Nierstrasz; C. Pandu Rangan; Bernhard Steffen. 4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. Springer, Lecture Notes in Computer Science, LNCS-7054, pp.136-149, 2012, Advances in Software Engineering Techniques. 〈10.1007/978-3-642-28038-2_11〉. 〈hal-01527384〉

Partager

Métriques

Consultations de la notice

99

Téléchargements de fichiers

15