Dietmar Wolz  Home/Search
Context Related
| tfs.cs.tuberlin.d...marWolz_diss.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: tfs.cs.tuberlin.de/...public1998 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ions are defined both for objects and layers. There are several compatibility requirements for the definition of these functions. The set of objects contains a specific ?-element which allows the source and target functions to be total on the set of objects. Up to now there exists no implementation of general colimits in the AGG-system. This problem is currently fixed by the integration of the colimit library. Again we can use the colimit computation for Alpha algebras. For this purpose we... (Update)
Context of citations to this paper: More
.... sets (of attribute names, of assignments, and of propositions for the guards and the initilisation condition) and e#cient methods exist [37]. However, computation steps can be performed directly on the architecture instance. Simply choose an action of some component and check...
.... of nodes and arcs, namely, the calculation of the resulting graph, is supported by the implemented categorical library, called Colim [Wol97] Attribute variables that occur in the left hand side of the rule, are assigned with the concrete values of the host graph. During...
Cited by: More
Appligraph: Applications of Graph Transformation - Final Report - Kreowski, (eds.) (2002) (Correct)
Specification of Software Architecture Reconfiguration - Wermelinger (1999) (Correct)
Appligraph: Applications of Graph Transformation - First.. - Kreowski, Plump, (eds.) (1998) (Correct)
Active bibliography (related documents): More All
2.3: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
1.0: Object-oriented Design of a Class Library for a Metamodel.. - Erdmann, Claßen (Correct)
1.0: Application of Graph Transformation to Visual Languages - State.. - Bardohl (1997) (Correct)
Similar documents based on text: More All
0.6: PAC-Bayesian Pattern Classification with Kernels Theory.. - Graepel (2002) (Correct)
0.6: Packet Loss Recovery and Control for Voice Transmission over the.. - Sanneck (2000) (Correct)
0.5: Planar Strips and an End Concept for Digraphs - Zuther (1997) (Correct)
Related documents from co-citation: More All
4: Showing the equivalence of two training algorithms --- Part - Fischer, Koch et al.
4: Dynamic change management by distributed graph transformation: Towards congurabl.. (context) - Taentzer, Goedicke et al. - 1998
3: Semantics of transient connectors in rewriting logic - Fiadeiro, Wermelinger et al. - 1999
BibTeX entry: (Update)
D. Wolz. Colimit Library for Graph Transformations and Algebraic Development Techniques. PhD thesis, Technische Universitat Berlin, 1998. http://citeseer.ist.psu.edu/wolz98colimit.html More
@misc{ wolz98colimit,
author = "D. Wolz",
title = "Colimit Library for Graph Transformations and Algebraic Development Techniques",
text = "D. Wolz. Colimit Library for Graph Transformations and Algebraic Development
Techniques. PhD thesis, Technische Universitat Berlin, 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/wolz98colimit.html" }
Citations (may not include all citations):2157 Design Patterns: elements of reusable object-oriented softwa.. (context) - Gamma, Helm et al. - 1995
1838 Foundations of Logic Programming (context) - Lloyd - 1987
1174 Statecharts: a visual formalism for complex systems - Harel - 1987
653 Object Oriented Analysis and Design with Applications (context) - Booch - 1994
653 Object-Oriented Analysis and Design with Applications (context) - Booch - 1994
542 Object-Oriented Software Engineering --- A Use Case Driven A.. (context) - Jacobson, Christerson et al. - 1993
395 An abstract prolog instruction set (context) - Warren - 1983
258 Data Structures and Network Algorithms (context) - Tarjan - 1983
232 Category Theory for Computing Science (context) - Barr, Wells - 1990
183 Executable object modeling with Statecharts - Harel, Gery - 1995
150 The category-theoretic solution of recursive domain equation.. (context) - Smyth, Plotkin - 1982
139 Semantic database modeling: Survey (context) - Hull, King - 1987
87 volume 4 of EATCS Monographs on Theoretical Computer Science (context) - Reisig - 1985
81 System modelling with high-level Petri nets (context) - Genrich, Lautenbach - 1981
80 Introducing institutions (context) - Goguen, Burstall - 1984
72 a platform for combinatorial and geometric computing (context) - Naher, Mehlhorn - 1995
70 volume 21 of EATCS Monographs on Theoretical Computer Scienc.. (context) - Ehrig, Mahr et al. - 1990
70 volume 6 of EATCS Monographs on Theoretical Computer Science (context) - Ehrig, Mahr et al. - 1985
69 Compiling lazy functional languages (context) - Johnsson - 1987
66 Analysis Methods and Practical Use (context) - Jensen, Nets - 1995
66 Analysis Methods and Practical Use (context) - Jensen, Nets - 1992
64 Algebraic high-level net transformation systems (context) - Padberg, Ehrig et al. - 1995
48 Object Oriented Software Metrics (context) - Kidd, Lorenz - 1994
47 Towards a semantic view of an extended entity-relationship m.. (context) - Gogolla, Hohenstein - 1991
45 Graph grammars: an algebraic approach (context) - Ehrig, Pfender et al. - 1973
45 Transition Nets (context) - Genrich - 1991
45 Specware: Formal support for composing software - Srinivas, Jullig - 1995
45 Abstract Petri Nets: A Uniform Approach and Rule-Based Refin.. (context) - Padberg - 1996
41 A technique for software module specification with examples (context) - Parnas - 1972
40 AGG --- An implementation of algebraic graph rewriting (context) - Lowe, Beyer - 1993
36 Constructing specification morphisms - Smith - 1993
34 and Partial Algebras (context) - Reichel, Algebraic - 1987
34 Hewlett-Packard Laboratories (context) - Lee, Stepanov et al. - 1994
32 An algebraic framework for the transformation of attributed .. (context) - Lowe, Korff et al. - 1993
32 A Model Theoretic Oriented Approach to Partial Algebras (context) - Burmeister - 1986
29 Prentice--Hall International Editions (context) - Rumbaugh, Blaha et al. - 1991
29 Prentice-Hall International Editions (context) - Rumbaugh, Blaha et al. - 1991
28 oids: A model for dynamic data types (context) - Astesiano, Zucca - 1995
26 Algebraic approaches to graph transformation I: Basic concep.. (context) - Corradini, Montanari et al. - 1996
25 Parallel and Distributed Graph Transformation: Formal Descri.. (context) - Taentzer - 1996
24 Specification techniques for data abstraction (context) - Liskov, Zilles - 1975
24 Implementing term rewriting by jungle evaluation - Hoffmann, Plump - 1991
21 GraphED: An Interactive Graph Editor (context) - Himsolt - 1988
20 Algebraic approaches to graph transformation II: Single push.. (context) - Ehrig, Heckel et al. - 1996
19 Dynamic abstract data types: An informal proposal (context) - Ehrig, Orejas - 1994
17 Generic programming - Stepanov, Musser - 1989
17 Progress: A vhl-language based on graph grammars (context) - Schurr - 1991
16 New concepts for amalgamation and extension in the framework.. (context) - Ehrig, Baldamus et al. - 1991
16 Series in Pure and Applied Mathematics (context) - Ad'adamek, Herrlich et al. - 1990
15 General theory of natural equivalences (context) - Eilenberg, MacLane - 1945
14 Algebraic Specification Techniques and Tools for Software De.. (context) - ClaBetaen, Ehrig et al. - 1993
13 The Implementation of Functional Logic Programming Languages (context) - Lock - 1992
13 Categories of partial maps (context) - Rosolini, Robinson - 1988
13 Technical Monograph PRG (context) - Goguen, manifesto - 1989
13 Categorical concepts for parameterized partial specification.. (context) - ClaBetaen, GroBetae--Rhode et al. - 1992
12 IEEE Transactions on Software Engineering (context) - Weber, Ehrig et al. - 1986
12 Jungle rewriting: an abstract description of lazy narrowing (context) - Wolz, Corradini - 1994
11 Theory of algebraic module specification including behaviour.. (context) - Ehrig, Baldamus et al. - 1991
10 Amalgamated graph transformation systems and their use for s.. (context) - Taentzer, Beyer - 1994
9 International Series in Computer Science (context) - Rydeheard, Burstall et al. - 1988
9 Horizontal and Vertical structuring Techniques for Statechar.. - Ehrig, Geisler et al. - 1997
9 eine Spezifikationsmethode fur Programmiersprachen und verte.. (context) - Schied - 1991
8 The category of typed graph grammars and their adjunction wi.. (context) - Corradini, Ehrig et al. - 1996
7 Design of a compiler for lazy pattern driven narrowing (context) - Wolz - 1991
7 Foundations of Computing Series (context) - Asperti, Longo et al. - 1991
7 Graph grammars and logic programming (context) - Corradini, Montanari et al. - 1991
6 Revised ACT ONE: Categorical constructions for an algebraic .. (context) - ClaBetaen - 1989
5 A set-theoretic semantics for clear (context) - Sannella - 1984
5 Static and dynamic semantics of entity-relationship models b.. (context) - ClaBetaen, Lowe et al. - 1994
5 An Algebraic Approach to Deduction in Equational Partial Hor.. (context) - Wolter - 1990
5 A software development environment based on graph technology (context) - Nagl - 1987
4 Scheme evolution in object-oriented models --- a graph trans.. (context) - ClaBetaen, Lowe - 1995
4 Generalized Graph Structure Grammars with Applications to Co.. (context) - Korff - 1996
4 Towards synchronous and asynchronous graph transformations - Taentzer - 1996
4 Extending properties to categories of partial maps (context) - Jay - 1990
3 Compositionality results for different types of parameteriza.. (context) - Ehrig, Jimenez et al. - 1993
3 From abstract data types to algebraic development techniques.. - Ehrig, Gajewski et al. - 1997
3 A Visual Language and Environment for PROgramming with Graph.. (context) - Schurr - 1994
2 Compositionality of Application Oriented Structuring Mechani.. (context) - ClaBetaen - 1993
2 Alpha -- a class library for a metamodel based on algebraic .. (context) - Erdmann, ClaBetaen - 1996
2 Semantik der revidierten Version der algebraischen Spezifika.. (context) - ClaBetaen - 1988
2 Tool design for structuring mechanisms for algebraic specifi.. (context) - Wolz - 1996
2 Hierarchical State Spaces and Abstract Statecharts as High-L.. (context) - Ehrig, Gajewsky et al. - 1997
2 Programming in the large with algebraic module specification.. (context) - Ehrig, Weber - 1986
1 the power of context-free jungle rewriting for term rewritin.. (context) - Corradini, Rossi - 1993
1 Rationale for adding hash tables to the c++ standard templat.. - Musser - 1995
1 Let's start under-promising and over-delivering on object te.. (context) - Sutherland, Kahn - 1994
1 a formal development system (context) - Srinivas, McDonald et al. - 1996
1 Component programming - a fresh look at software components (context) - Jazajery - 1995
1 EATCS Monographs on Theoretical Comomputer Science (context) - Padawitz, Horn - 1988
1 Kolimeskonstruktionen in Algebraischen Spezifikationssprache.. (context) - Padberg - 1991
1 Structural theory of algebraic specifications in a specifica.. (context) - Ehrig, GroBetae-Rhode - 1991
1 available from http://www (context) - Booch, Rumbough et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://tfs.cs.tu-berlin.de/publikationen/public1998.html): More
Visual Design of Distributed Object Systems by Graph.. - Fischer, Koch, Taentzer (1998) (Correct)
Refinements of Graph Transformation Systems via Rule.. - Große-Rhode, Presicce.. (Correct)
Dimensions and Dichotomy in Metamodeling - Geisler, Klar, Pons (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC