A Rule-Based Approach to Match Structural Patterns with Business Process Models

Authors:
Jens Müller
Affiliations:
SAP Research CEC Karlsruhe, Karlsruhe, Germany 76131
Venue:
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Year:
2009

Citing 3
Cited 1

Verification of Business Process Quality Constraints Based on Visual Process Patterns

TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Querying business processes with BP-QL

Information Systems
DecSerFlow: towards a truly declarative service flow language

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods

Querying business process models with VMQL

Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Business process models may contain certain sets of related elements of interest to modellers. External constraints on business process models may, for example, require or prohibit the presence of a specific set of related model elements or a temporal relationship between different sets. To automatically evaluate such constraints, the existence of these sets must be verified beforehand. In this paper, we present a modelling language for structural patterns using a graphical notation. These patterns are used to describe related model elements of interest. Furthermore, we introduce a technique to match pattern models with business process models using a rule-based system.