Decision procedures and expressiveness in the temporal logic of branching time
Journal of Computer and System Sciences
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Model checking
Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
LICS '01 Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science
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
DECLARE: Full Support for Loosely-Structured Processes
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
A static compliance-checking framework for business process models
IBM Systems Journal
BPSL Modeler -- Visual Notation Language for Intuitive Business Property Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics and analysis of business process models in BPMN
Information and Software Technology
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Petri Net Transformations for Business Processes --- A Survey
Transactions on Petri Nets and Other Models of Concurrency II
Specification, Verification and Explanation of Violation for Data Aware Compliance Rules
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
A framework for querying graph-based business process models
Proceedings of the 19th international conference on World wide web
Investigations on soundness regarding lazy activities
BPM'06 Proceedings of the 4th international conference on Business Process Management
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Activity diagram patterns for modeling quality constraints in business processes
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
On compliance checking for clausal constraints in annotated process models
Information Systems Frontiers
An iterative approach for business process template synthesis from compliance rules
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Compliance by design for artifact-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
Safena and QBPM: a proposition for modeling and enacting processes in supply chain network
Proceedings of the 2011 ACM Symposium on Research in Applied Computation
Journal of Visual Languages and Computing
On efficient processing of BPMN-Q queries
Computers in Industry
Compliance by design for artifact-centric business processes
Information Systems
Engineering Applications of Artificial Intelligence
Querying business process models with VMQL
Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
Flexible Process Compliance with Semantic Constraints Using Mixed-Integer Programming
INFORMS Journal on Computing
Hi-index | 0.00 |
A business process is a set of steps designed to be executed in a certain order to achieve a business value. Such processes are often driven by and documented using process models. Nowadays, process models are also applied to drive process execution. Thus, correctness of business process models is a must. Much of the work has been devoted to check general, domain-independent correctness criteria, such as soundness. However, business processes must also adhere to and show compliance with various regulations and constraints, the so-called compliance requirements. These are domain-dependent requirements. In many situations, verifying compliance on a model level is of great value, since violations can be resolved in an early stage prior to execution. However, this calls for using formal verification techniques, e.g., model checking, that are too complex for business experts to apply. In this paper, we utilize a visual language, BPMN-Q, to express compliance requirements visually in a way similar to that used by business experts to build process models. Still, using a pattern based approach, each BPMN-Q graph has a formal temporal logic expression in computational tree logic (CTL). Moreover, the user is able to express constraints, i.e., compliance rules, regarding control flow and data flow aspects. In order to provide valuable feedback to a user in case of violations, we depend on temporal logic querying approaches as well as BPMN-Q to visually highlight paths in a process model whose execution causes violations.