Specification and Programming (by Graph Transformation)
نویسندگان
چکیده
منابع مشابه
Specification and programming (by graph transformation)
In this tutorial, some basic ideas will be outlined and exempliied how graph transformation can be employed in speciication and programming. In particular, some of the respective achievements of the COMPUGRAPH project will be pointed out. Graphs are widely used in many areas of Computer Science and beyond to describe complex system states, structured objects, networks and relations among compon...
متن کاملGraph Transformation for Specification and Programming
The framework of graph transformation combines the potentials and advantages of both, graphs and rules, to a single computational paradigm. In this paper we present some recent developments in applying graph transformation as a rule-based framework for the specification and development of systems, languages, and tools. After reviewing the basic features of graph transformation, we discuss a sel...
متن کاملCombining Graph Transformation and Algebraic Specification into Model Transformation
In this paper, we propose a new framework of model transformation that combines graph transformation with algebraic specification. While graph transformation is well-suited to describe the transformation of visual models, one can observe that models are often composite structures with visual, graphical and diagrammatic components accompanied by all kinds of data objects like strings, sets, numb...
متن کاملIntegration of Graph Transformation and Functional Programming
It is the main intention of the paper to show how the denotational semantics of a functional program can be used within the operational semantics of a graph transformation approach in order to compute data values. The presented approach goes beyond attributed graph transformations , since it allows to instanciate parameterized data types with elements of the graph. The kernel part of it is deen...
متن کاملIntegrating the Specification Techniques of Graph Transformation and Temporal Logic
1 I n t r o d u c t i o n The theory of graph transformation basically studies a variety of formalisms which extend the theory of formal languages in order to deal with structures more general than strings, like graphs and maps. A graph t ransformation system allows one to describe finitely a (possibly infinite) collection of graphs, i.e., those which can be obtained f rom a s tar t graph throu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1995
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80195-1