Are we done with business process compliance: state of the art and challenges ahead
Literature on business process compliance (BPC) has predominantly focused on the
alignment of the regulatory rules with the design, verification and validation of business …
alignment of the regulatory rules with the design, verification and validation of business …
On legal contracts, imperative and declarative smart contracts, and blockchain systems
This paper provides an analysis of how concepts pertinent to legal contracts can influence
certain aspects of their digital implementation through smart contracts, as inspired by recent …
certain aspects of their digital implementation through smart contracts, as inspired by recent …
Business process compliance checking: Current state and future challenges
M Kharbili, AKA Medeiros, S Stein… - Modellierung …, 2008 - dl.gi.de
Regulatory compliance sets new requirements for business process management (BPM).
Companies seek to enhance their corporate governance processes and are required to put …
Companies seek to enhance their corporate governance processes and are required to put …
Compliance checking between business processes and business contracts
It is a typical scenario that many organisations have their business processes specified
independently of their business contracts. This is because of the lack of guidelines and tools …
independently of their business contracts. This is because of the lack of guidelines and tools …
[PDF][PDF] Business process regulatory compliance management solution frameworks: A comparative evaluation
M El Kharbili - Proceedings of the Eighth Asia …, 2012 - crpit.scem.westernsydney.edu.au
Regulatory compliance management (RCM) is a problem gaining wide interest in the
business process management (BPM) community. However, research has not yet provided …
business process management (BPM) community. However, research has not yet provided …
A formal analysis of a business contract language
This paper presents a formal system for reasoning about violations of obligations in
contracts. The system is based on the formalism for the representation of contrary-to-duty …
contracts. The system is based on the formalism for the representation of contrary-to-duty …
Specification, verification and explanation of violation for data aware compliance rules
Compliance checking is becoming an inevitable step in the business processes
management life cycle. Languages for expressing compliance requirements should address …
management life cycle. Languages for expressing compliance requirements should address …
Specification and analysis of legal contracts with Symboleo
Legal contracts specify the terms and conditions—in essence, requirements—that apply to
business transactions. This paper proposes a formal specification language for legal …
business transactions. This paper proposes a formal specification language for legal …
The Regorous approach to process compliance
G Governatori - 2015 IEEE 19th International Enterprise …, 2015 - ieeexplore.ieee.org
We propose an ITC (Information and Communication Technology) approach to support
regulatory compliance for business processes, and we report on the development and …
regulatory compliance for business processes, and we report on the development and …
Enabling reasoning with LegalRuleML
In order to automate verification process, regulatory rules written in natural language need to
be translated into a format that machines can understand. However, none of the existing …
be translated into a format that machines can understand. However, none of the existing …