A rewriting framework for activities subject to regulations

DOI10.4230/LIPICS.RTA.2012.305MaRDI QIDQ5111913zbMATH OpenFDO

Authors Tajana Ban Kirigin, Vivek Nigam, Ranko Perovic, Max Kanovich, Andre Scedrov, Carolyn Talcott

Publication date 27 May 2020

Full work available at URL https://doi.org/10.4230/LIPICS.RTA.2012.305

zbMATH Keywords

applications of rewrite systemsclinical investigationscollaborative systemsMaudemultiset rewrite systems

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Grammars and rewriting systems (68Q42) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Medical applications (general) (92C50)

Recommendations

• A rewriting framework and logic for activities subject to regulations
• Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
• scientific article; zbMATH DE number 1301603
• Computational complexity of compliance and conformance: drawing a line between theory and practice
• Algorithms for tractable compliance problems

Cited in

(5)

• On the complexity of verification of time-sensitive distributed systems
• A framework for linear authorization logics
• scientific article; zbMATH DE number 1670571 (Why is no real title available?)
• Two Decades of Maude
• A rewriting framework and logic for activities subject to regulations

This page was built for publication: A rewriting framework for activities subject to regulations

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