Declarative enhancement framework for business processes

Authors:
Heerko Groefsema;Pavel Bulanov;Marco Aiello
Affiliations:
Distributed Systems Group, Johann Bernoulli Institute, University of Groningen, Groningen, The Netherlands;Distributed Systems Group, Johann Bernoulli Institute, University of Groningen, Groningen, The Netherlands;Distributed Systems Group, Johann Bernoulli Institute, University of Groningen, Groningen, The Netherlands
Venue:
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Year:
2011

Citing 9
Cited 1

Decision procedures and expressiveness in the temporal logic of branching time

STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Specification and validation of process constraints for flexible workflows

Information Systems
Towards Variable Service Compositions Using VxBPEL

ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
On managing business processes variants

Data & Knowledge Engineering
Modeling and managing the variability of Web service-based systems

Journal of Systems and Software
Business process management: a survey

BPM'03 Proceedings of the 2003 international conference on Business process management
Constraint-based workflow models: change made easy

OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Requirements and Tools for Variability Management

COMPSACW '10 Proceedings of the 2010 IEEE 34th Annual Computer Software and Applications Conference Workshops
The COVAMOF derivation process

ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components

Business process variability: a tool for declarative template design

ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

While Business Process Management (BPM) was designed to support rigid production processes, nowadays it is also at the core of more flexible business applications and has established itself firmly in the service world. Such a shift calls for new techniques. In this paper, we introduce a variability framework for BPM which utilizes temporal logic formalisms to represent the essence of a process, leaving other choices open for later customization or adaption. The goal is to solve two major issues of BPM: enhancing reusability and flexibility. Furthermore, by enriching the process modelling environment with graphical elements, the complications of temporal logic are hidden from the user.