Triple Graph Grammars For Multi Version Models
DOWNLOAD
Download Triple Graph Grammars For Multi Version Models PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Triple Graph Grammars For Multi Version Models book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Triple Graph Grammars For Multi Version Models
DOWNLOAD
Author : Matthias Barkowsky
language : en
Publisher: Universitätsverlag Potsdam
Release Date : 2023-06-06
Triple Graph Grammars For Multi Version Models written by Matthias Barkowsky and has been published by Universitätsverlag Potsdam this book supported file pdf, txt, epub, kindle and other format this book has been release on 2023-06-06 with Computers categories.
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.
Graph And Model Transformation
DOWNLOAD
Author : Hartmut Ehrig
language : en
Publisher: Springer
Release Date : 2015-12-21
Graph And Model Transformation written by Hartmut Ehrig and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2015-12-21 with Computers categories.
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.
Theory And Practice Of Model Transformations
DOWNLOAD
Author : Pieter Van Gorp
language : en
Publisher: Springer
Release Date : 2016-06-21
Theory And Practice Of Model Transformations written by Pieter Van Gorp and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2016-06-21 with Computers categories.
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.
Building Transformation Networks For Consistent Evolution Of Interrelated Models
DOWNLOAD
Author : Klare, Heiko
language : en
Publisher: KIT Scientific Publishing
Release Date : 2022-03-24
Building Transformation Networks For Consistent Evolution Of Interrelated Models written by Klare, Heiko and has been published by KIT Scientific Publishing this book supported file pdf, txt, epub, kindle and other format this book has been release on 2022-03-24 with Computers categories.
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.
Hpi Future Soc Lab Proceedings 2019
DOWNLOAD
Author : Christoph Meinel
language : en
Publisher: Universitätsverlag Potsdam
Release Date : 2024-06-28
Hpi Future Soc Lab Proceedings 2019 written by Christoph Meinel and has been published by Universitätsverlag Potsdam this book supported file pdf, txt, epub, kindle and other format this book has been release on 2024-06-28 with categories.
EN The “HPI Future SOC Lab” is a cooperation of the Hasso Plattner Institute (HPI) and industry partners. Its mission is to enable and promote exchange and interaction between the research community and the industry partners. The HPI Future SOC Lab provides researchers with free of charge access to a complete infrastructure of state of the art hard and software. This infrastructure includes components, which might be too expensive for an ordinary research environment, such as servers with up to 64 cores and 2 TB main memory. The offerings address researchers particularly from but not limited to the areas of computer science and business information systems. Main areas of research include cloud computing, parallelization, and In-Memory technologies. This technical report presents results of research projects executed in 2019. Selected projects have presented their results on April 9th and November 12th 2019 at the Future SOC Lab Day events. DE Das Future SOC Lab am HPI ist eine Kooperation des Hasso-Plattner-Instituts mit verschiedenen Industriepartnern. Seine Aufgabe ist die Ermöglichung und Förderung des Austausches zwischen Forschungsgemeinschaft und Industrie. Am Lab wird interessierten Wissenschaftlern eine Infrastruktur von neuester Hard- und Software kostenfrei für Forschungszwecke zur Verfügung gestellt. Dazu zählen teilweise noch nicht am Markt verfügbare Technologien, die im normalen Hochschulbereich in der Regel nicht zu finanzieren wären, bspw. Server mit bis zu 64 Cores und 2 TB Hauptspeicher. Diese Angebote richten sich insbesondere an Wissenschaftler in den Gebieten Informatik und Wirtschaftsinformatik. Einige der Schwerpunkte sind Cloud Computing, Parallelisierung und In-Memory Technologien. In diesem Technischen Bericht werden die Ergebnisse der Forschungsprojekte des Jahres 2019 vorgestellt. Ausgewählte Projekte stellten ihre Ergebnisse am 09. April und 12. November 2019 im Rahmen des Future SOC Lab Tags vor.
Hpi Future Soc Lab Proceedings 2020
DOWNLOAD
Author : Christoph Meinel
language : en
Publisher: Universitätsverlag Potsdam
Release Date : 2024-08-09
Hpi Future Soc Lab Proceedings 2020 written by Christoph Meinel and has been published by Universitätsverlag Potsdam this book supported file pdf, txt, epub, kindle and other format this book has been release on 2024-08-09 with categories.
The “HPI Future SOC Lab” is a cooperation of the Hasso Plattner Institute (HPI) and industry partners. Its mission is to enable and promote exchange and interaction between the research community and the industry partners. The HPI Future SOC Lab provides researchers with free of charge access to a complete infrastructure of state of the art hard and software. This infrastructure includes components, which might be too expensive for an ordinary research environment, such as servers with up to 64 cores and 2 TB main memory. The offerings address researchers particularly from but not limited to the areas of computer science and business information systems. Main areas of research include cloud computing, parallelization, and In-Memory technologies. This technical report presents results of research projects executed in 2020. Selected projects have presented their results on April 21st and November 10th 2020 at the Future SOC Lab Day events.
Theory And Practice Of Model Transformations
DOWNLOAD
Author : Dimitris Kolovos
language : en
Publisher: Springer
Release Date : 2015-07-15
Theory And Practice Of Model Transformations written by Dimitris Kolovos and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2015-07-15 with Computers categories.
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.
Theory And Practice Of Model Transformations
DOWNLOAD
Author : Antonio Vallecillo
language : en
Publisher: Springer
Release Date : 2008-07-01
Theory And Practice Of Model Transformations written by Antonio Vallecillo and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2008-07-01 with Computers categories.
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.
Conceptual Modeling
DOWNLOAD
Author : Paul Johannesson
language : en
Publisher: Springer
Release Date : 2015-10-09
Conceptual Modeling written by Paul Johannesson and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2015-10-09 with Computers categories.
This book constitutes the refereed proceedings of the 34th International Conference on Conceptual Modeling, ER 2015, held in Stockholm, Sweden, in October 2015. The 26 full and 19 short papers presented were carefully reviewed and selected from 131 submissions. The papers are organized in topical sections on business process and goal models, ontology-based models and ontology patterns, constraints, normalization, interoperability and integration, collaborative modeling, variability and uncertainty modeling, modeling and visualization of user generated content, schema discovery and evolution, process and text mining, domain-based modeling, data models and semantics, and applications of conceptual modeling.
Visual Languages For Interactive Computing Definitions And Formalizations
DOWNLOAD
Author : Ferri, Fernando
language : en
Publisher: IGI Global
Release Date : 2007-08-31
Visual Languages For Interactive Computing Definitions And Formalizations written by Ferri, Fernando and has been published by IGI Global this book supported file pdf, txt, epub, kindle and other format this book has been release on 2007-08-31 with Computers categories.
Presents problems and methodologies related to the syntax, semantics, and ambiguities of visual languages. Defines and formalizes visual languages for interactive computing, as well as visual notation interpretation.