Predictive compliance monitoring in process-aware information systems: State of the art, functionalities, research directions
Business process compliance is a key area of business process management and aims at
ensuring that processes obey to compliance constraints such as regulatory constraints or …
ensuring that processes obey to compliance constraints such as regulatory constraints or …
[HTML][HTML] Verifying compliance in process choreographies: Foundations, algorithms, and implementation
The current push towards interoperability drives companies to collaborate through process
choreographies. At the same time, they face a jungle of continuously changing regulations …
choreographies. At the same time, they face a jungle of continuously changing regulations …
Ontology-based process modelling-will we live to see it?
C Corea, M Fellmann, P Delfmann - … , ER 2021, Virtual Event, October 18 …, 2021 - Springer
In theory, ontology-based process modelling (OBPM) bares great potential to extend
business process management. Many works have studied OBPM and are clear on the …
business process management. Many works have studied OBPM and are clear on the …
[PDF][PDF] Business Process Compliance Using Reference Models of Law.
Legal compliance is an important part of certifying the correct behaviour of a business
process. To be compliant, organizations might hard-wire regulations into processes, limiting …
process. To be compliant, organizations might hard-wire regulations into processes, limiting …
Technology-, human-, and data-driven developments in business process management: a literature analysis
Approaches of business process management (BPM) are always changing, because
underlying business strategies and technological implementation are constantly evolving …
underlying business strategies and technological implementation are constantly evolving …
Formal framework for checking compliance of data-driven case management
Business processes are often specified in descriptive or normative models. Both types of
models should adhere to internal and external regulations, such as company guidelines or …
models should adhere to internal and external regulations, such as company guidelines or …
Decomposition-based verification of global compliance in process choreographies
The verification of global compliance rules (GCR) in process choreographies (eg, partner-
spanning quality assurance in supply chains) is crucial and challenging due to the restricted …
spanning quality assurance in supply chains) is crucial and challenging due to the restricted …
Business process full compliance with respect to a set of conditional obligation in polynomial time
In this paper, we present a new methodology to evaluate whether a business process model
is fully compliant with a regulatory framework composed of a set of conditional obligations …
is fully compliant with a regulatory framework composed of a set of conditional obligations …
Verifying compliance of process compositions through certification of its components
SC Tosatto, G Governatori… - 2020 IEEE 24th …, 2020 - ieeexplore.ieee.org
In this paper, we propose a methodology to verify the regulatory compliance of a
composition of multiple interacting business process models. The proposed solution is …
composition of multiple interacting business process models. The proposed solution is …
[PDF][PDF] Proving Regulatory Compliance: A Computational Complexity Analysis of Elementary Variants
SC Tosatto, G Governatori… - arXiv preprint arXiv …, 2021 - researchgate.net
Organisations model their processes using so-called business process models, to allow for
verification of their correctness with respect to regulatory requirements and business rules …
verification of their correctness with respect to regulatory requirements and business rules …