This paper introduces a new conformance relation between a specification and an implementation of a distributed system. It is based on a local view which allows to avoid or reduce the state explosion problem. The conformance relation is defined via Petri nets and shows not only equivalence between transitions but also equivalence between local states. This equivalence depends on the structural ...

The introduction of open standards in telecommunications has resulted in a rapid expansion in services by allowing different vendors to produce equipment that can interwork successfully. However to ensure that a product adheres to an open systems specification a series of tests, called conformance tests, must be performed. Faults occurring at this stage are expensive to correct and therefore te...

3 Design rationale 3 3.1 Background research . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3.2 Template compilation model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 3.3 Specific language features in the design space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 3.3.1 Named conformance vs. structural c...

Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implementation is “conformant” w.r.t. the abstract specification of it. In this work we tackle those aspects of the conformance verification issue, that regard the dependence/independence of conformance from the agent priva...

Following the Model-Driven Architecture (MDA), a system description consists of several models, i.e. views of the system. This paper is concerned with formal conformance tests between different models. It stresses the need for formal semantical foundations of all languages that are used to express models. In particular, we classify conformance tests for implementation models. The Model-Driven A...

Process mining is a family of techniques that aim at analyzing business process execution data recorded in event logs. Conformance checking is a branch of this discipline embracing approaches for verifying whether the behavior of a process, as recorded in a log, is in line with some expected behavior provided in the form of a process model. Recently, techniques for conformance checking based on...

Conformance checking unleashes the full power of process mining: techniques from this discipline enable analysis quality a model through discovery event data, identification potential deviations, and projection real traces onto models. In way, insights gained available data can be transferred to richer conceptual level, amenable for human interpretation. Unfortunately, most aforementioned funct...