Theory and application of graph transformations. 6th international workshop, TAGT '98. Paderborn, Germany, November 16--20, 1998. Selected papers (Q1967118)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Theory and application of graph transformations. 6th international workshop, TAGT '98. Paderborn, Germany, November 16--20, 1998. Selected papers
scientific article

    Statements

    Theory and application of graph transformations. 6th international workshop, TAGT '98. Paderborn, Germany, November 16--20, 1998. Selected papers (English)
    0 references
    13 March 2000
    0 references
    The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Drewes, Frank}, Some remarks on the generative power of collage grammars and chain-code grammars, 1-14 [Zbl 0958.68078] \textit{Engelfriet, Joost; Maneth, Sebastian}, Tree languages generated by context-free graph grammars, 15-29 [Zbl 0956.68074] \textit{Pfaltz, John L.}, Neighborhood expansion grammars, 30-44 [Zbl 0958.68511] \textit{Skodinis, Konstantin; Wanke, Egon}, Neighborhood-preserving node replacements, 45-58 [Zbl 0958.68079] \textit{Ehrenfeucht, Andrzej; Hage, Jurriaan; Harju, Tero; Rozenberg, Grzegorz}, Complexity issues in switching of graphs, 59-70 [Zbl 0958.68133] \textit{Godard, Emmanuel; Métivier, Yves; Muscholl, Anca}, The power of local computations in graphs with initial knowledge, 71-84 [Zbl 0958.68064] \textit{Ehrig, Hartmut; Heckel, Reiko; Llabrés, Mercè; Orejas, Fernando; Padberg, Julia; Rozenberg, Grzegorz}, Double-pullback graph transitions: A rule-based framework with incomplete information, 85-102 [Zbl 0958.68123] \textit{Habel, Annegret; Müller, Jürgen; Plump, Detlef}, Double-pushout approach with injective matching, 103-116 [Zbl 0958.68080] \textit{Jacquet, Hélène; Klempien-Hinrichs, Renate}, Node replacement in hypergraphs: Translating NCE rewriting into the pullback approach, 117-130 [Zbl 0958.68134] \textit{Llabrés, Mercè; Rosselló, Francesc}, Pushout complements for arbitrary partial algebras, 131-144 [Zbl 0957.08004] \textit{Baldan, Paolo; Corradini, Andrea; Montanari, Ugo}, Unfolding of double-pushout graph grammars is a coreflection, 145-163 [Zbl 0958.68081] \textit{Fischer, Ingrid; Koch, Manuel; Taentzer, Gabriele}, Local views on distributed systems and their communication, 164-178 [Zbl 0958.68015] \textit{Taentzer, Gabriele; Goedicke, Michael; Meyer, Torsten}, Dynamic change management by distributed graph transformation: Towards configurable distributed systems, 179-193 [Zbl 0971.68648] \textit{Verlinden, Nico; Janssens, Dirk}, A framework for NLC and ESM: Local action systems, 194-214 [Zbl 0958.68076] \textit{Kreowski, Hans-Jörg; Valiente, Gabriel}, Redundancy and subsumption in high-level replacement systems, 215-227 [Zbl 0958.68077] \textit{Schuster, Stefan}, Knowledge representation and graph transformation, 228-237 [Zbl 0958.68168] \textit{Rudolf, Michael}, Utilizing constraint satisfaction techniques for efficient graph pattern matching, 238-251 [Zbl 0971.68650] \textit{Bardohl, Roswitha; Ehrig, Hartmut}, Conceptual model of the graphical editor GenGEd for the visual definition of visual languages, 252-266 [Zbl 0971.68658] \textit{Bottoni, Paolo; Parisi-Presicce, Francesco; Simeoni, Marta}, From formulae to rewriting systems, 267-280 [Zbl 0971.68603] \textit{Minas, Mark}, Hypergraphs as a uniform diagram representation model, 281-295 [Zbl 0971.68610] \textit{Fischer, Thorsten; Niere, Jörg; Torunski, Lars; Zündorf, Albert}, Story Diagrams: A new graph rewrite language based on the Unified Modeling Language and Java, 296-309 [Zbl 0971.68647] \textit{Gadducci, Fabio; Heckel, Reiko; Koch, Manuel}, A fully abstract model for graph-interpreted temporal logic, 310-322 [Zbl 0948.03025] \textit{Kuske, Sabine}, More about control conditions for transformation units, 323-337 [Zbl 0971.68618] \textit{Münch, Manfred; Schürr, Andy; Winter, Andreas J.}, Integrity constraints in the multi-paradigm language PROGRES, 338-351 [Zbl 0971.68611] \textit{Busatto, Giorgio; Engels, Gregor; Mehner, Katharina; Wagner, Annika}, A framework for adding packages to graph transformation approaches, 352-367 [Zbl 0971.68578] \textit{Große-Rhode, Martin; Parisi Presicce, Francesco; Simeoni, Marta}, Refinements of graph transformation systems via rule expressions, 368-382 [Zbl 0956.68075] \textit{Heckel, Reiko; Hoffmann, Berthold; Knirsch, Peter; Kuske, Sabine}, Simple modules for Grace, 383-395 [Zbl 0971.68631] \textit{Schürr, Andy; Winter, Andreas J.}, UML packages for PROgrammed Graph REwriting Systems, 396-409 [Zbl 0971.68642] \textit{Padberg, Julia; Gajewsky, Maike; Hoffmann, Kathrin}, Incremental development of safety properties in Petri net transformations, 410-425 [Zbl 0958.68124] \textit{Faulstich, Lukas C.}, Using graph transformation techniques for integrating information from the WWW, 426-441 [Zbl 0971.68643] \textit{Hrischuk, Curtis E.}, A model making automation process (MMAP) using a graph grammar formalism, 442-454 [Zbl 0971.68580] \textit{Krapp, Carl-Arndt; Krüppel, Sven; Schleicher, Ansgar; Westfechtel, Bernhard}, Graph-based models for managing development processes, resources, and products, 455-474 [Zbl 0971.68606] \textit{Petriu, Dorina C.; Wang, Xin}, Deriving software performance models from architectural patterns by graph transformations, 475-488 [Zbl 0971.68654]
    0 references
    Paderborn (Germany)
    0 references
    Workshop
    0 references
    Proceedings
    0 references
    TAGT '98
    0 references
    Graph transformations
    0 references

    Identifiers