Theory and Application of Graph Transformations [electronic resource] : 6th International Workshop, TAGT’98, Paderborn, Germany, November 16-20, 1998. Selected Papers /

Theareaofgraphtransformationoriginatedinthelate1960sunderthename “graph grammars” – the main motivation came from practical considerations concerning pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph transformation has grown impressively. The areas include: software speci?cation and development, VLSI layout schemes, database design, modeling of concurrent systems, m- sively parallel computer architectures, logic programming, computer animation, developmentalbiology,musiccomposition,distributedsystems,speci?cationl- guages, software and web engineering, and visual languages. As a matter of fact, graph transformation is now accepted as a fundamental computation paradigm where computation includes speci?cation, programming, and implementation. Over the last three decades the area of graph transfor- tion has developed at a steady pace into a theoretically attractive research ?eld, important for applications. Thisvolume consistsofpapersselectedfromcontributionsto the Sixth Int- national Workshop on Theory and Applications of Graph Transformation that took place in Paderborn, Germany, November 16-20, 1998. The papers und- went an additional refereeing process which yielded 33 papers presented here (out of 55 papers presented at the workshop). This collection of papers provides a very broad snapshot of the state of the art of the whole ?eld today. They are grouped into nine sections representing most active research areas. Theworkshopwasthe sixth in a seriesof internationalworkshopswhich take place every four years. Previous workshops were called “Graph Grammars and Their Application to Computer Science”. The new name of the Sixth Workshop re?ectsmoreaccuratelythecurrentsituation,whereboththeoryandapplication play an equally central role.

Saved in:
Bibliographic Details
Main Authors: Ehrig, Hartmut. editor., Engels, Gregor. editor., Kreowski, Hans-Jörg. editor., Rozenberg, Grzegorz. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000
Subjects:Computer science., Computers., Mathematical logic., Computer science, Artificial intelligence., Discrete mathematics., Computer Science., Theory of Computation., Discrete Mathematics., Mathematical Logic and Formal Languages., Symbolic and Algebraic Manipulation., Artificial Intelligence (incl. Robotics).,
Online Access:http://dx.doi.org/10.1007/b75045
Tags: Add Tag
No Tags, Be the first to tag this record!