Search
Now showing items 1-5 of 5
-
First-order mu-calculus over Generic Transition Systems and Applications to the Situation Calculus
(2018)We consider muL, muLa, and muLp, three variants of the first-order mu-calculus studied in verification of data-aware processes, that differ in the form of quantification on objects across states. Each of these three logics ... -
Description logic Knowledge and Action Bases
({AAAI} Press/The {MIT} Press, 2013)Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a description logic knowledge base and actions ... -
Soundness of Data-aware, Case-centric Processes
(2016)In recent years, a plethora of foundational results and corresponding techniques and tools has been developed to support the modeling, analysis, execution and improvement of business processes along their entire lifecycle. ... -
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge
(2019)The Decision Model and Notation (DMN) is a recent OMG standard for the elicitation and representation of decision models, and for managing their interconnection with business processes. DMN builds on the notion of decision ... -
Semantics, Analysis and Simplification of DMN Decision Tables
(Elsevier, 2018)The Decision Model and Notation (DMN) is a standard notation to capture decision logic in business applications. A central construct in DMN is that of a decision table. The increasing use of DMN decision tables to capture ...