close
1.

図書
図書
1. Graph transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004 : proceedings
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xii, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3256
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey
A Perspective on Graphs and Access Control Models / Ravi Sandhu
Transformation Language Design: A Metamodelling Foundation / Tony Clark ; Andy Evans ; Paul Sammut ; James Willans
Integration Technology
Rule Execution in Graph-Based Incremental Interactive Integration Tools / Simon M. Becker ; Sebastian Lohmann ; Bernhard Westfechtel
Composition of Relations in Enterprise Architecture Models / René van Buuren ; Henk Jonkers ; Maria-Eugenia Jacob ; Patrick Strating
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation / Esther Guerra ; Juan de Lara
Chemistry and Biology
Analysis of Metabolic Pathways by Graph Transformation / Francesc Rosselló ; Gabriel Valiente
The Potential of a Chemical Graph Transformation System / Maneesh K.Yadav ; Brian P. Kelley ; Steven M. Silverman
Graph Transformation Concepts
Concepts for Specifying Complex Graph Transformation Systems / Boris Böhlen ; Ulrike Ranger
Typing of Graph Transformation Units / Renate Klempien-Hinrichs ; Hans-Jörg Kreowski ; Sabine Kuske
Towards Graph Programs for Graph Algorithms / Detlef Plump ; Sandra Steinert
DPO Theory for High-Level Structures
Adhesive High-Level Replacement Categories and Systems / Hartmut Ehrig ; Annegret Habel ; Julia Padberg ; Ulrike Prange
Fundamental Theory for Typed Attributed Graph Transformation / Gabriele Taentzer
Parallel Independence in Hierarchical Graph Transformation / Berthold Hoffmann
Analysis and Testing
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems / Paolo Baldan ; Barbara König ; Ingo Stürmer
Stochastic Graph Transformation Systems / Reiko Heckel ; Georgios Lajios ; Sebastian Menge
Model Checking Graph Transformations: A Comparison of Two Approaches / Arend Rensink ; Ákos Schmidt ; Dániel Varró
Graph Theory and Algorithms
Election, Naming and Cellular Edge Local Computations / Jérémie Chalopin ; Yves Métivier ; Wiesław Zielonka
Embedding in Switching Classes with Skew Gains / Andrzej Ehrenfeucht ; Jurriaan Hage ; Tero Harju ; Grzegorz Rozenberg
Synchronizers for Local Computations / Mohamed Mosbah ; Rodrigue Ossamy ; Afif Sellami
Application Conditions and Logic
Constraints and Application Conditions: From Graphs to High-Level Structures / Karsten Ehrig ; Karl-Heinz Pennemann
Specification Matching of Web Services Using Conditional Graph Transformation Rules / Alexey Cherchago
Representing First-Order Logic Using Graphs
Transformation of Special Structures
Coproduct Transformations on Lattices of Closed Partial Orders / Gemma Casas-Garriga ; José L. Balcázar
Parsing String Generating Hypergraph Grammars / Sebastian Seifert ; Ingrid Fischer
Composition of Path Transductions / Tanguy Urvoy
Object-Orientation
Translating Java Code to Graph Transformation Systems / Andrea Corradini ; Fernando Luís Dotti ; Luciana Foss ; Leila Ribeiro
Extending Graph Rewriting for Refactoring / Niels Van Eetvelde ; Dirk Janssens
Derivations in Object-Oriented Graph Grammars / Ana Paula Löudtke Ferreira
Tutorials and Workshops
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective / Luciano Baresi
Tutorial on DNA Computing and Graph Transformation / Ion Petre
Workshop TERMGRAPH 2004 / Maribel Fernández
Workshop on Graph-Based Tools / Tom Mens ; Andy Schöurr
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 / Bruno Courcelle ; David Janin
Author Index
Invited Papers
Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey
A Perspective on Graphs and Access Control Models / Ravi Sandhu
2.

図書
図書
2. The mathematical theory of L systems
Grzegorz Rozenberg, Arto Salomaa
出版情報: New York : Academic Press, 1980  xvi, 352 p. ; 24 cm
シリーズ名: Pure and applied mathematics ; 90
所蔵情報: loading…
3.

図書
図書
3. Petri Nets : central models and their properties : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 (: gw ; : us)
edited by W. Brauer, W. Reisig, and G. Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  x, 480 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 254 . Advances in Petri Nets 1986 ; pt. 1
所蔵情報: loading…
4.

