Now showing items 1-6 of 6
Process Mining Manifesto
Process mining techniques are able to extract knowledge from event logs commonly available in today’s information systems. These techniques provide new means to discover, monitor, and improve processes in a variety of ...
Event condition expectation (ECE-) rules for monitoring observable systems
The standardization and broad adoption of Service Oriented Architectures, Web Services, and Cloud Computing is raising the complexity of ICT systems. Hence, assuring correct system behavior with regard to established design ...
Monitoring business constraints with linear temporal logic: An approach based on colored automata
Today’s information systems record real-time information about business processes. This enables the monitoring of business constraints at runtime. In this paper, we present a novel runtime verification framework based on ...
Conformance checking of executed clinical guidelines in presence of basic medical knowledge
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 ...
Fuzzy conformance checking of observed behaviour with expectations
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, ...