Employing Classifying Terms for Testing Model Transformations

This contribution proposes a new technique for developing test cases for UML and OCL models. The technique is based on an approach that automatically constructs object models for class models enriched by OCL constraints. By guiding the construction process through so-called classifying terms, the built test cases in form of object models are classified into equivalence classes. A classifying term can be an arbitrary OCL term on the class model that calculates for an object model a characteristic value. From each equivalence class of object models with identical characteristic values one representative is chosen. The constructed test cases behave significantly different with regard to the selected classifying term. By building few diverse object models, properties of the UML and OCL model can be explored effectively. The technique is applied for automatically constructing relevant source model test cases for model transformations between a source and target metamodel.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Fast Calculation Methods in Collective Dynamical Models of Beam/Plasma Physics

We consider an application of modification of our variational-wavelet approach to some nonlinear collective model of beam/plasma physics: Vlasov/Boltzmann-like reduction from general BBGKY hierachy related to modeling of propagation of intense charged particle beams in high-intensity accelerators and transport systems. We use fast convergent multiscale variational-wavelet representations for solutions which allow to consider polynomial and rational type of nonlinearities. The solutions are represented via the multiscale decomposition in nonlinear high-localized eigenmodes (waveletons). In contrast with different approaches we do not use perturbation technique or linearization procedures.Comment: 4 pages, 2 figures, JAC2001.cls, presented at European Particle Accelerator Conference (EPAC02), Paris, June 3-7, 2002; changed from A4 to US format for correct printin

Images and Models of Thought

One really extraordinary ability of the mind is its capacity to match objects and form plausible hypotheses from just a few elements that we see through our eyes. We recognize a feather even if it is mostly covered by a book sitting on top of it. Even if we cannot see the whole shape, we recognize it as pertaining to a category, a set of objects called “feathers”. If by imagination we mean the ability to represent things for ourselves that are not present in the act of sensing, we should realize that the hypothesis of the feather is an imaginative construction of the mind, a mental representation, a model referred to by the sensory input

Hourly resolution forward curves for power: statistical modeling meets market fundamentals

No description supplie

Accuracy and transferability of Gaussian approximation potential models for tungsten

We introduce interatomic potentials for tungsten in the bcc crystal phase and its defects within the Gaussian approximation potential framework, fitted to a database of first-principles density functional theory calculations. We investigate the performance of a sequence of models based on databases of increasing coverage in configuration space and showcase our strategy of choosing representative small unit cells to train models that predict properties observable only using thousands of atoms. The most comprehensive model is then used to calculate properties of the screw dislocation, including its structure, the Peierls barrier and the energetics of the vacancy-dislocation interaction. All software and raw data are available at www.libatoms.org

Pattern-Based Development of Domain-Specific Modelling Languages

Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. A. Pescador, A. Garmendia, E. Guerra, J. Sánchez Cuadrado and J. de Lara, "Pattern-based development of Domain-Specific Modelling Languages," Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on, Ottawa, ON, 2015, pp. 166-175. doi: 10.1109/MODELS.2015.7338247Model-Driven Engineering (MDE) promotes the use of models to conduct all phases of software development in an automated way. Models are frequently defined using Domain- Specific Modelling Languages (DSMLs), which many times need to be developed for the domain at hand. However, while constructing DSMLs is a recurring activity in MDE, there is scarce support for gathering, reusing and enacting knowledge for their design and implementation. This forces the development of every new DSML to start from scratch. To alleviate this problem, we propose the construction of DSMLs and their modelling environments aided by patterns which gather knowledge of specific domains, design alternatives, concrete syntax, dynamic semantics and functionality for the modelling environment. They may have associated services, realized via components. Our approach is supported by a tool that enables the construction of DSMLs through the application of patterns, and synthesizes a graphical modelling environment according to them.Work supported by the Spanish MINECO (TIN2011-24139 and TIN2014-52129-R), the R&D programme of the Madrid Region (S2013/ICE-3006), and the EU commission (FP7-ICT-2013-10, #611125)