Checking Correctness and Compliance of Integrated Process Models

Wörzberger, René; Kurpick, Thomas; Heer, Thomas

doi:10.1109/synasc.2008.10

Cited by 10 publications

(9 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Third, the process definition model meta-model also covers data flow, which is neglected in Figure 8 for sake of brevity. Wörzberger et al (2008b) show how data flow can be utilised to formalise constraints like the one that process variables have to be initialised before being read. Fourth, OCL-expressions are always evaluated on a certain model element.…”

Section: Discussionmentioning

confidence: 99%

“…Correctness constraints require, e.g., that process variables have to be initialised by some activity before they can be read (cf. Wörzberger et al, 2008b) or that process variables should not be written by concurrent activities in order to avoid lost updates. Moreover, dynamic changes in process instance models should not introduce unreachable activities.…”

Section: Technical Correctness Constraintsmentioning

confidence: 99%

“…This constraint valuates to false, if an ActivityType is an ancestor of itself with regard to specialisation. In Wörzberger et al (2008b), we exemplify another correctness constraint in OCL which constraints process definition and instance models.…”

Section: Syntax Checks Of Integrated Process Modelsmentioning

confidence: 99%

“…Then it checks for all these relationships via matchBounds and allSuccs if the precedence relationships are satisfied in the process instance model of the checked activity. Wörzberger et al (2008b) provides a more detailed description of this and other OCL-expressions.…”

Section: Syntax Checks Of Integrated Process Modelsmentioning

confidence: 99%

See 3 more Smart Citations

DYPROTO â tools for dynamic business processes

Wörzberger

Heer

2011

IJBPIM

Self Cite

View full text Add to dashboard Cite

Abstract:In this article, we present research results about tools for supporting dynamic business processes. This research work has been conducted in a three-year cooperation between our department and an IT service provider for insurance companies. Our partner's process management system (PMS) is rather aligned with static processes, whose structure is not changed at process run time. Therefore, we contribute an approach for obtaining dynamic process execution support based on this static PMS by automatically augmenting existent WS-BPEL process definitions and run time data. Dynamically changeable processes are presented to process participants as graphical models by a process model editor. This editor aids process participants with performing dynamic changes in as much as it is aware of explicit and implicit technical and professional process knowledge and detects violations against this knowledge in dynamically changed process instance models. We delineate how explicit process knowledge can be graphically modelled and exploited in automatic checks using OCL-constrained and integrated meta-models. Checks versus explicit knowledge are complemented by checks versus implicit knowledge which is contained in other process definition and process instance models. These checks include process similarity computations based on graph grammar formalisms and tools.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Technical Correctness Constraintsmentioning

confidence: 99%

Section: Syntax Checks Of Integrated Process Modelsmentioning

confidence: 99%

Section: Syntax Checks Of Integrated Process Modelsmentioning

confidence: 99%

See 2 more Smart Citations

DYPROTO â tools for dynamic business processes

Wörzberger

Heer

2011

IJBPIM

Self Cite

View full text Add to dashboard Cite

show abstract

“…One possibility is to use simple IF-THEN-rules or their derived extensions of ECA-rules (event-condition-action) or ECAA-rules (event-conditionaction-alternative) (Hanson 1992). Another possibility is the Business Process Compliance Language (BPCL) (Wörzberger et al 2008), which defines inclusion, precedence and existence conditions for business rules. However, all of these constructs can only partially be applied to very different types of business rules (not just regarding process control flows, but also business objects used in a process, as well as resources), not all of them are easily understood by business process compliance officers (e.g.…”

Section: State Of the Art In Modeling And Analysis Of Business Procesmentioning

confidence: 99%

Modeling and Analysis of Business Process Compliance

Becker¹,

Ahrendt²,

Coners

et al. 2011

Governance and Sustainability in Information Systems. Managing the Transfer and Diffusion of IT

View full text Add to dashboard Cite

Pattern-Based Modeling and Formalizing of Business Process Quality Constraints

Khaluf

Gerth

Engels

2011

Notes on Numerical Fluid Mechanics and Multidisciplinary Design

View full text Add to dashboard Cite

The quality of business processes can be checked by verifying their compliance with specific quality constraints. These constraints represent a set of required temporal and logical relationships between different steps of business processes. Quality constraints are usually formulated as informal texts, which makes them difficult to be verified, when business processes become complex. One way to solve this problem is by automating the verification of quality constraints on business processes by applying model checking. To apply model checking, both business processes and quality constraints have to be formalized. In this paper, we define a new visual language for modeling quality constraints and we provide a pattern-based translation for quality constraint models into Computation Tree Logic formulas.

show abstract

Checking Correctness and Compliance of Integrated Process Models

Cited by 10 publications

References 13 publications

DYPROTO â tools for dynamic business processes

DYPROTO â tools for dynamic business processes

Modeling and Analysis of Business Process Compliance

Pattern-Based Modeling and Formalizing of Business Process Quality Constraints

Contact Info

Product

Resources

About