Pragmatic and semantic aspects of a module concept for graph transformation systems

DOI10.1007/3-540-61228-9_84zbMath1412.68105MaRDI QIDQ4645272

Hartmut Ehrig, Gregor Engels

Publication date: 10 January 2019

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61228-9_84

zbMATH Keywords

graph grammar; state graph; graph transformation; graph class; module concept

Mathematics Subject Classification ID

68Q42: Grammars and rewriting systems

Related Items

A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques, Structured Modeling with GRACE, Parameterized Transformation Units, An Abstract Module Concept for Graph Transformation Systems, A Graph Transformation View on the Specification of Applications using Mobile Code* *Research partially supported by project ForMOS (Métodos Formais para Código Móvelem Sistemas Abertos) - grant CNPq 520269/98-5, by the Research Training Network GET-GRATS (General Theory of Graph Transformation Systems), and by the MURST project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA)., Formal software specification with refinements and modules of typed graph transformation systems, Graph Transformation Units – An Overview

Cites Work

• Algebraic approach to single-pushout graph transformation
• Parallel and distributed derivations in the single-pushout approach
• On structured graph grammars. I
• Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
• Models for the substitution axiom of UNITY logic
• Functorial theory of parameterized specifications in a general specification framework
• Institutions: abstract model theory for specification and programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item