Validation with guided search of the state space
DAC '98 Proceedings of the 35th annual Design Automation Conference
Property specification patterns for finite-state verification
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Production workflow: concepts and techniques
Production workflow: concepts and techniques
A formal language for composition
Foundations of component-based systems
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Distributed and Parallel Databases
From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
Branching vs. Linear Time: Final Showdown
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Requirements for a Composition Language
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
RuleBase: Model Checking at IBM
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Alternating-time Temporal Logic
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
Visual specification of branching time temporal logic
VL '95 Proceedings of the 11th International IEEE Symposium on Visual Languages
Formalization of UML Statechart Diagrams in the p-Calculus
ASWEC '01 Proceedings of the 13th Australian Conference on Software Engineering
A model-checking verification environment for mobile processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Proceedings of the 28th international conference on Software engineering
Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations
HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
Guided Reasoning of Complex E-Business Process with Business Bug Patterns
ICEBE '06 Proceedings of the IEEE International Conference on e-Business Engineering
Essential Business Process Modeling
Essential Business Process Modeling
Optimized enterprise risk management
IBM Systems Journal
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Regulations Expressed As Logical Models (REALM)
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Analyzing interacting BPEL processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
WofBPEL: a tool for automated analysis of BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
ICWE'05 Proceedings of the 5th international conference on Web Engineering
Using the π-calculus for formalizing workflow patterns
BPM'05 Proceedings of the 3rd international conference on Business Process Management
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Optimized enterprise risk management
IBM Systems Journal
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Measurement of Compliance Distance in Business Processes
Information Systems Management
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
Satisfaction of Control Objectives by Control Processes
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
A method for validating the compliance of business processes to business rules
Proceedings of the 2010 ACM Symposium on Applied Computing
Indra: an integrated quantitative system for compliance management for IT service delivery
IBM Journal of Research and Development
A conceptually rich model of business process compliance
APCCM '10 Proceedings of the Seventh Asia-Pacific Conference on Conceptual Modelling - Volume 110
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
Emerging challenges in information systems research for regulatory compliance management
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Analyzing compliance of service-based business processes for root-cause analysis and prediction
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
Business process compliance through reusable units of compliant processes
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
Norm compliance in business process modeling
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
On enabling data-aware compliance checking of business process models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Visually specifying compliance rules and explaining their violations for business processes
Journal of Visual Languages and Computing
Compliant business process design using refinement layers
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
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
Policy auditing over incomplete logs: theory, implementation and applications
Proceedings of the 18th ACM conference on Computer and communications security
Towards semantic methodologies for automatic regulatory compliance support
Proceedings of the 4th workshop on Workshop for Ph.D. students in information & knowledge management
Compliance in service-oriented architectures: A model-driven and view-based approach
Information and Software Technology
Achieving life-cycle compliance of service-oriented architectures: open issues and challenges
DPM'09/SETOP'09 Proceedings of the 4th international workshop, and Second international conference on Data Privacy Management and Autonomous Spontaneous Security
Understanding and protecting privacy: formal semantics and principled audit mechanisms
ICISS'11 Proceedings of the 7th international conference on Information Systems Security
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
On compliance checking for clausal constraints in annotated process models
Information Systems Frontiers
Managing license compliance in free and open source software development
Information Systems Frontiers
Journal of Computer Science and Technology - Special issue on Natural Language Processing
A pattern-based approach for the verification of business process descriptions
Information and Software Technology
Business process data compliance
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Management-Based license discovery for the cloud
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Flexible Process Compliance with Semantic Constraints Using Mixed-Integer Programming
INFORMS Journal on Computing
Business process regulatory compliance management solution frameworks: a comparative evaluation
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
Enriching process models for business process compliance checking in ERP environments
DESRIST'13 Proceedings of the 8th international conference on Design Science at the Intersection of Physical and Virtual Design
How to guarantee compliance between workflows and product lifecycles?
Information Systems
Hi-index | 0.00 |
Regulatory compliance of business operations is a critical problem for enterprises. As enterprises increasingly use business process management systems to automate their business processes, technologies to automatically check the compliance of process models against compliance rules are becoming important. In this paper, we present a method to improve the reliability and minimize the risk of failure of business process management systems from a compliance perspective. The proposed method allows separate modeling of both process models and compliance concerns. Business process models expressed in the Business Process Execution Language are transformed into pi-calculus and then into finite state machines. Compliance rules captured in the graphical Business Property Specification Language are translated into linear temporal logic. Thus, process models can be verified against these compliance rules by means of model-checking technology. The benefit of our method is threefold: Through the automated verification of a large set of business process models, our approach increases deployment efficiency and lowers the risk of installing noncompliant processes; it reduces the cost associated with inspecting business process models for compliance; and compliance checking may ensure compliance of new process models before their execution and thereby increase the reliability of business operations in general.