4 citations · 8 across the 5 of their papers we have counts for
6 papers
Specification-Driven Predictive Business Process Monitoring
Ario Santoso, Michael Felderer
Predictive analysis in business process monitoring aims at forecasting the future information of a running business process. The prediction is typically made based on the model ext…
Specification-Driven Multi-Perspective Predictive Business Process Monitoring (Extended Version)
Ario Santoso
Predictive analysis in business process monitoring aims at forecasting the future information of a running business process. The prediction is typically made based on the model ext…
Verification of Data-aware Business Processes in the Presence of Ontologies
Ario Santoso
The meet up between data, processes and structural knowledge in modeling enterprise systems is a challenging task that has led to the study of combining formalisms from knowledge r…
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version)
Diego Calvanese, Marco Montali, Ario Santoso
Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve it…
Adding Context to Knowledge and Action Bases
Diego Calvanese, İsmail İlkan Ceylan, Marco Montali +1
Knowledge and Action Bases (KABs) have been recently proposed as a formal framework to capture the dynamics of systems which manipulate Description Logic (DL) Knowledge Bases (KBs)…
Verification of Semantically-Enhanced Artifact Systems (Extended Version)
Babak Bagheri Hariri, Diego Calvanese, Marco Montali +2
Artifact-Centric systems have emerged in the last years as a suitable framework to model business-relevant entities, by combining their static and dynamic aspects. In particular, t…