A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

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

Iman Poernomo
  • Fonction : Auteur
  • PersonId : 1008819
Timur Umarov
  • Fonction : Auteur
  • PersonId : 1008820

Résumé

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.
Fichier principal
Vignette du fichier
978-3-642-28038-2_11_Chapter.pdf (1.53 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01527384 , version 1 (24-05-2017)

Licence

Paternité

Identifiants

Citer

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⟩
132 Consultations
57 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More