A hierarchy of temporal logics with past
STACS '94 Selected papers of the eleventh symposium on Theoretical aspects of computer science
Model checking
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
On Solving Temporal Logic Queries
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Tool Support for Verifying UML Activity Diagrams
IEEE Transactions on Software Engineering
Symbolic model checking of UML activity diagrams
ACM Transactions on Software Engineering and Methodology (TOSEM)
Compliance checking between business processes and business contracts
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
A Pattern-driven Development Process for Quality Standard-conforming Business Process Models
VLHCC '06 Proceedings of the Visual Languages and Human-Centric Computing
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
A static compliance-checking framework for business process models
IBM Systems Journal
Semantics and analysis of business process models in BPMN
Information and Software Technology
Auditing Business Process Compliance
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Pattern-based design and validation of business process compliance
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Compliance aware business process design
BPM'07 Proceedings of the 2007 international conference on Business process management
Pattern based property specification and verification for service composition
WISE'06 Proceedings of the 7th international conference on Web Information Systems
Process mining and verification of properties: an approach based on temporal logic
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Verification of EPCs: using reduction rules and petri nets
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Designing compliant business processes with obligations and permissions
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
Verification of Business Process Entailment Constraints Using SPIN
ESSoS '09 Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
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
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
Design and verification of instantiable compliance rule graphs in process-aware information systems
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Similarity of business process models: Metrics and evaluation
Information Systems
Business process compliance through reusable units of compliant processes
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
On enabling data-aware compliance checking of business process models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
APROMORE: An advanced process model repository
Expert Systems with Applications: An International Journal
Visually specifying compliance rules and explaining their violations for business processes
Journal of Visual Languages and Computing
Monitoring unmanaged business processes
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Defining process performance indicators: an ontological approach
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
On the formal specification of regulatory compliance: a comparative analysis
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Pattern-based modeling and formalizing of business process quality constraints
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Querying semantically enriched business processes
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
EGOVIS'11 Proceedings of the Second international conference on Electronic government and the information systems perspective
Monitoring business constraints with linear temporal logic: an approach based on colored automata
BPM'11 Proceedings of the 9th international conference on Business process management
Business process model repositories - Framework and survey
Information and Software Technology
Compliance in service-oriented architectures: A model-driven and view-based approach
Information and Software Technology
An operational decision support framework for monitoring business constraints
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
On compliance checking for clausal constraints in annotated process models
Information Systems Frontiers
Artifact-Centric modeling using BPMN
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
On efficient processing of BPMN-Q queries
Computers in Industry
Business process data compliance
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Aligning event logs and declarative process models for conformance checking
BPM'12 Proceedings of the 10th international conference on Business Process Management
Where did i misbehave? diagnostic information in compliance checking
BPM'12 Proceedings of the 10th international conference on Business Process Management
Fast detection of exact clones in business process model repositories
Information Systems
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
A Model Slicing Method for Workflow Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Managing legal interpretation in regulatory compliance
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Empirical Evaluation of Test Driven Modeling
International Journal of Information System Modeling and Design
A State-Based Intention Driven Declarative Process Model
International Journal of Information System Modeling and Design
MOCQL: a declarative language for ad-hoc model querying
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
On enabling compliance of cross-organizational business processes
BPM'13 Proceedings of the 11th international conference on Business Process Management
How to guarantee compliance between workflows and product lifecycles?
Information Systems
| Hi-index | 0.00 |
Compliance rules describe regulations, policies and quality constraints business processes must adhere to. Given the large number of rules and their frequency of change, manual compliance checking can become a time-consuming task. Automated compliance checking of process activities and their ordering is an alternative whenever business processes and compliance rules are described in a formal way. This paper introduces an approach for automated compliance checking. Compliance rules are translated into temporal logic formulae that serve as input to model checkers which in turn verify whether a process model satisfies the requested compliance rule. To address the problem of state-space explosion we employ a set of reduction rules. The approach is prototypically realized and evaluated.