Now showing items 1-10 of 11
A computational logic application framework for service discovery and contracting
In Semantic Web technologies, searching for a service means identifying components that can potentially satisfy user needs in terms of inputs and outputs (discovery) and devise a fruitful interaction with the customer ...
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 ...
Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions
In this article we survey our recent research activity concerning the use of logic programming, and in particular of abduction, for interaction specification and verification in several domains. We outline relevant results ...
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 time-aware commitments within agent-based simulation environments
Despite their dynamic nature, social commitments have rarely been used for monitoring purposes. Little attention has been paid to the relationship between commitments and the temporal dimension and to the corresponding ...
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 ...
Proceedings of the 5th International RuleML@BRF Challenge; co-located with the 5th International Rule Symposium Fort Lauderdale, Florida, USA, November 3-5, 2011
This volume collects the selected contributions of the RuleML2011@IJCAI Doctoral Consortium, the RuleML@IJCAI poster session papers, and the demo papers accepted for presentation at the RuleML2011@BRF Challenge.
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, ...