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 Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon

After 20 years of Triple Graph Grammars (TGGs) and numerous actively maintained implementations, there is now a need for challenging examples and success stories to show that TGGs can be used for real-world bidirectional model transformations. Our primary goal in recent years has been to increase the expressiveness of TGGs by providing a set of pragmatic features that allow a controlled fallback to programmed graph transformations and Java. Based on the Flowgraphs case study of the Transformation Tool Contest (TTC 2013), we present (i) attribute constraints used to express complex bidirectional attribute manipulation, (ii) binding expressions for specifying arbitrary context relationships, and (iii) post-processing methods as a black box extension for TGG rules. In each case, we discuss the enabled trade-off between guaranteed formal properties and expressiveness. Our solution, implemented with our metamodelling and model transformation tool eMoflon (www.emoflon.org), is available as a virtual machine hosted on Share.Comment: In Proceedings TTC 2013, arXiv:1311.753

Integrating computer-aided modeling and micro-simulation in multi-criteria evaluation of service infrastructure assignment approaches

Purpose: This paper proposes an integrated computer-supported multi-staged approach to the flexible design and multicriteria evaluation of service infrastructure assignment processes/ algorithms. Design/methodology/approach: It involves particularizing a metamodel encompassing the main generic components and relationships into process models and process instances, by incorporating structural data from the real-life system. Existing data on the target user population is fed into a micro-modeling system to generate a matching population of individual “virtual” users, each with its own set of trait values. The micro-simulation of their interaction with the assignment process of both the incumbent and the competitors generates a rich multi-dimensional output, encompassing both “revealed” and non-observable data. This enables a comprehensive multi-criteria evaluation of the foreseeable performance of the designed process/ algorithm, and therefore its iterative improvement. Findings: The research project developed a set of methodologies and associated supporting tools encompassing the modeling, micro-simulation and performance assessment of service infrastructure assignment processes. Originality/value: The proposed approach facilitates, in a multicriteria environment, the flexible modeling/design of situation-specific assignment processes/algorithms and their performance assessment when facing their case-specific user populationPeer Reviewe

Evaluation of Kermeta for Solving Graph-based Problems

Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper,\ud we show that Kermeta is relatively suitable for solving three graph-based\ud problems. First, Kermeta allows the specification of generic model\ud transformations such as refactorings that we apply to different metamodels\ud including Ecore, Java, and Uml. Second, we demonstrate the extensibility\ud of Kermeta to the formal language Alloy using an inter-language model\ud transformation. Kermeta uses Alloy to generate recommendations for\ud completing partially specified models. Third, we show that the Kermeta\ud compiler achieves better execution time and memory performance compared\ud to similar graph-based approaches using a common case study. The\ud three solutions proposed for those graph-based problems and their\ud evaluation with Kermeta according to the criteria of genericity,\ud extensibility, and performance are the main contribution of the paper.\ud Another contribution is the comparison of these solutions with those\ud proposed by other graph-based tools

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

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