145 citations · 360 across the 54 of their papers we have counts for
Showing 2016 · cs.DBShow all
2 papers · 2 filters
cs.DB2016
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…
cs.DB2016★ 2 cited
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…