図書
図書
4. Petri Nets : applications and relationships to other models of concurrency : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 (: gw ; : us)
edited by W. Brauer, W. Reisig, and G. Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  x, 516 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 255 . Advances in Petri Nets 1986 ; pt. 2
所蔵情報: loading…
5.

図書
図書
5. Advances in Petri nets 1987 (: gw ; : us)
Grzegorz Rozenberg (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vi, 451 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 266
所蔵情報: loading…
6.

図書
図書
6. L systems (: gw ; : us)
edited by Grzegorz Rozenberg and Arto Salomaa
出版情報: Berlin ; New York : Springer-Verlag, 1974  vi, 338 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 15
所蔵情報: loading…
7.

図書
図書
7. Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 (: gw ; : us)
under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, 1983  vii, 452 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 153
所蔵情報: loading…
8.

図書
図書
8. Theory and application of graph transformations : 6th International Workshop, TAGT '98, Paderborn, Germany, November 16-20, 1998 : selected papers
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2000  ix, 490 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1764
所蔵情報: loading…
目次情報: 続きを見る
Graph Languages
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars / Frank Drewes
Tree Languages Generated by Context-Free Graph Grammars / Joost Engelfriet ; Sebastian Maneth
Neighborhood Expansion Grammars / John L. Pfaltz
Neighborhood-Preserving Node Replacements / Konstantin Skodinis ; Egon Wanke
Graph Theory
Complexity Issues in Switching of Graphs / Andrzej Ehrenfeucht ; Jurriaan Hage ; Tero Harju ; Grzegorz Rozenberg
The Power of Local Computations in Graphs with Initial Knowledge / Emmanuel Godard ; Yves Métivier ; Anca Muscholl
Categorical Approaches
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information / Hartmut Ehrig ; Reiko Heckel ; Mercé Llabrés ; Fernando Orejas ; Julia Padberg
Double-Pushout Approach with Injective Matching / Annegret Habel ; Jürgen Müller ; Detlef Plump
Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approach / Héléne Jacquet ; Renate Klempien-Hinrichs
Pushout Complements for Arbitrary Partial Algebras / Francesc Rosselló
Concurrency and Distribution
Unfolding of Double-Pushout Graph Grammars is a Coreflection / Paolo Baldan ; Andrea Corradini ; Ugo Montanari
Local Views on Distributed Systems and Their Communication / Ingrid Fischer ; Manuel Koch ; Gabriele Taentzer
Dynamic Change Management by Distributed Graph Transformation:
Towards Configurable Distributed Systems / Michael Goedicke ; Torsten Meyer
A Framework for NLC and ESM: Local Action Systems / Nico Verlinden ; Dirk Janssens
Artificial Intelligence
Redundancy and Subsumption in High-Level Replacement Systems / Hans-Jörg Kreowski ; Gabriel Valiente
Knowledge Representation and Graph Transformation / Stefan Schuster
Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching / Michael Rudolf
Visual Languages
Conceptual Model of the Graphical Editor GenGEd for the Visual Definition of Visual Languages / Roswitha Bardohl
From Formulae to Rewriting Systems / Paolo Bottoni ; Francesco Parisi-Presicce ; Marta Simeoni
Hypergraphs as a Uniform Diagram Representation Model / Mark Minas
Specification Concepts
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java / Thorsten Fischer ; Jörg Niere ; Lars Torunski ; Albert Zündorf
A Fully Abstract Model for Graph-Interpreted Temporal Logic / Fabio Gadducci
More About Control Conditions for Transformation Units / Sabine Kuske
Integrity Constraints in the Multi-paradigm Language PROGRES / Manfred Münch ; Andy Schürr ; Andreas J. Winter
Modularity and Refinement
A Framework for Adding Packages to Graph Transformation Approaches / Giorgio Busatto ; Gregor Engels ; Katharina Mehner ; Annika Wagner
Refinements of Graph Transformation Systems via Rule Expressions / Martin Große-Rhode
Simple Modules for Grace / Berthold Hoffmann ; Peter Knirsch
UML Packages for PROgrammed Graph REwriting Systems
Incremental Development of Safety Properties in Petri Net Transformations / Maike Gajewsky ; Kathrin Hoffmann
Software Engineering
Using Graph Transformation Techniques for Integrating Information from the WWW / Lukas C. Faulstich
A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism / Curtis E. Hrischuk
Graph-Based Models for Managing Development Processes, Resources, and Products / Carl-Arndt Krapp ; Sven Kruppel ; Ansgar Schleicher ; Bernhard Westfechtel
Deriving Software Performance Models from Architectural Patterns by Graph Transformations / Dorina C. Petriu ; Xin Wang
Author Index
Graph Languages
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars / Frank Drewes
Tree Languages Generated by Context-Free Graph Grammars / Joost Engelfriet ; Sebastian Maneth
9.

図書
図書
9. Application of Petri nets to communication networks : advances in Petri nets
Jonathan Billington, Michel Diaz, Grzegorz Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  vii, 303 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1605
所蔵情報: loading…
10.

図書
図書
10. The theory of 2-structures : a framework for decomposition and transformation of graphs
A. Ehrenfeucht, T. Harju, G. Rozenberg
出版情報: Singapore : World Scientific, c1999  xvi, 290 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Preliminaries / Chapter 1：
Notations / 1.1：
Sets and functions / 1.1.1：
Closure operators / 1.1.2：
Relations / 1.1.3：
Equivalence relations / 1.1.4：
Partial orders / 1.2：
Downsets / 1.2.1：
Order embeddings / 1.2.2：
Linear orders / 1.2.3：
Semigroups and groups / 1.3：
Notations for semigroups and monoids / 1.3.1：
Free monoids (with involution) / 1.3.2：
Preliminaries on groups / 1.3.3：
Group actions / 1.3.4：
Free groups, commutators and verbal identities / 1.3.5：
Graph Theoretical Preliminaries / Chapter 2：
Directed and Undirected Graphs / 2.1：
Basic notions / 2.1.1：
Connectivity of graphs / 2.1.2：
Some special graphs / 2.1.3：
Comparability graphs / 2.2：
Transitively oriented graphs / 2.2.1：
Permutation graphs and cographs / 2.2.2：
Construction trees of cographs / 2.2.3：
2-Structures and Their Clans / Chapter 3：
Introduction and representations / 3.1：
Definition of a 2-structure / 3.1.1：
Isomorphic 2-structures / 3.1.2：
Reversibility / 3.1.3：
Substructures and clans / 3.2：
Substructures, clans and factors / 3.2.1：
Refinements and similarity / 3.2.2：
Reversible version / 3.2.3：
Graphs and packed components / 3.2.4：
Some special 2-structures / 3.2.5：
Closure properties of clans / 3.3：
Basic closures / 3.3.1：
Sibas: set theoretic closure properties / 3.3.2：
Clans of factors / 3.3.3：
Prime clans / 3.4：
Prime members in sibas / 3.4.1：
Minimal overlapping clans / 3.4.2：
Quotients and Homomorphisms / Chapter 4：
Quotients / 4.1：
Factorizations and quotients / 4.1.1：
Homomorphisms / 4.1.2：
Natural epimorphisms and decompositions / 4.1.3：
Clans and epimorphisms / 4.2：
Homomorphism theorem / 4.2.1：
Prime clans in quotients / 4.2.2：
Primitive quotients / 4.2.3：
Other operations / 4.3：
Premorphisms / 4.3.1：
Extensions / 4.3.2：
Clan Decomposition / Chapter 5：
The clan decomposition theorem / 5.1：
Maximal prime clans / 5.1.1：
Special sibas and 2-structures / 5.1.2：
The relationship of sibas to 2-structures / 5.1.3：
The shape of a 2-structure / 5.2：
The shape and its representation as a tree / 5.2.1：
Same shapes / 5.2.2：
A construction of prime clans / 5.3：
A construction of clans / 5.3.1：
Primitive 2-Structures / 5.3.2：
Small primitive substructures / 6.1：
Uniformly imprimitive 2-structures / 6.1.1：
Primitive substructures of 3 or 4 nodes / 6.1.2：
Hereditary properties / 6.2：
Local and global nodes / 6.2.1：
Critically primitive 2-structures / 6.2.2：
The parity theorem / 6.3.1：
The list of critically primitive 2-structures / 6.3.2：
Angular 2-Structures / Chapter 7：
Angularity / 7.1：
All-connectivity / 7.1.1：
All-connected skew angular 2-structures / 7.1.2：
T-structures / 7.2：
T-structures and partial orders / 7.2.1：
T[subscript 2]-structures / 7.2.2：
Linear orders and Schroder numbers / 7.3：
Bi-orders and linear orders / 7.3.1：
Uniformly imprimitive linear orders / 7.3.2：
Parenthesis words and Schroder numbers / 7.3.3：
Labelled 2-Structures / Chapter 8：
Introduction to l2-structures / 8.1：
Definitions / 8.1.1：
Substructures, clans and quotients / 8.1.2：
Clan decomposition of l2-structures / 8.2：
Uniqueness of decompositions / 8.2.1：
The shape of an l2-structure / 8.2.2：
Graphs and their representations / 8.2.3：
Graphs as l2-structures / 8.3.1：
On comparability graphs / 8.3.2：
Unstable Labelled 2-Structures / Chapter 9：
Triangle free and unstable l2-structures / 9.1：
Removable edges / 9.1.1：
Internal and external nodes / 9.1.2：
Triangle-free l2-structures / 9.1.3：
Heredity in unstable l2-structures / 9.2：
The partition of nodes / 9.2.1：
Alternating structures / 9.2.2：
Degrees of nodes / 9.2.3：
A composition of unstable l2-structures / 9.3：
A constructive reduction of primitive l2-structures / 9.3.1：
Pendant components / 9.3.2：
Automorphisms of Labelled 2-Structures / Chapter 10：
Label preserving automorphisms / 10.1：
The l-automorphism groups / 10.1.1：
Transitivity / 10.1.2：
Automorphic actions on factors / 10.1.3：
Universality of l-automorphism groups / 10.1.4：
Nonpreserving automorphisms / 10.2：
Connections to l-automorphisms / 10.2.1：
Transitivity and associated permutations / 10.2.2：
Representing labels by automorphisms / 10.2.3：
Switching of Graphs / Chapter 11：
Introduction to switching / 11.1：
The group of graphs / 11.1.1：
Switching classes / 11.1.3：
Structural properties of switching classes / 11.2：
A local characterization / 11.2.1：
Automorphisms / 11.2.2：
Special problems on undirected graphs / 11.3：
Two-graphs / 11.3.1：
Eulerian graphs / 11.3.2：
Pancyclic graphs / 11.3.3：
Trees / 11.3.4：
Labelled Structures over Groups / Chapter 12：
Introduction / 12.1：
Groups and involutions / 12.1.1：
Selectors and switching classes / 12.1.2：
An interpretation in networks / 12.2：
Concurrent behaviour in networks / 12.2.1：
Reducing the actions to groups / 12.2.2：
Introducing reversibility / 12.2.3：
Examples for some special groups / 12.3：
The cyclic groups Z[subscript 3] and Z[subscript 4] / 12.3.1：
The symmetric group S[subscript 3] / 12.3.2：
Clans of Switching Classes / Chapter 13：
Associated groups / 13.1：
The group of selectors / 13.1.1：
The group of abelian switching classes / 13.1.2：
Clans and horizons / 13.2：
Spanning trees / 13.2.1：
Horizons and constant selectors / 13.2.2：
Clans / 13.2.3：
Cardinalities of switching classes / 13.3：
Some special cases / 13.3.1：
Centralizers / 13.3.2：
Some improvements / 13.3.3：
Quotients and Plane Trees / Chapter 14：
Quotients of switching classes / 14.1：
Planes and plane trees / 14.1.1：
Planes / 14.2.1：
Plane trees / 14.2.2：
Bijective correspondence of plane trees / 14.2.3：
Forms / 14.2.4：
Invariants / Chapter 15：
Free invariants / 15.1：
General invariants / 15.1.1：
Edge monoids / 15.1.2：
Variable functions and free invariants / 15.1.3：
Group properties of free invariants / 15.2：
Abelian property / 15.2.1：
Graphs of words / 15.2.2：
Verbal identities / 15.2.3：
Invariants on abelian groups / 15.3：
Independency of free invariants / 15.3.1：
Complete sets of invariants / 15.3.2：
Invariants on nonabelian groups / 15.4：
General observations / 15.4.1：
Central characters / 15.4.2：
A characterization theorem / 15.4.3：
Bibliography
Index
Preface
Preliminaries / Chapter 1：
Notations / 1.1：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