Now showing items 1-2 of 2
First-order mu-calculus over Generic Transition Systems and Applications to the Situation Calculus
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 ...
Semantics, Analysis and Simplification of DMN Decision Tables
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 ...