Search
Now showing items 1-10 of 13
-
Foundations of data-aware process analysis: a database theory perspective
(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 and synthesis in description logic based dynamic systems (Abridged Version)
(CEUR-WS.org, 2013)We devise a general framework for formalizing Description Logic Based Dynamic Systems that is parametric w.r.t. the description logic knowledge base and the progression mechanism. We study verification and adversarial ... -
Verification and synthesis in description logic based dynamic systems
(Springer, 2013)In this paper, we devise a general framework for formalizing Description Logic Based Dynamic Systems that is parametric w.r.t. the description logic knowledge base and the progression mechanism of interest. Using this ... -
Verification of relational data-centric dynamic systems with external services
(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 ... -
Verification of Description Logic Knowledge and Action Bases
(Amsterdam, 2012)We introduce description logic (DL) Knowledge and Action Bases (KAB), a mechanism that provides both a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set of actions ... -
Description logic based dynamic systems: Modeling, verification, and synthesis
(AAAI Press, 2015)We study the data complexity of answering conjunctive queries over Description Logic knowledge bases constituted by a TBox and an ABox. In particular, we are interested in characterizing the FO-rewritability and the ... -
Dynamic systems based on description logics: formalization, verification, and synthesis
(CEUR-WS.org, 2013)We devise a general framework for formalizing Dynamic Systems centered around a Description Logic knowledge base. Our framework is parametric w.r.t. both the description logic and the progression mechanism. For such kinds ... -
Specification and verification of commitment-regulated data-aware multiagent systems
(CEUR-WS.org, 2014)In this paper we investigate multiagent systems whose agent interaction is based on social commitments that evolve over time, in presence of (possibly incomplete) data. In particular, we are interested in modeling and ... -
Verification of human-driven data-centric dynamic systems
(AAAI Press, 2014)We study the foundations of human driven, data-aware business processes, by leveraging on the recently proposed framework of Data-Centric Dynamic Systems (DCDSs). The processes we consider simultaneously capture the ... -
Verification of data-aware commitment-based multiagent system
(IFAAMAS, 2014)In this paper we investigate multiagent systems whose agent interaction is based on social commitments that evolve over time, in presence of (possibly incomplete) data. In particular, we are interested in modeling and ...
