DiTo - A Distribution Tool Based on Graph Rewriting

نویسنده

  • Ansgar Radermacher
چکیده

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.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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