Triple Graph Grammars For Multi Version Models

Author : Matthias Barkowsky,Holger Giese
Publisher : Universitätsverlag Potsdam
Page : 36 pages
File Size : 46,8 Mb
Release : 2023-06-06
Category : Computers
ISBN : 9783869565569

Get Book

Triple graph grammars for multi-version models by Matthias Barkowsky,Holger Giese Pdf

Like conventional software projects, projects in model-driven software engineering require adequate management of multiple versions of development artifacts, importantly allowing living with temporary inconsistencies. In the case of model-driven software engineering, employed versioning approaches also have to handle situations where different artifacts, that is, different models, are linked via automatic model transformations. In this report, we propose a technique for jointly handling the transformation of multiple versions of a source model into corresponding versions of a target model, which enables the use of a more compact representation that may afford improved execution time of both the transformation and further analysis operations. Our approach is based on the well-known formalism of triple graph grammars and a previously introduced encoding of model version histories called multi-version models. In addition to showing the correctness of our approach with respect to the standard semantics of triple graph grammars, we conduct an empirical evaluation that demonstrates the potential benefit regarding execution time performance.

Author : Pieter Van Gorp,Gregor Engels
Publisher : Springer
Page : 207 pages
File Size : 48,5 Mb
Release : 2016-06-21
Category : Computers
ISBN : 9783319420646

Get Book

Theory and Practice of Model Transformations by Pieter Van Gorp,Gregor Engels Pdf

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.

Author : Dimitris Kolovos,Manuel Wimmer
Publisher : Springer
Page : 231 pages
File Size : 43,6 Mb
Release : 2015-07-15
Category : Computers
ISBN : 9783319211558

Get Book

Theory and Practice of Model Transformations by Dimitris Kolovos,Manuel Wimmer Pdf

This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse and industrial applications; new paradigms for model transformation; transformation validation and verification; and foundations of model transformation.

Author : Hartmut Ehrig,Claudia Ermel,Ulrike Golas,Frank Hermann
Publisher : Springer
Page : 472 pages
File Size : 40,7 Mb
Release : 2015-12-21
Category : Computers
ISBN : 9783662479803

Get Book

Graph and Model Transformation by Hartmut Ehrig,Claudia Ermel,Ulrike Golas,Frank Hermann Pdf

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.

Author : Heike Wehrheim,Jordi Cabot
Publisher : Springer Nature
Page : 552 pages
File Size : 53,6 Mb
Release : 2020-04-20
Category : Computers
ISBN : 9783030452346

Get Book

Fundamental Approaches to Software Engineering by Heike Wehrheim,Jordi Cabot Pdf

This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.

Author : Klare, Heiko
Publisher : KIT Scientific Publishing
Page : 596 pages
File Size : 52,5 Mb
Release : 2022-03-24
Category : Computers
ISBN : 9783731511328

Get Book

Building Transformation Networks for Consistent Evolution of Interrelated Models by Klare, Heiko Pdf

Complex software systems are described with multiple artifacts, such as code, design diagrams and others. Ensuring their consistency is crucial and can be automated with transformations for pairs of artifacts. We investigate how developers can combine independently developed and reusable transformations to networks that preserve consistency between more than two artifacts. We identify synchronization, compatibility and orchestration as central challenges, and we develop approaches to solve them.

Author : Esther Guerra,Mark van den Brand
Publisher : Springer
Page : 183 pages
File Size : 44,5 Mb
Release : 2017-07-03
Category : Computers
ISBN : 9783319614731

Get Book

Theory and Practice of Model Transformation by Esther Guerra,Mark van den Brand Pdf

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.

Author : Francesco Parisi-Presicce,Bernhard Westfechtel
Publisher : Springer
Page : 283 pages
File Size : 44,9 Mb
Release : 2015-07-16
Category : Computers
ISBN : 9783319211459

Get Book

Graph Transformation by Francesco Parisi-Presicce,Bernhard Westfechtel Pdf

This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on foundations; applications: technical papers, and tool presentations.

Author : Andy Schürr,Manfred Nagl,Albert Zündorf
Publisher : Springer Science & Business Media
Page : 607 pages
File Size : 46,6 Mb
Release : 2008-10-15
Category : Computers
ISBN : 9783540890195

Get Book

