Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed for each application. From access control, we adopt the use of a saying operator. From conformance checking, we adopt the use of operators for obligation and permission. The operators are combined using an axiom that ...

Interoperability of e-learning resources requires the adherence to specific standards. In the domain of virtual patients (VP) a central role is played by the MedBiquitous' MVP specification and its application profile proposed by the eViP (Electronic Virtual Patients) project. An important factor in promoting a standard is the use of metrics for assessing the conformity of the resources to the ...

Network simulators, which implement network protocols under some simulated conditions, have been widely used to analyze the feasibility of network protocols. Conformance testing of the simulator against the protocol is a very important task in the community of telecommunications. However, many current conformance testing methods face a problem of finding a systematic mechanism to verify the tes...

Complex systems are everywhere and are part of our daily life. As a consequence, their failures can range from being inconvenient to being life-threatening. Testing is one of the most widely accepted techniques (especially in industry) to detect errors in a system. When the requirements of the system are described by a formal specification, conformance testing is used to guarantee a certain deg...

Conformance monitoring supports UTM safety by observing if unmanned aircraft (UA) are adhering to declared operational intent. As a supporting system, robust cooperative tracking is critical. Nevertheless, systems for UAS traffic management (UTM) in an early stage and under-standardized, existing literature hardly addresses the problem. To bridge this gap, study aims probabilistically evaluate ...

Contemporary business information systems record business events in event logs. Process mining techniques permit to explore these logs to understand and analyze processes. Although, there are a number of case studies demonstrating usefulness of process mining techniques in real-life case studies, process conformance check techniques miss such practical evaluation. Also the commercial tools have...

In this papel; a formal framework is first proposed for conformance testing of communication systems, which are modeled by labeled transition systems (LTSs), in a systematic andoperational approach. In thisframework, test cases are limited to deterministic processes with finite behavior and state labels: testing is afinite set of experiments where every test case is parallelly composed with an ...

The ioco relation has become a standard in model-based conformance testing. The co-ioco conformance relation is an extension of this relation to concurrent systems specified with true-concurrency models. This relation assumes a global control and observation of the system under test, which is not usually realistic in the case of physically distributed systems. Such systems can be partially obse...

Minutiae features extracted from finger images are widely used for automated fingerprint recognition. The conformance of minutiae templates to standardised data interchange formats and the interoperability of minutiae extraction and comparison subsystems from multiple suppliers are important to prevent proprietary lock-in. Based on the work performed within the European research project on minu...

The paper addresses the problem of agents compatibility and their conformance to protocols. We assume that the specification of protocols is given in an action theory by means of temporal constraints and, in particular, communicative actions are defined in terms of their effects and preconditions on the social state of the protocol. We show that the problem of verifying the conformance of an ag...