Verification of business process integration options

Authors:
Georg Grossmann;Michael Schrefl;Markus Stumptner
Affiliations:
Advanced Computing Research Centre, University of South Australia, Adelaide, Australia;Advanced Computing Research Centre, University of South Australia, Adelaide, Australia;Advanced Computing Research Centre, University of South Australia, Adelaide, Australia
Venue:
BPM'06 Proceedings of the 4th international conference on Business Process Management
Year:
2006

Citing 11
Cited 0

Loosely coupled interorganizational workflows: modeling and analyzing workflows crossing organizational boundaries

Information and Management
Verification of Workflow Nets

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Sequence constraints in business modelling and business process modelling

Enterprise information systems IV
On the road to behavior-based integration

APCCM '04 Proceedings of the first Asian-Pacific conference on Conceptual modelling - Volume 31
Unified Modeling Language Reference Manual, The (2nd Edition)

Unified Modeling Language Reference Manual, The (2nd Edition)
IPSI-PF: A Business Process Matchmaking Engine

CEC '04 Proceedings of the IEEE International Conference on E-Commerce Technology
Notations for the Specification and Verification of Composite Web Services

EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Consistency in model integration

Data & Knowledge Engineering - Special issue: Business process management
The view-based approach to dynamic inter-organizational workflow cooperation

Data & Knowledge Engineering
Editorial: Enterprise modelling and system support

Advanced Engineering Informatics
Behavior based integration of composite business processes

BPM'05 Proceedings of the 3rd international conference on Business Process Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a meta framework architecture for supporting the behaviour based integration of two business processes. The meta level provides basic integration operators to the domain engineer to create integration options for specific domains. Based on semantic relationships between nodes of two business processes these integration options are executed and transform parts of the business processes. The outcome of the model transformation is an integrated business process. Because of the arbitrary combination of basic integration operators, a potentially infinite set of integration options may be applicable, and some of these may lead to an incorrect business process. We analyse our framework according to a set of consistency criteria and propose verification and validation mechanisms to keep the integrated model consistent.