Metamodel-based model conformance and multiview consistency checking

Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams (e.g., class and sequence diagrams) when modeling systems. These diagrams, presenting different views of a system of interest, may be inconsistent. A metamodel provides a unifying framework in which to ensure and check consistency, while at the same time providing the means to distinguish between valid and invalid models, that is, conformance. Two formal specifications of the metamodel for an object-oriented modeling language are presented, and it is shown how to use these specifications for model conformance and multiview consistency checking. Comparisons are made in terms of completeness and the level of automation each provide for checking multiview consistency and model conformance. The lessons learned from applying formal techniques to the problems of metamodeling, model conformance, and multiview consistency checking are summarized

A metamodelling approach for performance evaluation of intermodal transportation networks

The paper proposes a metamodelling procedure devoted to provide a reference model to be used by decision makers in the performance evaluation of Intermodal Transportation Network (ITN). In order to obtain a generic model describing a nonspecific ITN from the structural and behavioural point of view, the metamodelling approach consists in applying a top down and modular procedure. The model is specified by the well known Unified Modelling Language (UML), a graphic and textual modelling formalism intended to describe systems from structural and dynamics viewpoints. Hence, the paper models a generic ITN starting from the network description and shows by a case study the metamodel of one of the most important nodes that compose it: the port subsystem. Moreover, the case study model is translated in a simulation software and the performance measures obtained by the simulation results are shown

Using formal metamodels to check consistency of functional views in information systems specification

UML notations require adaptation for applications such as Information Systems (IS). Thus we have defined IS-UML. The purpose of this article is twofold. First, we propose an extension to this language to deal with functional aspects of IS. We use two views to specify IS transactions: the first one is defined as a combination of behavioural UML diagrams (collaboration and state diagrams), and the second one is based on the definition of specific classes of an extended class diagram. The final objective of the article is to consider consistency issues between the various diagrams of an IS-UML specification. In common with other UML languages, we use a metamodel to define IS-UML. We use class diagrams to summarize the metamodel structure and a formal language, B, for the full metamodel. This allows us to formally express consistency checks and mapping rules between specific metamodel concepts. (C) 2007 Elsevier B.V. All rights reserved

A hybrid model for mapping simplified seismic response via a GIS-metamodel approach

In earthquake-prone areas, site seismic response due to lithostratigraphic sequence plays a key role in seismic hazard assessment. A hybrid model, consisting of GIS and metamodel (model of model) procedures, was introduced aimed at estimating the 1-D spatial seismic site response in accordance with spatial variability of sediment parameters. Inputs and outputs are provided and processed by means of an appropriate GIS model, named GIS Cubic Model (GCM). This consists of a block-layered parametric structure aimed at resolving a predicted metamodel by means of pixel to pixel vertical computing. The metamodel, opportunely calibrated, is able to emulate the classic shape of the spectral acceleration response in relation to the main physical parameters that characterize the spectrum itself. Therefore, via the GCM structure and the metamodel, the hybrid model provides maps of normalized acceleration response spectra. The hybrid model was applied and tested on the built-up area of the San Giorgio del Sannio village, located in a high-risk seismic zone of southern Italy. Efficiency tests showed a good correspondence between the spectral values resulting from the proposed approach and the 1-D physical computational models. Supported by lithology and geophysical data and corresponding accurate interpretation regarding modelling, the hybrid model can be an efficient tool in assessing urban planning seismic hazard/risk. © Author(s) 2014

Factor Mapping and Metamodelling

In this work we present some techniques, within the realm of Global Sensitivity Analysis, which permit to address fundamental questions in term of model's understanding. In particular we are interested in developing tools which allow to determine which factor (or group of factors) are most responsible for producing model outputs Y within or outside specified bounds ranking the importance of the various input factors in terms of their influence on the variation of Y. On the other hand, we look for representing in a direct way (graphically, analytically, etc.) the relationship between input factors X_1,..., X_k and output Y in order to get a better understanding of the model itself.JRC.G.9-Econometrics and statistical support to antifrau

Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications

Model Driven Engineering (MDE) uses formal methods to build mathematically rigorous models of complex systems. Metamodelling plays an important role in MDE as it is used to specify domain specific modelling languages. However, the potential of metamodelling has not been fully explored. Current approaches of MDE are often at a low level of abstraction and lack domain concepts for specifying behavior. In previous work, we proposed a multi metamodelling approach that captures the complexity of systems by using a metamodelling hierarchy, built from individually defined metamodels, each capturing different aspects of a healthcare domain. In this paper, we focus on modelling distributed healthcare applications and present an example from the healthcare domain. We address certain modelling aspects related to distributed applications such as process modelling, using message passing communication, and coordination of processes and resources

House price volatility metamodel for managing house price volatility knowledge

A change in house price is a situation that is very dynamic and unpredictable. The study found that changes in house price volatility are more dynamic than the changes in the price of goods or household income. Demographic changes, market forces and the rise of speculation are among the factors that influence the volatility in house prices. Through this research all the determining factors associated with changes in house price volatility were identified because the changes on the determinant factors have an impact on the pattern of the house price market. For the purposes of showing a comprehensive relationship between the determinants of house price with house price volatility, the methods in modelling the concept in software engineering known as metamodelling has been adapted. Through metamodelling, an artifact known as 'metamodel' is produced. Specifically for this study, the metamodel is known as House Price Volatility Metamodel (HPVM). By combining qualitative and quantitative methods, the development of HPVM implemented using 8 Step Metamodelling Creation process, where HPVM is capable of modeling the determinant factors that determine the volatility in house prices in three major categories: i) Socio-Economic view, ii) Economic view and iii) HPV Significant Value view. Three types of validation technique, Expert Review (Face to Face Validation), Frequency-Base Selection and Tracing (Case Study) in three states in Malaysia, namely Penang, Johor and Kuala Lumpur have been used to assess the effectiveness of the metamodel. Metamodel development is believed to be beneficial to various stakeholders in the domain of property market such as the government like from Ministry of Finance, real estate investors, economists, buyers and real estate practitioners where they are able to get a variety of views and considerations in assessing house price market and house price volatility. These considerations are very important in evaluating the real estate market, as it will be an input in decisionmaking basis for this field