Filters








811 Hits in 3.0 sec

Flexible Model-to-Model Transformation Templates: An Application to ATL

Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara
2012 Journal of Object Technology  
The approach is general and can be applied to any model transformation language. In this paper we report on its application to ATL. Generic M2M transf.  ...  Similar to programming templates, we build model transformation templates.  ...  Meta-model concepts were first proposed in [dLG10] with an application to the definition of generic in-place transformations using EOL [KPP06] .  ... 
doi:10.5381/jot.2012.11.2.a4 fatcat:rheoehjhpvgflaqthyrizammku

Using ATL to define advanced and flexible constraint model transformations [article]

Raphael Chenouard, Ricardo Soto
2010 arXiv   pre-print
Transforming constraint models is an important task in re- cent constraint programming systems.  ...  We propose a new architecture al- lowing to define bridges between any (modeling or solver) languages and to implement model optimizations.  ...  " i n " domain ) ; Several ATL transformations are used to check source models. We transform a source CP model to a model conform to the metamodel Problem defined in the ATL zoo 3 .  ... 
arXiv:1002.3078v1 fatcat:jrn6wx2fwrao3mef4mj6oh5shi

Transformation templates

Nathalie Aquino, Jean Vanderdonckt, Oscar Pastor
2010 Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10  
In order to overcome these shortcomings, this paper introduces "Transformation Templates", an approach that is adding flexibility to the MDE of UIs by externalizing the transformation logic of UI models  ...  This paper presents an editor for Transformation Templates and an example of Parameter Type.  ...  Figure 1 illustrates the use of a Transformation Template when transforming from an AUI model to a CUI model. A transformation engine takes as input an AUI model and a Transformation Template.  ... 
doi:10.1145/1774088.1774340 dblp:conf/sac/AquinoVP10 fatcat:3ma565sd2zeiphidrmd6t26sdi

Automated Context-Sensitive Dialog Synthesis for Enterprise Workflows Using Templatized Model Transformations

Amogh Kavimandan, Reinhard Klemm, Aniruddha Gokhale
2008 2008 12th International IEEE Enterprise Distributed Object Computing Conference  
We discuss how we have applied templatized model transformation techniques to automatically synthesize dialogs in enterprise workflows.  ...  We show how our templatized transformation approach supports the evolution of communication endpoints and system requirements with a minimum of downtime and invasive design changes.  ...  (typed, and attribute augmented) transformations to these models to obtain application platform-specific models.  ... 
doi:10.1109/edoc.2008.45 dblp:conf/edoc/KavimandanKG08 fatcat:ar6qxhaxendkdhja3n2nfjnisu

XRound: A reversible template language and its application in model-based security analysis

Howard Chivers, Richard F. Paige
2009 Information and Software Technology  
A template processor that supports the language is described, and the use of the template language is illustrated by its application in an analysis workbench, designed to support analysis of security properties  ...  This paper presents a reversible template language called XRound which supports round-trip transformations between models and the logic used to encode system properties.  ...  The MOF (Meta-Object Facility) 2.0 QVT standard [2] has been developed in order to provide a precise, flexible mechanism for modelling transformations.  ... 
doi:10.1016/j.infsof.2008.05.006 fatcat:53n2zvzjbjcxbfafm3jl65uzoe

Generic Model Transformations: Write Once, Reuse Everywhere [chapter]

Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara
2011 Lecture Notes in Computer Science  
The approach is general and can be applied to any model transformation language. In this paper we report on its application to ATL.  ...  These templates are defined over metamodel concepts which later can be bound to specific meta-models.  ...  Second, our binding proved to be flexible enough to adapt the concept to an unforeseen third-party meta-model.  ... 
doi:10.1007/978-3-642-21732-6_5 fatcat:aet5a6vbtbgfnpiblndwoduaxi

Model Transformation Using a Simplified Metamodel

Hongming Liu, Xiaoping Jia
2010 Journal of Software Engineering and Applications  
This paper provides a solution to build a template-based model transformation framework using a simplified metamode called Hierarchical Relational Metamodel (HRM).  ...  These challenges include incompleteness in existing modeling notations, inadequate in tools support, and the lack of effective model transformation mechanism.  ...  A model-transformationoriented virtual machine has been defined and implemented to provide execution support for ATL while maintaining a certain level of flexibility.  ... 
doi:10.4236/jsea.2010.37075 fatcat:y2qipeysprdbdf34kk3ny63e6y

An unbiased template of the Drosophila brain and ventral nerve cord [article]

