Theory and Practice of Model Transformations

Theory and Practice of Model Transformations
Author: Antonio Vallecillo
Publisher: Springer
Total Pages: 271
Release: 2008-07-01
Genre: Computers
ISBN: 3540699279

Download Theory and Practice of Model Transformations Book in PDF, Epub and Kindle

Models have become essential for dealing with the numerous aspects involved in developing and maintaining complex IT systems. Models allow capturing of the relevant aspects of a system from a given perspective, and at a precise level of abstraction. In addition to models, the transformations between them are other key elements in model-driven engineering. Model transformations allow the de?nition and implementation of the operations on models, and also provide achainthatenablestheautomateddevelopmentofasystemfromitscorrespo- ing models. Furthermore, model transformations may be realized using models, and are, therefore, an integral part of any model-driven approach. There are already several proposals for model transformation speci?cation, implementation and execution, which are beginning to be used by modeling practitioners. However, model transformations need specialized support in s- eral aspects in order to realize their full potential. The problem goes beyond having speci?c languages to represent model transformations; we also need to understandtheirfoundations,suchasthekeyconceptsandoperatorssupporting those languages, their semantics, and their structuring mechanisms and pr- erties (e. g. , modularity, composability and parametrization). In addition, model transformations can be stored in repositories as reusable assets, where they can be managed, discovered and reused. There is also a need to chain and combine model transformations in order to produce new and more powerful transfor- tions, and to be able to implement new operations on models. Finally, model transformations need methodology support, i. e. , they need to be integrated into software development methodologies supported by appropriate tools and en- ronments. These issues and concerns de?ne the focus of these proceedings.

Theory and Practice of Model Transformations

Theory and Practice of Model Transformations
Author: Laurence Tratt
Publisher: Springer Science & Business Media
Total Pages: 286
Release: 2010-06-17
Genre: Computers
ISBN: 3642136877

Download Theory and Practice of Model Transformations Book in PDF, Epub and Kindle

Model transformations are the glue that tie modelling activities together. If you’ve used modelling in anger then, whether you know it or not, you’ve used model transformations. They come in all shapes and sizes from moving models between di?erent tools to generating implementations. Model transformations have humble beginnings—at one point, not long ago, it was said by many ‘in the know’ that the way forward in model transformations was to use XSLT. That this idea now raises a wry smile shows how far the model transformation community has come in a short time. Where once model transformations were hacked together in a variety of unsuitable languages, we now have a number of powerful, dedicated languages and theories at our disposal. Since 2008, the ICMT conference series has played a huge part in advancing the subject, and this third edition was no di?erent. The theories and languages presented at ICMT have allowed principled model transformations to play an ever greater part in real systems. Of course there is still much more to do: we need our model transformations, languages, and theories to scale further, allow greater expressivity, be more ?exible, and aid reusability; and we lack empirically backed studies of model transformations in use. Doubtless you can think of other gaps. Yet, though some real-world challenges lie just beyond our reach,eachyearseesonce-dauntingproblemsconquered.Muchofthatprogressis nowdriven byICMT, andthis year’sedition showedhow model transformations are increasingly being used in previously unfamiliar areas.

A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach

A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach
Author: Tassilo Horn
Publisher: Logos Verlag Berlin GmbH
Total Pages: 475
Release: 2015-07-11
Genre: Computers
ISBN: 3832542914

Download A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach Book in PDF, Epub and Kindle

This thesis is about a new model querying and transformation approach called FunnyQT which is realized as a set of APIs and embedded domain-specific languages (DSLs) in the JVM-based functional Lisp-dialect Clojure. Founded on a powerful model management API, FunnyQT provides querying services such as comprehensions, quantified expressions, regular path expressions, logic-based, relational model querying, and pattern matching. On the transformation side, it supports the definition of unidirectional model-to-model transformations, of in-place transformations, it supports defining bidirectional transformations, and it supports a new kind of co-evolution transformations that allow for evolving a model together with its metamodel simultaneously. Several properties make FunnyQT unique. Foremost, it is just a Clojure library, thus, FunnyQT queries and transformations are Clojure programs. However, most higher-level services are provided as task-oriented embedded DSLs which use Clojure's powerful macro-system to support the user with tailor-made language constructs important for the task at hand. Since queries and transformations are just Clojure programs, they may use any Clojure or Java library for their own purpose, e.g., they may use some templating library for defining model-to-text transformations. Conversely, like every Clojure program, FunnyQT queries and transformations compile to normal JVM byte-code and can easily be called from other JVM languages. Furthermore, FunnyQT is platform-independent and designed with extensibility in mind. By default, it supports the Eclipse Modeling Framework and JGraLab, and support for other modeling frameworks can be added with minimal effort and without having to modify the respective framework's classes or FunnyQT itself. Lastly, because FunnyQT is embedded in a functional language, it has a functional emphasis itself. Every query and every transformation compiles to a function which can be passed around, given to higher-order functions, or be parametrized with other functions.

