Checking Correctness and Compliance of Integrated Process Models

  title={Checking Correctness and Compliance of Integrated Process Models},
  author={Ren{\'e} W{\"o}rzberger and Thomas Kurpick and Thomas Heer},
  journal={2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
  • R. Wörzberger, T. Kurpick, T. Heer
  • Published 26 September 2008
  • Computer Science
  • 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Models of different kinds are used in the area of business process management. Abstract process knowledge as well as executable process definitions can be visualized and edited in a graphical manner. The same holds true for models of process instances in some process-aware information systems (PAIS), which allow for dynamic modifications in a process instance during process runtime. An appropriate modeling tool must not only provide means to graphically edit different kinds of models on… 

Figures from this paper

DYPROTO - tools for dynamic business processes

This article delineates how explicit process knowledge can be graphically modelled and exploited in automatic checks using OCL-constrained and integrated meta-models, and defines an approach for obtaining dynamic process execution support based on this static PMS by automatically augmenting existing WS-BPEL process definitions and run time data.

Pattern-Based Modeling and Formalizing of Business Process Quality Constraints

A new visual language for modeling quality constraints is defined and a pattern-based translation for quality constraint models into Computation Tree Logic formulas is provided, which simplifies the verification of quality constraints on business processes by applying model checking.

Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector

A generic pattern matching approach for conceptual models to business process compliance checking in the financial sector by applying a model query language, a search algorithm and a corresponding modelling tool prototype is applied.

Generalizability and Applicability of Model-Based Business Process Compliance-Checking Approaches — A State-of-the-Art Analysis and Research Roadmap

This work reflects and discusses compliance-checking approaches in order to provide an insight into their generalizability and evaluation, and proposes a roadmap for further research in model-based business process compliance checking.


This solution provides process support on different levels of granularity: from personal workflows of individual engineers over cooperation support for engineers in a development team to monitoring of the project as a whole.

Supporting Business Process Compliance in Financial Institutions - A Model-Driven Approach

A model checking approach is presented that is able to check process models for BPC by applying a generic pattern matching approach to the Semantic Business Process Modeling Language (SBPML) allowing for extended model checking not being restricted to predecessor-successor relationships.

Controlling Development Processes

  • T. Heer
  • Computer Science
    Aachener Informatik-Berichte, Software Engineering
  • 2011
This thesis describes a new concept for a process management system, which combines the strengths of the aforementioned tools and eliminates their deficiencies by substantial extensions with respect to task scheduling, progress measurement, and change management in development projects.



Web Services Business Process Execution Language Version 2.0 (OASIS Standard)

The continuity of the basic conceptual model between Abstract and Executable Processes in WSBPEL makes it possible to export and import the public aspects embodied in Abstract Processes as process or role templates while maintaining the intent and structure of the observable behavior.

Compliance of Semantic Constraints - A Requirements Analysis for Process Management Systems

Fundamental requirements for a comprehensive support of semantic constraints in PrMS are discussed and a survey on existing approaches is provided to what extent they meet the requirements and which challenges still have to be tackled.

A Declarative Foundation of Process Models

In this paper, a declarative foundation for process models is proposed and the notion of activity dependency model is introduced, which identifies, classifies, and relates activities needed for executing and coordinating value transfers.

DYNAMITE: DYNAMIc Task nEts for software process management

In order to describe editing and enactment (and their interaction) in a uniform way, task nets are formally defined by means of a programmed graph rewriting system.

DECLARE: Full Support for Loosely-Structured Processes

It is shown how DECLARE can support loosely-structured processes without sacrificing important WFMSs features like user support, model verification, analysis of past executions, changing models at run-time, etc.

Formalization and Verification of EPCs with OR-Joins Based on State and Context

A novel semantical definition of EPCs is presented that addresses the semantics of the OR-join and reduction rules for the verification of an EPCspecific soundness criterion and presents a respective implementation.

Auditing Business Process Compliance

A semantic characterization of a minimal revision strategy that helps to obtain compliant process models from models that might be initially non-compliant, in a manner that accommodates the structural and semantic dimensions of parsimoniously annotated process models.

Diagnosing Workflow Processes using Woflan

The functionality of Woflan is described, emphasizing diagnostics to locate the source of a design error and shows that W oflan guides the user in finding and correcting errors in the design of workflows.

Beyond stereotyping: metamodeling approaches for the UML

The paper discusses and evaluates the UML's inherent as well as proprietary metamodeling approaches and provides domain driven ideas for a meta-modeling approach for a diversely used Unified Modeling Language.