DiTo - A Distribution Tool Based on Graph Rewriting
نویسنده
چکیده
In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the analysis and transformation of software architectures using graph tests and rewrite rules, respectively. We demonstrate the use of this approach in the specific domain of distributed systems. A specific instance of a graph based tool is called DITO. We present two sample sessions demonstrating the use of DITO. The first is the simple information system we have already seen in the paper. The second is the Java part of DITO itself.
منابع مشابه
Implementing Petri Net Transformations using Graph Transformation Tools
Petri net transformations have been defined formally in the abstract framework of adhesive HLR categories, which allows rule-based rewriting of graphlike structures, similar to graph transformation. In this paper we discuss differences between Petri net rewriting and graph rewriting which makes it necessary to add checks and conditions when implementing Petri net transformations using an existi...
متن کاملA Graph Rewriting Programming Language for Graph Drawing
This paper describes Grrr, a prototype visual graph drawing tool. Previously there were no visual languages for programming graph drawing algorithms despite the inherently visual nature of the process. The languages which gave a diagrammatic view of graphs were not computa-tionally complete and so could not be used to implement complex graph drawing algorithms. Hence current graph drawing tools...
متن کاملAssemblies as Graph Processes
This short paper explores the potential of embedding-based graph rewriting as a tool for understanding natural computing, and in particular self-assembly. The basic point of view is that aggregation steps in self-assembly can be adequately described by graph rewriting steps in an embedding-based graph transformation system: the building blocks of an assembly correspond to occurrences of rewriti...
متن کاملA Graphical Tool Support to Process and Simulate ECATNets Models based on Meta-Modelling and Graph Grammars
ECATNets are an algebraic Petri net category based on a safe combination of algebraic abstract types and high level Petri Nets. ECATNets’ semantic are defined in terms of rewriting logic allowing us to built models by formal reasoning. Furthermore, the rewriting logic language Maude gives to ECATNEts dynamic aspects which are not measurable without simulation. The building of a modelling tool f...
متن کاملGrew : un outil de réécriture de graphes pour le TAL (Grew: a Graph Rewriting Tool for NLP) [in French]
Grew: a Graph Rewriting Tool for NLP We present a Graph Rewriting Tool dedicated to NLP applications. Graph nodes contain feature structures and edges describe relations between nodes. We explain the Graph Rewriting framework we use, the implemented system and some experiments. MOTS-CLÉS : réécriture de graphes, interface syntaxe-sémantique.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999