A significant challenge for organisations is the timely identification of abnormalities or deviations in their process executions. Abnormalities are generally due to missing vital aspects a possession unwanted behaviour execution. Conformance analysis techniques examine synchronisation between recorded logs and learned models, but exploitation event abnormality detection relatively under-explor...

Monitoring of Health and Disease and Conformance Monitoring in the Healthcare Setting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 Federico Chesani, Catherine G. Enright, Marco Montali, and Michael G. Madden Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes . . . . . . . . . . . . . . . . . . . . 81 Stefano Bragaglia, Federi...

In a testing environment, where an IUT communicates with multiple entities, a tester may have diiering degrees of controllability on the interactions between these entities and the IUT: directly controllable, semicontrollable, or uncontrollable. In this paper, a graph conversion algorithm is introduced that ooers the testability of both the directly and semicontrollable inputs, while avoiding r...

We present several theorems and their proofs which enable using synchronous testing techniques such as input output conformance testing (ioco) in order to test implementations only accessible through asynchronous communication channels. These theorems define when the synchronous test-cases are sufficient for checking all aspects of conformance that are observable by asynchronous interaction wit...

Status of this Memo This memo provides information for the Internet community. This memo does not specify an Internet standard of any kind. Distribution of this memo is unlimited. Abstract This RFC describes a PICS Proforma translated into an Internet acceptable form. The Original document was developed according to ISO 9646 for conformance test purposes. This document is intended for both deve...