Business Process Compliance Using Reference Models of Law

DOI10.1007/978-3-030-45234-6_19OpenAlexW3020814836MaRDI QIDQ5039540

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

Publication date: 13 October 2022

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

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

zbMATH Keywords

refinementprocess calculicompliance checkingdynamic condition response (DCR) graphsformal models of law

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)

Cites Work

• Replication, refinement \& reachability: complexity in dynamic condition-response graphs
• Contracts for cross-organizational workflows as timed dynamic condition response graphs
• Nested Dynamic Condition Response Graphs
• Process Mining
• Changing legal systems: legal abrogations and annulments in Defeasible Logic
• Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

This page was built for publication: Business Process Compliance Using Reference Models of Law