John A Bogovic, Hideo Otsuna, Larissa Heinrich, Masayoshi Ito, Jennifer Jeter, Geoffrey W Meissner, Aljoscha Nern, Jennifer Colonell, Oz Malkesman, Kei Ito, Stephan Saalfeld
2018 bioRxiv   pre-print
The fruit fly Drosophila melanogaster is an important model organism for neuroscience with a wide array of genetic tools that enable the mapping of individuals neurons and neural subtypes.  ...  No publicly available Drosophila ventral nerve cord template currently exists.  ...  analysis, Arnim Jenett and Ignacio Arganda-Carreras for the Tefor brain template.  ... 
doi:10.1101/376384 fatcat:cqj5wg7s5fbvzo56obyrzwnkmq

Model Transformations for Migrating Legacy Models: An Industrial Case Study [chapter]

Gehan M. K. Selim, Shige Wang, James R. Cordy, Juergen Dingel
2012 Lecture Notes in Computer Science  
As a case study, we have built a model transformation using the MDWorkbench tool and the Atlas Transformation Language (ATL).  ...  As a major automotive company, General Motors has been using a custom-built, domain-specific modeling language, implemented as an internal proprietary metamodel, to meet the modeling needs in its control  ...  To process models conforming to complex metamodels, ATL provides flexibility of using declarative and imperative constructs to implement com-plex transformations.  ... 
doi:10.1007/978-3-642-31491-9_9 fatcat:ei6ejz5qfrg5taobokvgelb6kq

Tool Support for Enforcing Security Policies on Databases [chapter]

Jenny Abramov, Omer Anson, Arnon Sturm, Peretz Shoval
2012 Lecture Notes in Business Information Processing  
The Security Modeling Tool presented in this paper aims at guiding and enforcing developers, in particular database designers, to deal with database authorization requirements from the early stages of  ...  However, such requirements tend to be neglected or dealt-with only at the end of the development process.  ...  To transform an application model (UML class diagram) into SQL code, we use the ATLAS Transformation Language (ATL) [3] . These transformation rules are generic and refer to all applications.  ... 
doi:10.1007/978-3-642-29749-6_9 fatcat:flffdhjvuzg6fom7nhyi5ulzd4

On the Execution of ODP Computational Specifications

Jose Romero, Antonio Vallecillo
2006 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06)  
In this paper, we explore the use of model transformation techniques to establish a connection between UML models and Maude formal specifications of the ODP computational viewpoint, in order to obtain  ...  Thus, several authors have proposed either formal or visual languages to describe this ODP viewpoint.  ...  Acknowledgements The authors would like to thank the anonymous referees for their insightful comments and suggestions. This work has been supported by Spanish Research Project TIN2005-09405-C02-01.  ... 
doi:10.1109/edocw.2006.51 fatcat:3z7yyrkv7rfdbf52mcwuds5bfm

UWE4JSF: A Model-Driven Generation Approach for Web Applications [chapter]

Christian Kroiss, Nora Koch, Alexander Knapp
2009 Lecture Notes in Computer Science  
Model-driven engineering is a promising approach, but there are still many hurdles to overcome.  ...  It builds upon a set of models and domain specific annotationsin particular an abstract and a concrete presentation model.  ...  Conclusions and Future Work We presented the MDD tool UWE4JSF that allows fully automatic generation of JSF-based web applications from UWE models.  ... 
doi:10.1007/978-3-642-02818-2_46 fatcat:tq5p67yrkrgurcey4hml3hzxim

Runtime support for rule-based access-control evaluation through model-transformation

Salvador Martínez, Jokin García, Jordi Cabot
2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering - SLE 2016  
the application of model transformation validation and verification techniques to our HOT and generated ATL transformations.  ...  Listing 5 presents an excerpt of the Acceleo [24] template used to generate the HOT.  ... 
doi:10.1145/2997364.2997375 fatcat:pkvbgt3r6zfs3hz4jwvryy3xci

A Component Model for Model Transformations

Jesus Sanchez Cuadrado, Esther Guerra, Juan de Lara
2014 IEEE Transactions on Software Engineering  
We have designed a component model for model transformations, supported by an implementation currently targeting the Atlas Transformation Language (ATL).  ...  Model-Driven Engineering promotes an active use of models to conduct the software development process.  ...  In our case, the specialization consists in making the constituent transformation template applicable to an existing meta-model.  ... 
doi:10.1109/tse.2014.2339852 fatcat:vk4lo7iyrnfhvliayygibmbngm

On the Use of Higher-Order Model Transformations [chapter]

Massimo Tisi, Frédéric Jouault, Piero Fraternali, Stefano Ceri, Jean Bézivin
2009 Lecture Notes in Computer Science  
The uniformity and flexibility of the model-driven paradigm allows this class of applications to make use of the same transformation infrastructure.  ...  With the success of the modeling and transformation paradigm, the need arises to address more complex applications that require a direct manipulation of model transformations.  ...  The ATL to Problem use case describes a transformation from an ATL model into a Problem model.  ... 
doi:10.1007/978-3-642-02674-4_3 fatcat:dn4nns7tcjdqhcssgkobht5ezy
« Previous Showing results 1 — 15 out of 811 results