Lecture Notes in Computer Science

Graph Transformation

First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings

Editors: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (Eds.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-45832-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.99
price for USA in USD
  • ISBN 978-3-540-44310-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - plications in computer science, held in Bad Honnef (1978), Osnabruc ¨ k (1982), Warrenton (1986), Bremen (1990), Williamsburg (1994), and Paderborn (1998). ICGT 2002 was held in Barcelona (Spain), October 7–12, 2002 under the a- pices of the European Association of Theoretical Computer Science (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP Working Group 1.3, Foundations of Systems Speci?cation. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams, visual sentences and others) that are useful to describe complex structures and systems in a direct and intuitive way. These structures are often augmented by formalisms which add to the static description a further dimension, allowing for the modeling of the evolution of systems via all kinds of transformations of such graphical structures. The ?eld of Graph Transformation is concerned with the theory, applications, and implementation issues of such formalisms. The theory is strongly related to areas such as graph theory and graph - gorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal speci?cation and veri?cation, logic, and semantics.

Table of contents (36 chapters)

Table of contents (36 chapters)
  • Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering

    Ghezzi, Carlo

    Pages 1-5

  • Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)

    Harel, David

    Pages 6-7

  • Bigraphs as a Model for Mobile Interaction

    Milner, Robin

    Pages 8-13

  • Approximating the Behaviour of Graph Transformation Systems

    Baldan, Paolo (et al.)

    Pages 14-29

  • Transforming Specification Architectures by GenGED

    Bardohl, Roswitha (et al.)

    Pages 30-44

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-45832-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.99
price for USA in USD
  • ISBN 978-3-540-44310-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Graph Transformation
Book Subtitle
First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings
Editors
  • Andrea Corradini
  • Hartmut Ehrig
  • Hans-Jörg Kreowski
  • Grzegorz Rozenberg
Series Title
Lecture Notes in Computer Science
Series Volume
2505
Copyright
2002
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45832-6
DOI
10.1007/3-540-45832-8
Softcover ISBN
978-3-540-44310-0
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 466
Topics