rent-now

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

9783540443100

Graph Transformations

by ; ; ; ;
  • ISBN13:

    9783540443100

  • ISBN10:

    354044310X

  • Format: Paperback
  • Copyright: 2002-10-01
  • Publisher: Springer Verlag
  • Purchase Benefits
  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $119.99 Save up to $100.19
  • Digital
    $42.90*
    Add to Cart

    DURATION
    PRICE
    *To support the delivery of the digital material to you, a digital delivery fee of $3.99 will be charged on each digital item.

Summary

This book constitutes the refereed proceedings of the First International Conference on Graph Transformations, ICGT 2002, held in Barcelona, Spain in October 2002. The 26 revised full papers presented were carefully reviewed and selected by the program committe. Also included are abstracts of 3 invited papers, a tutorial, the extended abstract of a tutorial, and 5 reports of workshops held in conjunction with ICGT. The papers deal with various graphical structures that are useful to describe complex systems and computational structures, like graphs, diagrams, visual sentences, and others. Graph transformations are stongly related to graph theory, graph algorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal specification and verification, and logic and semantics.

Table of Contents

Invited Papers
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineeringp. 1
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)p. 6
Bigraphs as a Model for Mobile Interactionp. 8
Contributed Papers
Approximating the Behaviour of Graph Transformation Systemsp. 14
Transforming Specification Architectures by GenGEDp. 30
Decomposing Graphs with Symmetriesp. 45
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problemsp. 60
Call-by-Value ?-Graph Rewriting Without Rewritingp. 75
Transformation: The Missing Link of MDAp. 90
Termination Detection of Distributed Algorithms by Graph Relabelling Systemsp. 106
Graph Transformation with Time: Causality and Logical Clocksp. 120
Relabelling in Graph Transformationp. 135
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classesp. 148
Confluence of Typed Attributed Graph Transformation Systemsp. 161
Abstraction and Control for Shapely Nested Graph Transformationp. 177
Hyperedge Substitution in Basic Atom-Replacement Languagesp. 192
Distributed Graph Transformation Unitsp. 207
Describing Policies with Graph Constraints and Rulesp. 223
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statechartsp. 239
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environmentp. 254
Graph-Based Reengineering of Telecommunication Systemsp. 270
Formalising Behaviour Preserving Program Transformationsp. 286
Unparsing of Diagrams with DiaGenp. 302
Linear Ordered Graph Grammars and Their Algebraic Foundationsp. 317
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systemsp. 334
Incremental Transformation of Lattices: A Key to Effective Knowledge Discoveryp. 351
GraCAD - Graph-Based Tool for Conceptual Designp. 363
A Formal Semantics of UML Statecharts by Model Transition Systemsp. 378
Hierarchical Vertex Orderingp. 393
Tutorials and Workshops
Tutorial Introduction to Graph Transformation: A Software Engineering Perspectivep. 402
Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliatesp. 430
TERMGRAPH 2002 - Workshop Surveyp. 435
Workshop on Graph-Based Toolsp. 440
Workshop on Graph Transformation and Visual Modeling Techniquesp. 445
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cyclep. 450
Workshop on Logic, Graph Transformations and Discrete Structuresp. 455
Author Indexp. 459
Table of Contents provided by Publisher. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program