Strategic port graph rewriting: an interactive modelling framework
From MaRDI portal
Publication:4629264
DOI10.1017/S0960129518000270zbMATH Open1417.68076arXiv1407.7929WikidataQ129432043 ScholiaQ129432043MaRDI QIDQ4629264FDOQ4629264
Authors: Maribel Fernández, Hélène Kirchner, Bruno Pinaud 
Publication date: 21 March 2019
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Abstract: We present strategic portgraph rewriting as a basis for the implementation of visual modelling and analysis tools. The goal is to facilitate the specification, analysis and simulation of complex systems, using port graphs. A system is represented by an initial graph and a collection of graph rewriting rules, together with a user-defined strategy to control the application of rules. The strategy language includes constructs to deal with graph traversal and management of rewriting positions in the graph. We give a small-step operational semantics for the language, and describe its implementation in the graph transformation and visualisation tool PORGY.
Full work available at URL: https://arxiv.org/abs/1407.7929
Recommendations
Grammars and rewriting systems (68Q42) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Cites Work
- GrGen: A Fast SPO-Based Graph Rewriting Tool
- Title not available (Why is that?)
- Title not available (Why is that?)
- An Algorithm for Subgraph Isomorphism
- Formal molecular biology
- A structural approach to operational semantics
- Strategic computation and deduction
- A higher-order graph calculus for autonomic computing
- Title not available (Why is that?)
- PORGY: strategy-driven interactive transformation of graphs
- A rewriting calculus for multigraphs with ports
- Handbook of Graph Grammars and Computing by Graph Transformation
- The lambda calculus, its syntax and semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Graph rewriting in span-categories
- Rule-Based Modelling of Cellular Signalling
- A survey of strategies in rule-based program transformation systems
- Title not available (Why is that?)
- The Graph Programming Language GP
- Visual modelling of complex systems: towards an abstract machine for PORGY
- Title not available (Why is that?)
- Title not available (Why is that?)
- Attributed Programmed Graph Grammars and Their Application to Schematic Diagram Interpretation
- Double-pushout graph transformation revisited
- On ``On graph rewritings
- On graph rewritings
- The pullback-pushout approach to algebraic graph transformation
- Algebraic approach to single-pushout graph transformation
- Probabilistic graph transformation systems
- Title not available (Why is that?)
- Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
- Title not available (Why is that?)
- Title not available (Why is that?)
- A rewriting semantics for Maude strategies
- Labelled graph strategic rewriting for social networks
- Probabilistic Inductive Classes of Graphs
- Title not available (Why is that?)
- A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing
- Strategies in programming languages today
Cited In (18)
- A calculus of concurrent graph-rewriting processes
- Visual modelling of complex systems: towards an abstract machine for PORGY
- Title not available (Why is that?)
- Labelled graph strategic rewriting for social networks
- Strategies, model checking and branching-time properties in Maude
- An Overview of the Maude Strategy Language and its Applications
- PORGY: strategy-driven interactive transformation of graphs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Metalevel transformation of strategies
- A strategic graph rewriting model of rational negligence in financial markets
- A port graph rewriting approach to relational database modelling
- Port graphs, rules and strategies for dynamic data analytics -- extended abstract (invited talk)
- Unification of drags and confluence of drag rewriting
- Graph rewriting for agent oriented visual modeling
- The Maude strategy language
- A strategy language for graph rewriting
- Labelled port graph -- a formal structure for models and computations
Uses Software
This page was built for publication: Strategic port graph rewriting: an interactive modelling framework
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4629264)