Epsilon-transformation

Epsilon-transformation
Author: W. Zhang
Publisher:
Total Pages:
Release: 1994
Genre:
ISBN:

Download Epsilon-transformation Book in PDF, Epub and Kindle

Theory and Practice of Model Transformations

Theory and Practice of Model Transformations
Author: Pieter Van Gorp
Publisher: Springer
Total Pages: 211
Release: 2016-06-21
Genre: Computers
ISBN: 331942064X

Download Theory and Practice of Model Transformations Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 9th International Conference on Model Transformation, ICMT 2016, held in Vienna, Austria, in July 2016, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 13 revised papers were carefully selected from 36 submissions. The papers are organized in topical sections on model transformation languages, model transformation tools, developing model transformations, applications of model transformations, and looking ahead.

Theory and Practice of Model Transformations

Theory and Practice of Model Transformations
Author: Jordi Cabot
Publisher: Springer
Total Pages: 238
Release: 2011-06-28
Genre: Computers
ISBN: 364221732X

Download Theory and Practice of Model Transformations Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 4th International Conference, ICMT 2011, held in Zurich, Switzerland in June 2011. The 14 revised full papers were carefully revised and selected from 51 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. Topics addressed are such as transformation paradigms and languages, transformation algorithms and strategies, implementation and tools, as well as applications and case studies.

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering
Author: Alessandra Russo
Publisher: Springer
Total Pages: 361
Release: 2018-04-11
Genre: Computers
ISBN: 3319893637

Download Fundamental Approaches to Software Engineering Book in PDF, Epub and Kindle

This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.

Model Driven Architecture - Foundations and Applications

Model Driven Architecture - Foundations and Applications
Author: Ina Schieferdecker
Publisher: Springer Science & Business Media
Total Pages: 457
Release: 2008-05-30
Genre: Computers
ISBN: 3540690956

Download Model Driven Architecture - Foundations and Applications Book in PDF, Epub and Kindle

The fourth edition of the European Conference on Model-Driven Architecture – Foundations and Applications (ECMDA-FA 2008) was dedicated to furthering the state of knowledge and fostering the industrialization of the model-driven architecture (MDA) methodology. MDA is an initiative proposed by the - ject Management Group (OMG) for platform-generic software development. It promotes the use of models in the speci?cation, design, analysis, synthesis, - ployment, and evolution of complex software systems. ECMDA-FA 2008 focused on engaging key European and international - searchers and practitioners in a dialogue which will result in a stronger, more e?cientindustry,producingmorereliablesoftwareonthebasisofstate-of-the-art research results. ECMDA-FA is a forum for exchanging information, discussing the latest results and arguing about future developments of MDA. It is a pleasure to be able to introduce the proceedings of ECMDA-FA 2008. ECMDA-FA addresses various MDA areas including model management, e- cutable models, concrete syntaxes, aspects and concerns, validation and te- ing, model-based systems engineering, model-driven development and servi- oriented architectures, and the application of model-driven development. Therearesomanypeople whodeservewarmthanksandgratitude.The fru- ful collaboration of the Organization, Steering and Program Committee m- bersandthevibrantcommunityledtoasuccessfulconference:ECMDA-FA2008 obtainedexcellentresultsintermsofsubmissions,programsize,andattendance. The Program Committee accepted, with the help of additional reviewers, research papers and industry papers for ECMDA-FA 2008: We received 87 s- missions. Of these, a total of 31 were accepted including 21 research papers and 10 industry papers. We thank them for the thorough and high-quality selection process.

Theory and Practice of Model Transformation

Theory and Practice of Model Transformation
Author: Arend Rensink
Publisher: Springer
Total Pages: 203
Release: 2018-06-18
Genre: Computers
ISBN: 3319933175

Download Theory and Practice of Model Transformation Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. The papers include research, application, and tool demonstration papers presented in the context of four sessions on verification of model transformations, model transformation tools, transformation reuse and graph transformations.

Reactor Core Materials

Reactor Core Materials
Author:
Publisher:
Total Pages: 324
Release: 1961
Genre: Nuclear fuels
ISBN:

Download Reactor Core Materials Book in PDF, Epub and Kindle