Search
Now showing items 1-10 of 13
-
Fuzzy conformance checking of observed behaviour with expectations
(Springer, 2011)In some different research fields a research issue has been to establish if the external, observed behaviour of an entity is conformant to some rules/specifications/expectations. Research areas like Multi Agent Systems, ... -
Conformance checking of executed clinical guidelines in presence of basic medical knowledge
(Springer, 2011)Clinical Guidelines (CGs) capture medical evidence, but are not meant to deal with single patients’ peculiarities and specific context limitations and/or constraints. In practice, the physician has to exploit basic medical ... -
Reactive event calculus for monitoring global computing applications
(Springer, 2012)In 1986 Kowalski and Sergot proposed a logic-based formalism named Event Calculus (EC), for specifying in a declarative manner how the happening of events affects some representation (the state) of the world. Since its ... -
Abductive Reasoning on Compliance Monitoring - Balancing Flexibility and Regulation
(Springer, 2017)Many emerging applications in Business Process Management, Clinical Guidelines, Service-Oriented and Multi-Agent Systems, are characterized by distribution, complex interaction and coordination dynamics. Such domains, ... -
Abducing Compliance of Incomplete Event Logs
(Springer, 2016)The capability to store data about business processes execution in so-called Event Logs has brought to the diffusion of tools for the analysis of process executions and for the assessment of the goodness of a process model. ... -
Monitoring in the Healthcare Setting
(Springer, 2015)Monitoring is an activity in which a running system is observed, so as to become aware of its state. The fact that the system is observed makes monitoring complementary to approaches like formal verification and validation, ... -
Evaluating compliance: from LTL to abductive logic programming
(CEUR, 2015)The compliance verification task amounts to establishing if the execution of a system, given in terms of observed events, does re-spect a given property. In the past both the frameworks of Temporal Logics and Logic Programming ... -
Abducing Workflow Traces: a General Framework to Manage Incompleteness in Business Processes (Short Paper)
(IOS Press, 2016)The capability to store data about Business Process executions in so-called Event Logs has brought to the identification of a range of key reasoning services (consistency, compliance, runtime monitoring, prediction) for ... -
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes
(Springer, 2015)Clinical Guidelines (CGs) capture medical evidence and describe standardized high quality health processes. Their adoption increases the quality of the service offered by health departments, with direct advantage for treated ...
