In the context of real estate, land is defined as a property or real estate, not including buildings or equipment that does not occur naturally. Depending on the title, land ownership may also give the holder the rights to all natural resources on the land. These may include water, plants, human and animal life, fossils, soil, minerals, electromagnetic features, geographical location, and geoph...

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...

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...

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 ...

This paper introduces global session nets, an integration of multiparty session types (MPST) and Petri nets, for role-based choreographic specifications to verify distributed multiparty systems. The graphical representation of session nets enables more liberal combinations of branch, merge, fork and join patterns than the standard syntactic MPST. We use session net token dynamics to verify a fl...

As the adoption of the Service Oriented Architecture paradigm has dramatically increased over the past few years, proper coordination of loosely coupled services becomes an important issue when building state-of-the-art applications. This coordination is typically organized through orchestration (requiring a central coordinating entity) or through choreographies. While the latter approach allow...

An exponential growth of event data can be witnessed across all industries. Devices connected to the internet (internet of things), social interaction, mobile computing, and cloud computing provide new sources of event data and this trend will continue. The omnipresence of large amounts of event data is an important enabler for process mining. Process mining techniques can be used to discover, ...

For systematic and automatic testing of cyber-physical systems, in which a set of test cases is generated based on a formal specification, a number of notions of conformance testing have been proposed. In this paper, we review two existing theories of conformance testing for cyber-physical systems and compare them. We point out their fundamental differences, and prove under which assumptions th...