Graph Transformations [electronic resource] : Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings /

Invited Papers -- Improving Flow in Software Development Through Graphical Representations -- A Perspective on Graphs and Access Control Models -- Transformation Language Design: A Metamodelling Foundation -- Integration Technology -- Rule Execution in Graph-Based Incremental Interactive Integration Tools -- Composition of Relations in Enterprise Architecture Models -- Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation -- Chemistry and Biology -- Analysis of Metabolic Pathways by Graph Transformation -- The Potential of a Chemical Graph Transformation System -- Graph Transformation Concepts -- Concepts for Specifying Complex Graph Transformation Systems -- Typing of Graph Transformation Units -- Towards Graph Programs for Graph Algorithms -- DPO Theory for High-Level Structures -- Adhesive High-Level Replacement Categories and Systems -- Fundamental Theory for Typed Attributed Graph Transformation -- Parallel Independence in Hierarchical Graph Transformation -- Analysis and Testing -- Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems -- Stochastic Graph Transformation Systems -- Model Checking Graph Transformations: A Comparison of Two Approaches -- Graph Theory and Algorithms -- Election, Naming and Cellular Edge Local Computations -- Embedding in Switching Classes with Skew Gains -- Synchronizers for Local Computations -- Application Conditions and Logic -- Constraints and Application Conditions: From Graphs to High-Level Structures -- Specification Matching of Web Services Using Conditional Graph Transformation Rules -- Representing First-Order Logic Using Graphs -- Transformation of Special Structures -- Coproduct Transformations on Lattices of Closed Partial Orders -- Parsing String Generating Hypergraph Grammars -- Composition of Path Transductions -- Object-Orientation -- Translating Java Code to Graph Transformation Systems -- Extending Graph Rewriting for Refactoring -- Derivations in Object-Oriented Graph Grammars -- Tutorials and Workshops -- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective -- Tutorial on DNA Computing and Graph Transformation -- Workshop TERMGRAPH 2004 -- Workshop on Graph-Based Tools -- Workshop on Petri Nets and Graph Transformations -- Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions -- Workshop on Logic, Graph Transformations, Finite and Infinite Structures.

Bibliographic Details

Main Authors:	Ehrig, Hartmut. editor., Engels, Gregor. editor., Parisi-Presicce, Francesco. editor., Rozenberg, Grzegorz. editor., SpringerLink (Online service)
Format:	Texto biblioteca
Language:	eng
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
Subjects:	Mathematics., Software engineering., Data structures (Computer science)., Computers., Algorithms., Discrete mathematics., Discrete Mathematics., Mathematics, general., Data Structures., Software Engineering., Computation by Abstract Devices., Algorithm Analysis and Problem Complexity.,
Online Access:	http://dx.doi.org/10.1007/b100934
Tags:	Add Tag No Tags, Be the first to tag this record!