This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and advanced results are first shown for an abstract form of replacement systems and are then instantiated to several forms of graph and Petri net transformation systems. The book develops typed attributed graph transformation and contains a practical case study.
"synopsis" may belong to another edition of this title.
The first author, Prof. Hartmut Ehrig, has been one of the key figures in this specific field over the last few decades.
He has written over 200 articles for refereed publications in the last 30 years (http://www.informatik.uni-trier.de/).
He has edited many LNCS proceedings volumes over the last 20 years, including: LNCS 3393 (http://www.springer.com/3-540-24936-2), LNCS 3256 (http://www.springer.com/3-540-23207-9), LNCS 3147 (http://www.springer.com/3-540-23135-8), LNCS 2505 (http://www.springer.com/3-540-44310-X), LNCS 2472 (http://www.springer.com/3-540-20538-1), LNCS 2128 (http://www.springer.com/3-540-43067-9), LNCS 1764 (http://www.springer.com/3-540-67203-6), LNCS 1073 (http://www.springer.com/3-540-61228-9), LNCS 776 (http://www.springer.com/3-540-57787-4), LNCS 534 (http://www.springer.com/3-540-54496-8), LNCS 532 (http://www.springer.com/3-540-54478-X), LNCS 393 (http://www.springer.com/3-540-51722-7), LNCS 291 (http://www.springer.com/3-540-18771-5). These LNCS volumes deal with his particular areas of expertise: Petri nets, graph transformations, category theory, graph grammars, type specification, and software modelling and specification techniques.
He was the subject of the recent LNCS Festschrift: Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, LNCS 3393, Kreowski et al., 2005 (http://www.springer.com/3-540-24936-2).
Prof. Ehrig wrote two previous books for Springer's EATCS series: (i) "Fundamentals of Algebraic Specification 2 -- Module Specifications and Constraints", EATCS Monographs Series, Hartmut Ehrig, Bernd Mahr, 1990,http://www.springer.com/3-540-51799-5; this sold 1151 copies. (ii) "Fundamentals of Algebraic Specification 1 -- Equations and Initial Semantics", EATCS Monographs Series, Hartmut Ehrig, Bernd Mahr,http://www.springer.com/3-540-13718-1.
He has been a key promoter of the relevant research area of the book in various EU-funded projects, including COMPUGRAPH (http://www.sts.tu-harburg.de/projects/Esprit-BR/Synopses/Projects/7183.html).
Finally, Prof. Ehrig was among the coeditors of the World Scientific "Handbook of Graph Grammars and Computing by Graph Transformation".
The fourth author, Dr. Gabriele Taentzer, has written over 50 articles for refereed publications in the last 15 years (http://www.informatik.uni-trier.de/), including the ACM Computing Surveys paper "Graphical Representation and Graph Transformation". Dr. Taentzer is on the Program and Steering Committees of a number of key, relevant conferences (FASE 2006, ICGT 2006), etc.
Further Notes: Prof. Dr. Hartmut Ehrig, TU Berlin, http://tfs.cs.tu-berlin.de/; Karsten Ehrig, TU Berlin,http://tfs.cs.tu-berlin.de/; Ulrike Prange, TU Berlin, http://tfs.cs.tu-berlin.de/Dr. Gabriele Taentzer, TU Berlin, http://tfs.cs.tu-berlin.de/.
From the reviews:
"A general theory of graph transformations ... has been developed. ... It is a very clear exposition of this material, spanning the breadth from underlying mathematics to an applications case study. ... The authors have done a very good job of presenting an area in which many different threads of research have developed in to a general theory ... . The book provides a helpful roadmap to the published research in the area, and a systematic treatment that emphasizes the fundamentals ... ." (Charles J. Colbourn, Zentralblatt MATH, Vol. 1095 (21), 2006)
"About this title" may belong to another edition of this title.
Shipping:
US$ 8.89
From France to U.S.A.
Shipping:
FREE
Within U.S.A.
Seller: Ammareal, Morangis, France
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Couverture légèrement déchirée. Salissures sur la tranche. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slightly creased cover. Slightly torn cover. Stains on the edge. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-812-992
Quantity: 1 available
Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-266610
Quantity: 1 available
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABTR-220088
Quantity: 2 available
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. xiv + 388 1st Edition. Seller Inventory # 26299173
Quantity: 1 available
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. pp. xiv + 388 Illus. This item is printed on demand. Seller Inventory # 7548794
Quantity: 1 available
Seller: booksXpress, Bayonne, NJ, U.S.A.
Hardcover. Condition: new. Seller Inventory # 9783540311874
Quantity: 10 available
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: NEW. Seller Inventory # ABLIING23Mar3113020165130
Quantity: Over 20 available
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: NEW. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540311874_lsuk
Quantity: Over 20 available
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory.Part I is an introduction to the classical case of graph and typed graph transformation. In Part II basic and advanced results are first shown for an abstract form of replacement systems, so-called adhesive high-level replacement systems based on category theory, and are then instantiated to several forms of graph and Petri net transformation systems. Part III develops typed attributed graph transformation, a technique of key relevance in the modeling of visual languages and in model transformation. Part IV contains a practical case study on model transformation and a presentation of the AGG (attributed graph grammar) tool environment. Finally the appendix covers the basics of category theory, signatures and algebras.The book addresses both research scientists and graduate students in computer science, mathematics and engineering. 408 pp. Englisch. Seller Inventory # 9783540311874
Quantity: 2 available
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and advanced results are first shown for an abstract form of. Seller Inventory # 448924439
Quantity: Over 20 available