Current Business Process Management technologies cover all the process life-cycle but still suffer from many limitations with respect to their complexity, maintainability and degree of automation. Recent research initiatives aim at overcoming these limitations by introducing Semantic technologies in the process life-cycle, mainly in the modeling and execution phases. But other steps of the proc...

The paper proposes a new methodology for defining business process measures and their computation. The approach is based on metamodeling according to MOF. Especially, a metamodel providing precise definitions of typical process measures for UML activity diagram-like notation is proposed, including precise definitions how measures should be aggregated for composite process elements.

Process mining has developed into a popular research discipline and nowadays its associated techniques are widely applied in practice. What is currently ill-understood is how the success of a process mining project can be measured and what the antecedent factors of process mining success are. We consider an improved, grounded understanding of these aspects of value to better manage the effectiv...

Compliance issues impose significant management and reporting requirements upon organizations.We present an approach to enhance business process modeling notations with the capability to detect and resolve many broad compliance related issues. We provide a semantic characterization of a minimal revision strategy that helps us obtain compliant process models from models that might be initially n...

Semantic Business Process Management (SBPM) utilizes semantic technologies to achieve more automation throughout the BPM lifecycle. An integral part of the SBPM infrastructure is a semantic business process repository, which is used for storage and management of business process modeling artifacts. As in SBPM business process models are based on process ontologies, the semantic business process...

Organizations have taken benefit from quality management practices in manufacturing and logistics with respect to competitiveness as well as profitability. At the same time, an ever-growing share of the organizational value chain centers around transactional administrative processes addressed by business process management concepts, e.g. in finance and accounting. Integrating these fields is th...

In this tutorial, we compare OWL-DL reasoning and Petri net analysis for validating refinement and grounding of business processes. (1) Process refinement: Like in software engineering, the implementation of a business process involves different interacting roles, such as business expert, analyst, process architect, and developer. Each role designs and refines different abstractions of the proc...

The behavior of commercial systems is described with business process models. There are different notations and formalism to express business processes. Many of these notations such as BPMN or ARIS EPC models are widely used in commercial projects. In the paper we focus on formalisms to express rules and specifications for the business processes. Temporal logic in general is a suitable formalis...