Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg
Selected Papers of the Sixth International Workshop on Theory and Application of Graph Transformations
TAGT, 1998.
@proceedings{TAGT-1998, address = "Paderborn, Germany", editor = "Hartmut Ehrig and Gregor Engels and Hans-Jörg Kreowski and Grzegorz Rozenberg", isbn = "3-540-67203-6", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Selected Papers of the Sixth International Workshop on Theory and Application of Graph Transformations}", volume = 1764, year = 1998, }
Contents (33 items)
- TAGT-1998-Drewes #generative #power of
- Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars (FD), pp. 1–14.
- TAGT-1998-EngelfrietM #graph grammar
- Tree Languages Generated be Context-Free Graph Grammars (JE, SM), pp. 15–29.
- TAGT-1998-Pfaltz
- Neighborhood Expansion Grammars (JLP), pp. 30–44.
- TAGT-1998-SkodinisW
- Neighborhood-Preserving Node Replacements (KS, EW), pp. 45–58.
- TAGT-1998-EhrenfeuchtHHR #complexity #graph
- Complexity Issues in Switching of Graphs (AE, JH, TH, GR), pp. 59–70.
- TAGT-1998-GodardMM #graph #power of
- The Power of Local Computations in Graphs with Initial Knowledge (EG, YM, AM), pp. 71–84.
- TAGT-1998-EhrigHLOPR #framework #graph #rule-based
- Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information (HE, RH, ML, FO, JP, GR), pp. 85–102.
- TAGT-1998-HabelMP #approach #injection
- Double-Pushout Approach with Injective Matching (AH, JM, DP), pp. 103–116.
- TAGT-1998-JacquetK #approach
- Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approach (HJ, RKH), pp. 117–130.
- TAGT-1998-LlabresR #algebra #category theory
- Pushout Complements for Arbitrary Partial Algebras (ML, FR), pp. 131–144.
- TAGT-1998-BaldanCM #graph grammar
- Unfolding of Double-Pushout Graph Grammars is a Coreflection (PB, AC, UM), pp. 145–163.
- TAGT-1998-FischerKT #communication #distributed
- Local Views on Distributed Systems and Their Communication (IF, MK, GT), pp. 164–178.
- TAGT-1998-TaentzerGM #configuration management #distributed #graph transformation #towards
- Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems (GT, MG, TM), pp. 179–193.
- TAGT-1998-VerlindenJ #framework
- A Framework for NLC and ESM: Local Action Systems (NV, DJ), pp. 194–214.
- TAGT-1998-KreowskiV
- Redundancy and Subsumption in High-Level Replacement Systems (HJK, GV), pp. 215–227.
- TAGT-1998-Schuster #graph transformation #information management #representation
- Knowledge Representation and Graph Transformation (SS), pp. 228–237.
- TAGT-1998-Rudolf #constraints #graph #pattern matching #performance
- Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching (MR), pp. 238–251.
- TAGT-1998-BardohlE #concept #editing #visual notation
- Conceptual Model of the Graphical Editor GENGED for the Visual Definition of Visual Languages (RB, HE), pp. 252–266.
- TAGT-1998-BottoniPS #term rewriting
- From Formulae to Rewriting Systems (PB, FPP, MS), pp. 267–280.
- TAGT-1998-Minas #diagrams #representation
- Hypergraphs as a Uniform Diagram Representation Model (MM), pp. 281–295.
- TAGT-1998-FischerNTZ #diagrams #graph grammar #java #modelling
- Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java (TF, JN, LT, AZ), pp. 296–309.
- TAGT-1998-GadducciHK #logic
- A Fully Abstract Model for Graph-Interpreted Temporal Logic (FG, RH, MK), pp. 310–322.
- TAGT-1998-Kuske
- More About Control Conditions for Transformation Units (SK), pp. 323–337.
- TAGT-1998-MunchSW #constraints #multi
- Integrity Constraints in the Multi-paradigm Language PROGRES (MM, AS, AJW), pp. 338–351.
- TAGT-1998-BusattoEMW #framework #graph transformation
- A Framework for Adding Packages to Graph Transformation Approaches (GB, GE, KM, AW), pp. 352–367.
- TAGT-1998-Grosse-RhodePS #graph transformation
- Refinements of Graph Transformation Systems via Rule Expressions (MGR, FPP, MS), pp. 368–382.
- TAGT-1998-HeckelHKK
- Simple Modules for GRACE (RH, BH, PK, SK), pp. 383–395.
- TAGT-1998-SchurrW #graph grammar #term rewriting #uml
- UML Packages for PROgrammed Graph REwriting Systems (AS, AJW), pp. 396–409.
- TAGT-1998-PadbergGH #development #incremental #petri net #safety
- Incremental Development of Safety Properties in Petri Net Transformations (JP, MG, KH), pp. 410–425.
- TAGT-1998-Faulstich #graph transformation #using
- Using Graph Transformation Techniques for Integrating Information from the WWW (LF), pp. 426–441.
- TAGT-1998-Hrischuk #automation #graph grammar #process #using
- A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism (CEH), pp. 442–454.
- TAGT-1998-KrappKSW #development #graph #modelling #process
- Graph-Based Models for Managing Development Processes, Resources, and Products (CAK, SK, AS, BW), pp. 455–474.
- TAGT-1998-PetriuW #design pattern #graph transformation #modelling #performance
- Deriving Software Performance Models from Architectural Patterns by Graph Transformations (DCP, XW), pp. 475–488.
6 ×#graph transformation
5 ×#graph
5 ×#graph grammar
3 ×#framework
3 ×#modelling
2 ×#approach
2 ×#constraints
2 ×#development
2 ×#diagrams
2 ×#distributed
5 ×#graph
5 ×#graph grammar
3 ×#framework
3 ×#modelling
2 ×#approach
2 ×#constraints
2 ×#development
2 ×#diagrams
2 ×#distributed