Semiotics in information systems engineering
Semiotics in information systems engineering
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Refinement Calculus, Part II: Parallel and Reactive Programs
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Understanding Agent Systems
Measuring similarity between semantic business process models
APCCM '07 Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67
Model Checking Data-Aware Workflow Properties with CTL-FO+
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Towards CIM to PIM transformation: from secure business processes defined in BPMN to use-cases
BPM'07 Proceedings of the 5th international conference on Business process management
Redevelopment of an industrial case study using event-B and Rodin
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
| Hi-index | 0.00 |
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.