Verification of Business Process Quality Constraints Based on Visual Process Patterns

Authors:
Alexander Forster;Gregor Engels;Tim Schattkowsky;Ragnhild Van Der Straeten
Affiliations:
University of Paderborn;University of Paderborn;University of Paderborn;Vrije Universiteit Brussel
Venue:
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Year:
2007

Citing 0
Cited 14

Applying Patterns during Business Process Modeling

BPM '08 Proceedings of the 6th International Conference on Business Process Management
Efficient Compliance Checking Using BPMN-Q and Temporal Logic

BPM '08 Proceedings of the 6th International Conference on Business Process Management
A Rule-Based Approach to Match Structural Patterns with Business Process Models

RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Resolution of Compliance Violation in Business Process Models: A Planning-Based Approach

OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Developer-friendly verification of process-based systems

Knowledge-Based Systems
Checkable graphical business process representation

ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Visually specifying compliance rules and explaining their violations for business processes

Journal of Visual Languages and Computing
Workflow ART

OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
An iterative approach for business process template synthesis from compliance rules

CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Pattern-based modeling and formalizing of business process quality constraints

CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
An iterative approach to synthesize business process templates from compliance rules

Information Systems
On enabling integrated process compliance with semantic constraints in process management systems

Information Systems Frontiers
A pattern-based approach for the verification of business process descriptions

Information and Software Technology
Business process regulatory compliance management solution frameworks: a comparative evaluation

APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130

Quantified Score

Hi-index	0.00

Visualization

Abstract

Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (orbit) of symmetric states. This paper presents a framework for symmetry ...