Business process compliance using reference models of law

DOI10.1007/978-3-030-45234-6_19MaRDI QIDQ5039540zbMATH OpenOpenAlexFDO

Authors Hugo A. López, Søren Debois, Tijs Slaats, Thomas Hildebrandt

Publication date 13 October 2022

Published in Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-45234-6_19

zbMATH Keywords

compliance checkingdynamic condition response (DCR) graphsformal models of lawprocess calculirefinement

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of organizations, manpower planning in operations research (90B70)

Recommendations

• Efficient semantics-based compliance checking using LTL formulae and unfolding
• Algorithms for tractable compliance problems
• Verifying business process compliance by reasoning about actions
• Computational complexity of compliance and conformance: drawing a line between theory and practice
• Compliance in business processes with incomplete information and time constraints: a general framework based on abductive reasoning

Cites work

• Changing legal systems: legal abrogations and annulments in Defeasible Logic
• Contracts for cross-organizational workflows as timed dynamic condition response graphs
• Nested dynamic condition response graphs
• Process mining. Discovery, conformance and enhancement of business processes.
• Replication, refinement \& reachability: complexity in dynamic condition-response graphs
• Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes

Cited in

(3)

• Algorithms for tractable compliance problems
• Efficient semantics-based compliance checking using LTL formulae and unfolding
• Computational complexity of compliance and conformance: drawing a line between theory and practice

This page was built for publication: Business process compliance using reference models of law

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5039540)