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

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 case study on the transformation of context-aware domain data onto XML schemas

In order to accelerate the development of context-aware applications, it would be convenient to have a smooth path between the context models and the automated services that support these models. This paper discusses how MDA technology (metamodelling and the QVT standard) can support the transformation of high-level models of context-aware services onto the implementation of these services using web services. The total transformation process from context-aware services onto web services involves the following aspects: 1. service signatures, which should be translated onto WSDL definitions; 2. context-aware domain data used as input and output data in service operations, which should be translated onto XML schemas; and 3. service behaviours, which should be used to generate the service implementation. This paper concentrates on the modelling and transformation of the context-aware domain data. The results of this paper are generally applicable to the transformation of elements of any domain-specific language expressed in terms of a metamodel onto XML Schema data

Rewriting Constraint Models with Metamodels

An important challenge in constraint programming is to rewrite constraint models into executable programs calculat- ing the solutions. This phase of constraint processing may require translations between constraint programming lan- guages, transformations of constraint representations, model optimizations, and tuning of solving strategies. In this paper, we introduce a pivot metamodel describing the common fea- tures of constraint models including different kinds of con- straints, statements like conditionals and loops, and other first-class elements like object classes and predicates. This metamodel is general enough to cope with the constructions of many languages, from object-oriented modeling languages to logic languages, but it is independent from them. The rewriting operations manipulate metamodel instances apart from languages. As a consequence, the rewriting operations apply whatever languages are selected and they are able to manage model semantic information. A bridge is created between the metamodel space and languages using parsing techniques. Tools from the software engineering world can be useful to implement this framework

Development of a Fast and Detailed Model of Urban-Scale Chemical and Physical Processing

Abstract and PDF report are also available on the MIT Joint Program on the Science and Policy of Global Change website (http://globalchange.mit.edu/).A reduced form metamodel has been produced to simulate the effects of physical, chemical, and meteorological processing of highly reactive trace species in hypothetical urban areas, which is capable of efficiently simulating the urban concentration, surface deposition, and net mass flux of these species. A polynomial chaos expansion and the probabilistic collocation method have been used for the metamodel, and its coefficients were fit so as to be applicable under a broad range of present-day and future conditions. The inputs upon which this metamodel have been formed are based on a combination of physical properties (average temperature, diurnal temperature range, date, and latitude), anthropogenic properties (patterns and amounts of emissions), and the surrounding environment (background concentrations of certain species). Probability Distribution Functions (PDFs) of the inputs were used to run a detailed parent chemical and physical model, the Comprehensive Air Quality Model with Extensions (CAMx), thousands of times. Outputs from these runs were used in turn to both determine the coefficients of and test the precision of the metamodel, as compared with the detailed parent model. The deviations between the metamodel and the parent mode for many important species (O3, CO, NOx, and BC) were found to have a weighted RMS error less than 10% in all cases, with many of the specific cases having a weighted RMS error less than 1%. Some of the other important species (VOCs, PAN, OC, and sulfate aerosol) usually have their weighted RMS error less than 10% as well, except for a small number of cases. These cases, in which the highly non-linear nature of the processing is too large for the third order metamodel to give an accurate fit, are explained in terms of the complexity and non-linearity of the physical, chemical, and meteorological processing. In addition, for those species in which good fits have not been obtained, the program has been designed in such a way that values which are not physically realistic are flagged. Sensitivity tests have been performed, to observe the response of the 16 metamodels (4 different meteorologies and 4 different urban types) to a broad set of potential inputs. These results were compared with observations of ozone, CO, formaldehyde, BC, and PM10 from a few well observed urban areas, and in most of the cases, the output distributions were found to be within ranges of the observations. Overall, a set of efficient and robust metamodels have been generated which are capable of simulating the effects of various physical, chemical, and meteorological processing, and capable of determining the urban concentrations, mole fractions, and fluxes of species, important to human health and the climate.Federal Agencies and industries that sponsor the MIT Joint Program on the Science and Policy of Global Change

Metamodel Instance Generation: A systematic literature review

Modelling and thus metamodelling have become increasingly important in Software Engineering through the use of Model Driven Engineering. In this paper we present a systematic literature review of instance generation techniques for metamodels, i.e. the process of automatically generating models from a given metamodel. We start by presenting a set of research questions that our review is intended to answer. We then identify the main topics that are related to metamodel instance generation techniques, and use these to initiate our literature search. This search resulted in the identification of 34 key papers in the area, and each of these is reviewed here and discussed in detail. The outcome is that we are able to identify a knowledge gap in this field, and we offer suggestions as to some potential directions for future research.Comment: 25 page