𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An Abstract Module Concept for Graph Transformation Systems

✍ Scribed by Marta Simeoni

Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
284 KB
Volume
51
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

DIEGO, Another Step Towards a Module Con
DIEGO, Another Step Towards a Module Concept for Graph Transformation Systems
✍ Gabriele Taentzer; Andy SchΓΌrr πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 471 KB

DIEGO module systems o er means for DIstributed programming with Encapsulated Graph Objects. Their operational semantics de nition follows the lines of distributed graph transformation, thereby permitting the speci cation of distributed systems with concurrently interacting objects. Adapting previou

Towards Common Exchange Formats for Grap
Towards Common Exchange Formats for Graphs and Graph Transformation Systems
✍ Gabriele Taentzer πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 156 KB

The development of common exchange formats for graphs and graph transformation systems is an ongoing initiative within the EU Working Group APPLIGRAPH (Applications of Graph Transformation). The author is reporting on the current state of this format discussion. The formats are based on the extensib

Formal Software Specification with Refin
Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems
✍ Martin Große-Rhode; Francesco Parisi Presicce; Marta Simeoni πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 330 KB

Graph transformation systems are a formal specification technique for software systems that support the rule based specification of the dynamic behaviour of a system.Their main advantages are the intuitive visual representation of states and state transformations as graphs on the one hand, and the f