Now showing items 1-2 of 2

    • Foundations of data-aware process analysis: a database theory perspective 

      Calvanese D; Montali M; De Giacomo G (ACM, 2013)
      In this work we survey the research on foundations of data-aware (business) processes that has been carried out in the database theory community. We show that this community has indeed developed over the years a multi-faceted ...
    • Verification of relational data-centric dynamic systems with external services 

      Bagheri Hariri B; Calvanese D; De Giacomo G; Deutsch A; Montali M (ACM Press and Addison Wesley, 2013)
      Data-centric dynamic systems are systems where both the process controlling the dynamics and the manipulation of data are equally central. We study verification of (first-order) μ-calculus variants over relational data-centric ...