145 citations · 360 across the 54 of their papers we have counts for
4 papers · 1 filter
DB-Nets: on The Marriage of Colored Petri Nets and Relational Databases
Marco Montali, Andrey Rivkin
The integrated management of business processes and mas- ter data is being increasingly considered as a fundamental problem, by both the academia and the industry. In this position…
Abducing Compliance of Incomplete Event Logs
Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino +4
The capability to store data about business processes execution in so-called Event Logs has brought to the diffusion of tools for the analysis of process executions and for the ass…
Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version)
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig +2
We propose a formalism to model database-driven systems, called database manipulating systems (DMS). The actions of a DMS modify the current instance of a relational database by ad…
Semantics and Analysis of DMN Decision Tables
Diego Calvanese, Marlon Dumas, Ülari Laurson +3
The Decision Model and Notation (DMN) is a standard notation to capture decision logic in business applications in general and business processes in particular. A central construct…