3 A MODEL OF THE DETERMINANTS OF LAND USE 4 ECONOMETRIC TECHNIQUES 6

Recent works in Model-Driven Engineering (MDE) advocate the need for more flexibility in modelling environments by relaxing the conformance relation between a model and its metamodel. Most of the current works on flexibility only focus on the creation of the concrete syntax, leaving out important considerations about the development of the abstract syntax. Different approaches to relaxing the c...

Standard process analysis techniques, like conformance checking or performance evaluation, are enabled by the existence of event logs that trace the process executions and by the presence of a model that formally represents the process. Such analysis techniques use only part of the huge amount of data recorded in event logs. In this paper the goal is to exploit this data to extract useful infor...

Conformance testing is a formal and structured approach to verifying system correctness. We propose a conformance testing algorithm for cyber-physical systems, based on the notion of hybrid conformance by Abbas and Fainekos. We show how the dynamics of system specification and the sampling rate play an essential role in making sound verdicts. We specify and prove error bounds that lead to sound...

This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class diagram to a structural pattern. We also present a conformance verification method which represents a class diagram as a logic program and a structural pattern as a query. The conformance of the class diagram to the stru...

In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evolving embedded systems. In order to effectively reuse design artefacts such as requirements, architectural views and analysis, as well as the code base, it is important to have a consistent overview in each phase of the develop...

The paper presents the concept and the mechanism of comparative conformance cases which support conformance monitoring in situations where a standard or other set of requirements are being implemented at multiple sites. The mechanism is enabled by NOR-STA services which implement the TRUST-IT methodology and are deployed in the cloud in accordance with the SaaS model. In the paper we introduce ...