ZIB

Treffer pro Seite

Treffer 1 - 4 | 4 Treffer

Sortierung

Buch

Graph and model transformation : general framework and applications (2015)

Ehrig, Hartmut [[Hrsg.]] ; Ermel, Claudia [[Hrsg.]] ; Golas, Ulrike [[Hrsg.]] ; [weitere]

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Graph and model transformation : general framework and applications

Beteiligte Person(en): Ehrig, Hartmut , Ermel, Claudia , Golas, Ulrike , Hermann, Frank

Erscheinungsjahr: 2015

Seiten: XI, 472 Seiten : , Illustrationen

Serie: Monographs in Theoretical Computer Science / EATCS

ISBN: 978-3-662-47980-3 , 978-3-662-47979-7

Materialart: Buch

Sprache: Englisch

URL: https://www.zbmath.org/?q=an:06540564

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

Unbekannt

Towards Local Confluence Analysis for Amalgamated Graph Transformation (2015)

Taentzer, Gabriele ; Golas, Ulrike

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 2016-06-30

Beschreibung: Amalgamated graph transformation allows to define schemes of rules coinciding in common core activities and differing over additional parallel independent activities. Consequently, a rule scheme is specified by a kernel rule and a set of extending multi-rules forming an interaction scheme. Amalgamated transformations have been increasingly used in various modeling contexts. Critical Pair Analysis (CPA) can be used to show local confluence of graph transformation systems. It is an open challenge to lift the CPA to amalgamated graph transformation systems, especially since infinite many pairs of amalgamated rules occur in general. As a first step towards an efficient local confluence analysis of amalgamated graph transformation systems, we show that the analysis of a finite set of critical pairs suffices to prove local confluence.

Sprache: Englisch

Materialart: conferenceobject , doc-type:conferenceObject

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

OPUS

Überblick

Unbekannt

Graph and Model Transformation (2015)

Ehrig, Hartmut ; Ermel, Claudia ; Golas, Ulrike ; [weitere]

zur Merkliste hinzufügen auf der Merkliste

Details

Publikationsdatum: 2016-06-30

Beschreibung: 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.

Sprache: Englisch

Materialart: book , doc-type:book

Permalink