Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg
Proceedings of the Second International Conference on Graph Transformations
ICGT, 2004.
@proceedings{ICGT-2004, address = "Rome, Italy", editor = "Hartmut Ehrig and Gregor Engels and Francesco Parisi-Presicce and Grzegorz Rozenberg", isbn = "3-540-23207-9", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Proceedings of the Second International Conference on Graph Transformations}", volume = 3256, year = 2004, }
Contents (31 items)
- ICGT-2004-Storey #development #visual notation
- Improving Flow in Software Development Through Graphical Representations (MADS), p. 1.
- ICGT-2004-Sandhu #data access #graph #modelling
- A Perspective on Graphs and Access Control Models (RSS), pp. 2–12.
- ICGT-2004-ClarkESW #design #metamodelling #model transformation #transformation language
- Transformation Language Design: A Metamodelling Foundation (TC, AE, PS, JSW), pp. 13–21.
- ICGT-2004-BeckerLW #execution #graph #incremental #integration #interactive #tool support
- Rule Execution in Graph-Based Incremental Interactive Integration Tools (SMB, SL, BW), pp. 22–38.
- ICGT-2004-BuurenJIS #architecture #composition #enterprise #modelling
- Composition of Relations in Enterprise Architecture Models (RvB, HJ, MEI, PS), pp. 39–53.
- ICGT-2004-GuerraL #graph transformation #integration #metamodelling #towards
- Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation (EG, JdL), pp. 54–69.
- ICGT-2004-RosselloV #analysis #graph transformation
- Analysis of Metabolic Pathways by Graph Transformation (FR, GV), pp. 70–82.
- ICGT-2004-YadavKS #graph transformation
- The Potential of a Chemical Graph Transformation System (MKY, BPK, SMS), pp. 83–95.
- ICGT-2004-BohlenR #concept #graph transformation #specification
- Concepts for Specifying Complex Graph Transformation Systems (BB, UR), pp. 96–111.
- ICGT-2004-Klempien-HinrichsKK #graph transformation #type system
- Typing of Graph Transformation Units (RKH, HJK, SK), pp. 112–127.
- ICGT-2004-PlumpS #algorithm #graph #source code #towards
- Towards Graph Programs for Graph Algorithms (DP, SS), pp. 128–143.
- ICGT-2004-EhrigHPP #category theory
- Adhesive High-Level Replacement Categories and Systems (HE, AH, JP, UP), pp. 144–160.
- ICGT-2004-EhrigPT #graph transformation
- Fundamental Theory for Typed Attributed Graph Transformation (HE, UP, GT), pp. 161–177.
- ICGT-2004-HabelH #graph transformation #independence #parallel
- Parallel Independence in Hierarchical Graph Transformation (AH, BH), pp. 178–193.
- ICGT-2004-BaldanKS #code generation #generative #graph transformation #testing
- Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems (PB, BK, IS), pp. 194–209.
- ICGT-2004-HeckelLM #graph transformation #probability
- Stochastic Graph Transformation Systems (RH, GL, SM), pp. 210–225.
- ICGT-2004-RensinkSV #comparison #graph transformation #model checking
- Model Checking Graph Transformations: A Comparison of Two Approaches (AR, ÁS, DV), pp. 226–241.
- ICGT-2004-ChalopinMZ
- Election, Naming and Cellular Edge Local Computations (JC, YM, WZ), pp. 242–256.
- ICGT-2004-EhrenfeuchtHHR
- Embedding in Switching Classes with Skew Gains (AE, JH, TH, GR), pp. 257–270.
- ICGT-2004-MetivierMOS
- Synchronizers for Local Computations (YM, MM, RO, AS), pp. 271–286.
- ICGT-2004-EhrigEHP #constraints #graph
- Constraints and Application Conditions: From Graphs to High-Level Structures (HE, KE, AH, KHP), pp. 287–303.
- ICGT-2004-CherchagoH #graph transformation #specification #using #web #web service
- Specification Matching of Web Services Using Conditional Graph Transformation Rules (AC, RH), pp. 304–318.
- ICGT-2004-Rensink #first-order #graph #logic #representation #using
- Representing First-Order Logic Using Graphs (AR), pp. 319–335.
- ICGT-2004-Casas-GarrigaB #partial order
- Coproduct Transformations on Lattices of Closed Partial Orders (GCG, JLB), pp. 336–351.
- ICGT-2004-SeifertF #generative #graph grammar #parsing #string
- Parsing String Generating Hypergraph Grammars (SS, IF), pp. 352–367.
- ICGT-2004-Urvoy #composition
- Composition of Path Transductions (TU), pp. 368–382.
- ICGT-2004-CorradiniDFR #graph transformation #java
- Translating Java Code to Graph Transformation Systems (AC, FLD, LF, LR), pp. 383–398.
- ICGT-2004-EetveldeJ #graph grammar #refactoring
- Extending Graph Rewriting for Refactoring (NVE, DJ), pp. 399–415.
- ICGT-2004-FerreiraR #graph grammar #object-oriented
- Derivations in Object-Oriented Graph Grammars (APLF, LR), pp. 416–430.
- ICGT-2004-BaresiH #graph transformation #perspective #re-engineering #tutorial
- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 431–433.
- ICGT-2004-HarjuPR #graph transformation #tutorial
- Tutorial on DNA Computing and Graph Transformation (TH, IP, GR), pp. 434–436.
14 ×#graph transformation
5 ×#graph
3 ×#graph grammar
2 ×#composition
2 ×#generative
2 ×#integration
2 ×#metamodelling
2 ×#modelling
2 ×#specification
2 ×#towards
5 ×#graph
3 ×#graph grammar
2 ×#composition
2 ×#generative
2 ×#integration
2 ×#metamodelling
2 ×#modelling
2 ×#specification
2 ×#towards