Search
Now showing items 1-10 of 10
-
Verification of context-sensitive Knowledge and Action Bases
(Springer, 2014)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) through action execution. In this work, ... -
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 ... -
Verifiable UML artifact-centric business process models
(ACM, 2014)Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process related) aspects. In particular, two main lines ... -
Towards a reference implementation for data centric dynamic systems
(Springer, 2014)Data- and artifact-centric business processes are gaining momentum due to their ability of explicitly capturing the interplay between the process control-flow and the manipulated data. In this paper, we rely on the framework ... -
Discovering data-aware declarative process models from event logs
(Springer, 2013)A wealth of techniques are available to automatically discover business process models from event logs. However, the bulk of these techniques yield procedural process models that may be useful for detailed analysis, but ... -
Run-time verification of MSMAS norms using Event Calculus
(IEEE Computer Society Press, 2014)Modelling Self-managing Multi Agent Systems (MSMAS) is a software development methodology that facilitates designing and developing complex distributed systems based on the multivalent systems paradigm. MSMAS uses a ... -
Adding context to Knowledge and Action Bases
(arXiv.org e-Print archive, 2014)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) through action execution. In this work, ...