451,120 research outputs found
Engineering model transformations with transML
The final publication is available at Springer via http://dx.doi.org/10.1007%2Fs10270-011-0211-2Model transformation is one of the pillars of model-driven engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity and size of model transformations as well. Even though many transformation languages and tools have been proposed in the last few years, most of them are directed to the implementation phase of transformation development. In this way, even though transformations should be built using sound engineering principles—just like any other kind of software—there is currently a lack of cohesive support for the other phases of the transformation development, like requirements, analysis, design and testing. In this paper, we propose a unified family of languages to cover the life cycle of transformation development enabling the engineering of transformations. Moreover, following an MDE approach, we provide tools to partially automate the progressive refinement of models between the different phases and the generation of code for several transformation implementation languages.This work has been sponsored by the Spanish Ministry of Science and Innovation with project METEORIC (TIN2008-02081), and by the R&D program of the Community of Madrid with projects “e-Madrid" (S2009/TIC-1650). Parts of this work were done during the research stays of Esther and Juan at the University of York, with financial support from the Spanish Ministry of Science and Innovation (grant refs. JC2009-00015, PR2009-0019 and PR2008-0185)
Model Transformations in Practice Workshop
Model Transformations in Practice (MTiP) 2005 was a workshop which provided a forum for the model transformation community to discuss practical
model transformation issues. Although many different model transformation approaches have been proposed and explored in recent years, there has been little work on comparing and contrasting various approaches. Without such comparisons, it is hard to assess new model transformation approaches such as the upcoming OMG MOF/QVT recommendation, or to discern sensible future paths
for the area. Our aims with the workshop were to create a forum that would help lead to an increased understanding of the relative merits of different model transformation techniques and approaches. A more advanced understanding of
such merits is of considerable benefit to both the model transformation and wider modelling communities
Novel discrete symmetries in the general N = 2 supersymmetric quantum mechanical model
In addition to the usual supersymmetric (SUSY) continuous symmetry
transformations for the general N = 2 SUSY quantum mechanical model, we show
the existence of a set of novel discrete symmetry transformations for the
Lagrangian of the above SUSY quantum mechanical model. Out of all these
discrete symmetry transformations, a unique discrete transformation corresponds
to the Hodge duality operation of differential geometry and the above SUSY
continuous symmetry transformations (and their anticommutator) provide the
physical realizations of the de Rham cohomological operators of differential
geometry. Thus, we provide a concrete proof of our earlier conjecture that any
arbitrary N= 2 SUSY quantum mechanical model is an example of a Hodge theory
where the cohomological operators find their physical realizations in the
language of symmetry transformations of this theory. Possible physical
implications of our present study are pointed out, too.Comment: LaTeX file, 9 pages, EPJC format, To appear in EPJ
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
- …