Property specification patterns for finite-state verification
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
A Framework for Organisational Control Principles
ACSAC '02 Proceedings of the 18th Annual Computer Security Applications Conference
Model Checking Early Requirements Specifications in Tropos
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Dealing with contract violations: formalism and domain specific language
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Taming Compliance with Sarbanes-Oxley Internal Controls Using Database Technology
ICDE '06 Proceedings of the 22nd International Conference on Data Engineering
A model-checking approach to analysing organisational controls in a loan origination process
Proceedings of the eleventh ACM symposium on Access control models and technologies
Process modelling: the deontic way
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
Compliance checking between business processes and business contracts
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
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
Rules and Ontology in Compliance Management
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
Business Process Management: Concepts, Languages, Architectures
Business Process Management: Concepts, Languages, Architectures
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
Task-based entailment constraints for basic workflow patterns
Proceedings of the 13th ACM symposium on Access control models and technologies
Checking correctness of business contracts via commitments
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Auditing Business Process Compliance
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Measurement of Compliance Distance in Business Processes
Information Systems Management
A Rule-Based Framework Using Role Patterns for Business Process Compliance
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
Formal Methods for Components and Objects
Generation of business process models for object life cycle compliance
BPM'07 Proceedings of the 5th international conference on Business process management
A conceptually rich model of business process compliance
APCCM '10 Proceedings of the Seventh Asia-Pacific Conference on Conceptual Modelling - Volume 110
An approach to capture authorisation requirements in business processes
Requirements Engineering
Emerging challenges in information systems research for regulatory compliance management
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Towards a Framework for Business Process Compliance
EDOCW '10 Proceedings of the 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops
Business process compliance through reusable units of compliant processes
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
Security validation of business processes via model-checking
ESSoS'11 Proceedings of the Third international conference on Engineering secure software and systems
On the formal specification of regulatory compliance: a comparative analysis
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Process compliance analysis based on behavioural profiles
Information Systems
Enterprise Regulatory Compliance Modeling Using CoReL: An Illustrative Example
CEC '11 Proceedings of the 2011 IEEE 13th Conference on Commerce and Enterprise Computing
Pattern based property specification and verification for service composition
WISE'06 Proceedings of the 7th international conference on Web Information Systems
BPM'06 Proceedings of the 4th international conference on Business Process Management
Designing compliant business processes with obligations and permissions
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
Hi-index | 0.00 |
Regulatory compliance management (RCM) is a problem gaining wide interest in the business process management (BPM) community. However, research has not yet provided a non-ambiguous and agreed-upon definition of RCM, and it is hard for newcomers to this field of research to get a clear overview of available results. This paper surveys and analyzes solutions proposed in research on RCM from the perspective of BPM, and gives an insight into the current strengths and limitations of solutions to RCM applied to BPM. We extract a set of evaluation criteria on RCM elicited from the surveyed works and proceed to a comparative analysis of the latter against the identified requirements.