Publication

Business Process Variability: A Study into Process Management and Verification

Groefsema, H., 2016, [Groningen]: Rijksuniversiteit Groningen. 228 p.

Research output: ThesisThesis fully internal (DIV)Academic

APA

Groefsema, H. (2016). Business Process Variability: A Study into Process Management and Verification. [Groningen]: Rijksuniversiteit Groningen.

Author

Groefsema, Heerko. / Business Process Variability : A Study into Process Management and Verification. [Groningen] : Rijksuniversiteit Groningen, 2016. 228 p.

Harvard

Groefsema, H 2016, 'Business Process Variability: A Study into Process Management and Verification', Doctor of Philosophy, University of Groningen, [Groningen].

Standard

Business Process Variability : A Study into Process Management and Verification. / Groefsema, Heerko.

[Groningen] : Rijksuniversiteit Groningen, 2016. 228 p.

Research output: ThesisThesis fully internal (DIV)Academic

Vancouver

Groefsema H. Business Process Variability: A Study into Process Management and Verification. [Groningen]: Rijksuniversiteit Groningen, 2016. 228 p.


BibTeX

@phdthesis{9d23dd6a74d645b1b4760fb69ea25db0,
title = "Business Process Variability: A Study into Process Management and Verification",
abstract = "Business Process Management (BPM) manages and optimizes business processes with the intent to increase productivity and performance. BPM is a rapidly evolving field due to new requirements emerging at agile branches of business where business processes are required to be less and less rigid. Where BPM supported local user-specific rigid and repetitive units of work in the past, these days it is required to support loosely-coupled processes in cloud configurations among many users with each many different requirements.As the field of BPM continues to manage an increasing number of rapidly evolving business processes in agile environments, the evolution of each business process must continue to always behave in a correct manner and remain compliant with the laws, regulations, and internal business requirements imposed upon it. To manage the correct behavior of quickly evolving business processes, or the definition of a wide variety of similar business processes, we evaluate the application of formal verification techniques as a possible solution for the pre-runtime analysis of the correct behavior and compliant design of business processes within possible process families. A novel approach allowing pre-runtime verification that supports the different branching and merging constructs allowed by business process models and their service compositions is presented. Evaluations on expressive power demonstrate that, other than the generally employed transition systems, the proposed model correctly captures well-known business process patterns. Furthermore, it maintains information on parallel occurrences of activities and the local next activity occurrence: an ability which is unique to the presented approach.",
author = "Heerko Groefsema",
year = "2016",
language = "English",
isbn = "978-90-367-9237-0",
publisher = "Rijksuniversiteit Groningen",
school = "University of Groningen",

}

RIS

TY - THES

T1 - Business Process Variability

T2 - A Study into Process Management and Verification

AU - Groefsema, Heerko

PY - 2016

Y1 - 2016

N2 - Business Process Management (BPM) manages and optimizes business processes with the intent to increase productivity and performance. BPM is a rapidly evolving field due to new requirements emerging at agile branches of business where business processes are required to be less and less rigid. Where BPM supported local user-specific rigid and repetitive units of work in the past, these days it is required to support loosely-coupled processes in cloud configurations among many users with each many different requirements.As the field of BPM continues to manage an increasing number of rapidly evolving business processes in agile environments, the evolution of each business process must continue to always behave in a correct manner and remain compliant with the laws, regulations, and internal business requirements imposed upon it. To manage the correct behavior of quickly evolving business processes, or the definition of a wide variety of similar business processes, we evaluate the application of formal verification techniques as a possible solution for the pre-runtime analysis of the correct behavior and compliant design of business processes within possible process families. A novel approach allowing pre-runtime verification that supports the different branching and merging constructs allowed by business process models and their service compositions is presented. Evaluations on expressive power demonstrate that, other than the generally employed transition systems, the proposed model correctly captures well-known business process patterns. Furthermore, it maintains information on parallel occurrences of activities and the local next activity occurrence: an ability which is unique to the presented approach.

AB - Business Process Management (BPM) manages and optimizes business processes with the intent to increase productivity and performance. BPM is a rapidly evolving field due to new requirements emerging at agile branches of business where business processes are required to be less and less rigid. Where BPM supported local user-specific rigid and repetitive units of work in the past, these days it is required to support loosely-coupled processes in cloud configurations among many users with each many different requirements.As the field of BPM continues to manage an increasing number of rapidly evolving business processes in agile environments, the evolution of each business process must continue to always behave in a correct manner and remain compliant with the laws, regulations, and internal business requirements imposed upon it. To manage the correct behavior of quickly evolving business processes, or the definition of a wide variety of similar business processes, we evaluate the application of formal verification techniques as a possible solution for the pre-runtime analysis of the correct behavior and compliant design of business processes within possible process families. A novel approach allowing pre-runtime verification that supports the different branching and merging constructs allowed by business process models and their service compositions is presented. Evaluations on expressive power demonstrate that, other than the generally employed transition systems, the proposed model correctly captures well-known business process patterns. Furthermore, it maintains information on parallel occurrences of activities and the local next activity occurrence: an ability which is unique to the presented approach.

M3 - Thesis fully internal (DIV)

SN - 978-90-367-9237-0

PB - Rijksuniversiteit Groningen

CY - [Groningen]

ER -

ID: 37651944