2016/11/11 by Marco Montali, Montali, Marco, Andrey Rivkin +1 · 2 citations
Business, Management and Accounting · Computer Science · #Advanced Database Systems and Queries #Business Process Modeling and Analysis #Databases (cs.DB) #FOS: Computer and information sciences #Service-Oriented Architecture and Web Services
paper · pdf · doi:10.48550/arxiv.1611.03680
openalex publication_date 2016/11/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 paper, we focus on the foundations of the problem, arguing that contemporary approaches struggle to find a suitable equilibrium between data- and process-related aspects. We then propose db-nets, a new formal model that balances such two pillars through the marriage of colored Petri nets and relational databases. We invite the research community to build on this model, discussing its potential in modeling, formal verification, and simulation.