Pattern-based Model Transformation

Pattern-based Model Transformation PDF Author: Sheena Judson Miller
Publisher:
ISBN:
Category :
Languages : en
Pages :

Get Book Here

Book Description


Correctness, Completeness and Termination of Pattern Based Model-to-model Transformation

Correctness, Completeness and Termination of Pattern Based Model-to-model Transformation PDF Author: Fernando Orejas
Publisher:
ISBN:
Category :
Languages : en
Pages : 46

Get Book Here

Book Description


Co-Evolution of Metamodels and Model Transformations

Co-Evolution of Metamodels and Model Transformations PDF Author: Steffen Kruse
Publisher: BoD – Books on Demand
ISBN: 3738628940
Category : Computers
Languages : en
Pages : 278

Get Book Here

Book Description
Complexity is an essential property of software systems that increases in a non-linear fashion with the size of the software system. In software engineering, Model Driven Engineering (MDE) aims to alleviate this complexity by utilising models and modelling activities to raise the level of abstraction and to automate the production of artefacts. One specialised technique with this purpose is the model transformation, which allows the automated creation and modification of output models based on input models. As models and model transformations are used in a productive capacity, they underlie the same evolutionary pressure that conventionally build software systems do. Here the tight coupling between model transformations and metamodels becomes problematic, as changing the one often results in the need to check and adapt the other accordingly. This thesis presents an operator-based, stepwise approach to support software architects in the co-evolution of metamodels and model transformations. The approach allows the description of changes done to a metamodel and the automatic or semi-automatic resolution of the impact on related model transformations. Overall the effort needed for co-evolution is reduced.

Design Pattern Driven Development of Model Transformations

Design Pattern Driven Development of Model Transformations PDF Author: Huseyin Ergin
Publisher:
ISBN:
Category : Electronic dissertations
Languages : en
Pages : 174

Get Book Here

Book Description
MDE is considered a well-established software development approach that uses abstraction to bridge the gap between the problem space and the software implementation. These abstractions are represented by models that make the validation of the real system easier. In MDE, many problems are solved using model transformation, which is a paradigm that manipulates high-level models to translate, evolve, or simulate them. However, the development of a model transformation for a specific problem is still a hard task. The main reason is the lack of a development process where transformations must be designed before implemented. Design patterns provide experiential reuse to software engineers when faced with recurring problems. In the literature, design patterns have been used to generate partially reusable software designs in order to help developers. There are many design patterns focused development methodologies proposed. However, most of them specialize in object-oriented design patterns. Given the various contexts in which design patterns have been applied, model transformations may also benefit from a patterns approach. Although several studies have proposed design patterns for model transformation, there is still no accepted common language to express them or a methodology that places design patterns at the heart of the development of model transformations. Therefore, we created a semi-formal way to describe model transformation design patterns that is independent from a specific model transformation language and described in a practical way that is directly implementable by model engineers. In this dissertation, we present a catalog of 15 model transformation design patterns following a novel uniform template and domain-specific language, DelTa. We elaborate a five-step methodology that guides model engineers in designing solutions to transformation problems by putting the design patterns at the heart of their thought process. We also demonstrate how it is possible to automatically generate excerpts of a model transformation in various languages given a design pattern. We conducted a survey to motivate the need for model transformation design patterns and a user study to validate the usefulness and effectiveness of our methodology to solve problems as model transformations based on design patterns.

Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version

Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version PDF Author: Fernando Orejas
Publisher:
ISBN:
Category :
Languages : en
Pages :

Get Book Here

Book Description


Theory and Practice of Model Transformation

Theory and Practice of Model Transformation PDF Author: Esther Guerra
Publisher: Springer
ISBN: 3319614738
Category : Computers
Languages : en
Pages : 191

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; development of transformations; and applications and case studies.

Model Driven Engineering Languages and Systems

Model Driven Engineering Languages and Systems PDF Author: Dorina C. Petriu
Publisher: Springer
ISBN: 3642161456
Category : Computers
Languages : en
Pages : 443

Get Book Here

