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

Agent-Based Modelling and Sensitivity Analysis by Experimental Design and Metamodelling: An Application to Modelling Regional Structural Change

This paper presents the application of the sensitivity analysis techniques Design of Experiments (DOE) and metamodelling to the agent-based model AgriPoliS, which is a spatial and dynamic simulation model of regional structural change. DOE and metamodelling provide a more systematic analysis of results of complex simulation models. When summarising the results, it becomes clear that interest rates, technical change and managerial ability influence average economic land rent the most.simulation, design of experiments, metamodelling, structural change, Research and Development/Tech Change/Emerging Technologies, C9, C15,

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

Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour

The use of Domain-Specific Languages (DSLs) is a promising field for the development of tools tailored to specific problem spaces, effectively diminishing the complexity of hand-made software. With the goal of making models as precise, simple and reusable as possible, we augment DSLs with concepts from multilevel modelling, where the number of abstraction levels are not limited. This is particularly useful for DSL definitions with behaviour, whose concepts inherently belong to different levels of abstraction. Here, models can represent the state of the modelled system and evolve using model transformations. These transformations can benefit from a multilevel setting, becoming a precise and reusable definition of the semantics for behavioural modelling languages. We present in this paper the concept of Multilevel Coupled Model Transformations, together with examples, formal definitions and tools to assess their conceptual soundness and practical value.Comment: Journal of Logical and Algebraic Methods in Programming. Available online 11 January 2019. In Press, Accepted Manuscrip

Deterministic and robust optimisation strategies for metal forming proceesses

Product improvement and cost reduction have always been important goals in the metal forming industry. The rise of\ud Finite Element simulations for metal forming processes has contributed to these goals in a major way. More recently, coupling\ud FEM simulations to mathematical optimisation techniques has shown the potential to make a further contribution to product\ud improvement and cost reduction.\ud Mathematical optimisation consists of the modelling and solving of optimisation problems. Although both the\ud modelling and the solving are essential for successfully optimising metal forming problems, much of the research published until\ud now has focussed on the solving part, i.e. the development of a specific optimisation algorithm and its application to a specific\ud optimisation problem for a specific metal forming process.\ud In this paper, we propose a generally applicable optimisation strategy which makes use of FEM simulations of metal\ud forming processes. It consists of a structured methodology for modelling optimisation problems related to metal forming.\ud Subsequently, screening is applied to reduce the size of the optimisation problem by selecting only the most important design\ud variables. Screening is also utilised to select the best level of discrete variables, which are in such a way removed from the\ud optimisation problem. Finally, the reduced optimisation problem is solved by an efficient optimisation algorithm. The strategy is\ud generally applicable in a sense that it is not constrained to a certain type of metal forming problems, products or processes. Also\ud any FEM code may be included in the strategy.\ud However, the above strategy is deterministic, which implies that the robustness of the optimum solution is not taken\ud into account. Robustness is a major item in the metal forming industry, hence we extended the deterministic optimisation\ud strategy in order to be able to include noise variables (e.g. material variation) during optimisation. This yielded a robust\ud optimisation strategy that enables to optimise to a robust solution of the problem, which contributes significantly to the industrial\ud demand to design robust metal forming processes. Just as the deterministic optimisation strategy, it consists of a modelling,\ud screening and solving stage.\ud The deterministic and robust optimisation strategies are compared to each other by application to an analytical test\ud function. This application emphasises the need to take robustness into account during optimisation, especially in case of\ud constrained optimisation. Finally, both the deterministic and the robust optimisation strategies are demonstrated by application to\ud an industrial hydroforming example

Towards a pivotal-based approach for business process alignment.

This article focuses on business process engineering, especially on alignment between business analysis and implementation. Through a business process management approach, different transformations interfere with process models in order to make them executable. To keep the consistency of process model from business model to IT model, we propose a pivotal metamodel-centric methodology. It aims at keeping or giving all requisite structural and semantic data needed to perform such transformations without loss of information. Through this we can ensure the alignment between business and IT. This article describes the concept of pivotal metamodel and proposes a methodology using such an approach. In addition, we present an example and the resulting benefits