In object-aware process management, processes are represented as multiple interacting objects rather than a sequence of activities, enabling data-driven and highly flexible processes. such scenarios, however, it is crucial to be able check what degree the executed according model (i.e., guided behavior). Conformance checking algorithms (e.g., Token Replay or Alignments) deal with this issue for...

Conformance between structural models and their implementations is usually simplified in practice. This is not appropriate to accommodate the usual freedom of implementation for abstract concepts. In this paper, we propose a formal framework for defining conformance between object models and object-oriented programs. The framework is instantiated by providing syntactic mapping rules between mod...

This paper gives an overview of a formal ontological approach of conformance models for regulations in Construction aiming at answering the research question: “is an IFC-represented building project compliant to a set of construction rules?” The study analyses three key subtasks: (i) transformation of the IFC of the construction project; (ii) regulations formalisation; (iii) conformance checkin...

The basic building block for constructing a modelling tool architecture, is the relationship between a type and its instances. It is this relation which gives rise to the hierarchy that forms the foundation of the four-layer-architecture and to multi-level modelling. Only through the type/instance relation, a distinction is made between a model and its type model. This relation consists of two ...

Mixed-paradigm process models integrate strengths of procedural and declarative representations like Petri nets Declare. They are specifically interesting for mining because they allow capturing complex behaviour in a compact way. A key research challenge the proliferation mixed-paradigm is lack corresponding conformance checking techniques. In this paper, we address problem by devising first a...

Initially, process mining focused on discovering models from event data, but in recent years the use and importance of conformance checking has increased. Conformance aims to uncover differences between a model an log. Many techniques measures have been proposed. Typically, these take into account frequencies traces log, do not consider probabilities model. This asymmetry leads various complica...

National archives set and implement national policies, recommendations legislation for archiving standards which governmental public actors need to obey. However, smaller in the field do not have this obligation often they possess resources or know-how follow guidelines their own digital preservation workflows. This easily leads utilization of commercial information management solutions, might ...