Book Description
The MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important new te- nical discipline: model-driven software and systems engineering. The expansion ofthisdisciplineisadirectconsequenceoftheincreasingsigni?canceandsuccess of model-based methods in practice. Numerous e?orts resulted in the invention of concepts, languagesand tools for the de?nition, analysis,transformation, and veri?cationofdomain-speci?cmodelinglanguagesandgeneral-purposemodeling language standards, as well as their use for software and systems engineering. MODELS 2010, the 13th edition of the conference series, took place in Oslo, Norway, October 3-8, 2010, along with numerous satellite workshops, symposia and tutorials. The conference was fortunate to have three prominent keynote speakers: Ole Lehrmann Madsen (Aarhus University, Denmark), Edward A. Lee (UC Berkeley, USA) and Pamela Zave (AT&T Laboratories, USA). To provide a broader forum for reporting on scienti?c progress as well as on experience stemming from practical applications of model-based methods, the 2010 conference accepted submissions in two distinct tracks: Foundations and Applications. The primary objective of the ?rst track is to present new research results dedicated to advancing the state-of-the-art of the discipline, whereas the second aims to provide a realistic and veri?able picture of the current state-- the-practice of model-based engineering, so that the broader community could be better informed of the capabilities and successes of this relatively young discipline. This volume contains the ?nal version of the papers accepted for presentation at the conference from both tracks.

Graph Transformation

Graph Transformation PDF Author: Maribel Fernández
Publisher: Springer Nature
ISBN: 303136709X
Category : Computers
Languages : en
Pages : 308

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 16th International Conference on Graph Transformation, ICGT 2023, held as Part of STAF 2023 in Leicester, UK, in July 2023. The 14 full papers and 2 short papers presented in this book were carefully reviewed and selected from 29 submissions. The conference focuses on describing new unpublished contributions in the theory and applications of graph transformation as well as tool presentation papers that demonstrate main new features and functionalities of graph-based tools.

Graph and Model Transformation

Graph and Model Transformation PDF Author: Hartmut Ehrig
Publisher: Springer
ISBN: 366247980X
Category : Computers
Languages : en
Pages : 468

Get Book Here

Book Description
This book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applications of the algebraic theory of graph transformations, and references to the historical context. Then in the main part the book contains detailed chapters on M-adhesive categories, M-adhesive transformation systems, and multi-amalgamated transformations, and model transformation based on triple graph grammars. In the final part of the book the authors examine application of the techniques in various domains, including chapters on case studies and tool support. The book will be of interest to researchers and practitioners in the areas of theoretical computer science, software engineering, concurrent and distributed systems, and visual modelling.

Computer Science and Convergence

Computer Science and Convergence PDF Author: James (Jong Hyuk) Park
Publisher: Springer Science & Business Media
ISBN: 9400727925
Category : Technology & Engineering
Languages : en
Pages : 822

Get Book Here

Book Description
Computer Science and Convergence is proceedings of the 3rd FTRA International Conference on Computer Science and its Applications (CSA-11) and The 2011 FTRA World Convergence Conference (FTRA WCC 2011). The topics of CSA and WCC cover the current hot topics satisfying the world-wide ever-changing needs. CSA-11 will be the most comprehensive conference focused on the various aspects of advances in computer science and its applications and will provide an opportunity for academic and industry professionals to discuss the latest issues and progress in the area of CSA. In addition, the conference will publish high quality papers which are closely related to the various theories and practical applications in CSA. Furthermore, we expect that the conference and its publications will be a trigger for further related research and technology improvements in this important subject. The main scope of CSA-11 is as follows: - Mobile and ubiquitous computing - Dependable, reliable and autonomic computing - Security and trust management - Multimedia systems and services - Networking and communications - Database and data mining - Game and software engineering - Grid, cloud and scalable computing - Embedded system and software - Artificial intelligence - Distributed and parallel algorithms - Web and internet computing - IT policy and business management WCC-11 is a major conference for scientists, engineers, and practitioners throughout the world to present the latest research, results, ideas, developments and applications in all areas of convergence technologies. The main scope of WCC-11 is as follows: - Cryptography and Security for Converged environments - Wireless sensor network for Converged environments - Multimedia for Converged environments - Advanced Vehicular Communications Technology for Converged environments - Human centric computing, P2P, Grid and Cloud computing for Converged environments - U-Healthcare for Converged environments - Strategic Security Management for Industrial Technology - Advances in Artificial Intelligence and Surveillance Systems