Applications of Graph Transformations with Industrial Relevance by Andy Schürr,Manfred Nagl,Albert Zündorf Pdf

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007. The 30 revised full papers presented together with 2 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on graph transformation applications, meta-modeling and domain-specific language, new graph transformation approaches, program transformation applications, dynamic system modeling, model driven software development applications, queries, views, and model transformations, as well as new pattern matching and rewriting concepts. The volume moreover contains 4 papers resulting from the adjacent graph transformation tool contest and concludes with 9 papers summarizing the state of the art of today's available graph transformation environments.

Author : José Luiz Fiadeiro,Ionuț Țuțu
Publisher : Springer
Page : 175 pages
File Size : 54,6 Mb
Release : 2019-06-25
Category : Computers
ISBN : 9783030232207

Get Book

Recent Trends in Algebraic Development Techniques by José Luiz Fiadeiro,Ionuț Țuțu Pdf

This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018. The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The contributed presentations covered a range of topics: specification and modelling languages such as CASL, Event-B, Maude, MMT, and SRML; foundations of system specification such as graph transformation, categorical semantics, fuzzy and temporal logics, institutions, module systems and parameterization, refinement, static analysis, and substitutions; and applications including categorical programming, communicating finite state machines, neuralsymbolicintegration, relational databases, and service-oriented computing.

Author : Jos Warmer,Arend Rensink
Publisher : Springer
Page : 396 pages
File Size : 51,9 Mb
Release : 2006-06-29
Category : Computers
ISBN : 9783540359104

Get Book

Model-Driven Architecture - Foundations and Applications by Jos Warmer,Arend Rensink Pdf

Integration -- Applications of transformations -- Applications of MDA -- Process -- Model consistency -- Model management -- Transformation (1) -- Ontologies -- Reengineering -- Tools and profiles -- Tool generation -- Constraints -- Model management and transformations -- Transformation (2).

Author : Hartmut Ehrig,Frank Hermann,Christoph Sartorius
Publisher : Unknown
Page : 14 pages
File Size : 47,5 Mb
Release : 2009
Category : Electronic
ISBN : OCLC:458769011

Get Book

Completeness and Correctness of Model Transformations Based on Triple Graph Grammars with Negative Application Conditions by Hartmut Ehrig,Frank Hermann,Christoph Sartorius Pdf

Author : Michel R. V. Chaudron
Publisher : Springer Science & Business Media
Page : 413 pages
File Size : 40,5 Mb
Release : 2009-04-22
Category : Business & Economics
ISBN : 9783642016479

Get Book

Models in Software Engineering by Michel R. V. Chaudron Pdf

This book constitutes a collection of the best papers selected from the 12 workshops and 3 tutorials held in conjunction with MODELS 2008, the 11th International Conference on Model Driven Engineering Languages and Systems, in Toulouse, France, September 28 - October 3, 2008. The contributions are organized within the volume according to the workshops at which they were presented: Model Based Architecting and Construction of Embedded Systems (ACES-MB); Challenges in Model Driven Software Engineering (CHAMDE); Empirical Studies of Model Driven Engineering (ESMDA); Models@runtime; Model Co-evolution and Consistency Management (MCCM); Model-Driven Web Engineering (MDWE); Modeling Security (MODSEC); Model-Based Design of Trustworthy Health Information Systems (MOTHIS); Non-functional System Properties in Domain Specific Modeling Languages (NFPin DSML); OCL Tools: From Implementation to Evaluation and Comparison (OCL); Quality in Modeling (QIM); and Transforming and Weaving Ontologies and Model Driven Engineering (TWOMDE). Each section includes a summary of the workshop. The last three sections contain selected papers from the Doctoral Symposium, the Educational Symposium and the Research Project Symposium, respectively.

Author : Gregor Engels,Claus Lewerentz,Wilhelm Schäfer,Andy Schürr,Bernhard Westfechtel
Publisher : Springer Science & Business Media
Page : 777 pages
File Size : 55,9 Mb
Release : 2010-11-22
Category : Computers
ISBN : 9783642173219

Get Book

Graph Transformations and Model-Driven Engineering by Gregor Engels,Claus Lewerentz,Wilhelm Schäfer,Andy Schürr,Bernhard Westfechtel Pdf

This festschrift volume, published in honor of Manfred Nagl on the occasion of his 65th birthday, contains 30 refereed contributions, that cover graph transformations, software architectures and reengineering, embedded systems engineering, and more.

Author : Esther Guerra,Mariëlle Stoelinga
Publisher : Springer Nature
Page : 373 pages
File Size : 40,5 Mb
Release : 2021-04-20
Category : Computers
ISBN : 9783030715007

Get Book

Fundamental Approaches to Software Engineering by Esther Guerra,Mariëlle Stoelinga Pdf

This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.