Semantics of Full Statecharts Based on Graph Rewriting.
Andrea Maggiolo-SchettiniAdriano PeronPublished in: Dagstuhl Seminar on Graph Transformations in Computer Science (1993)
Keyphrases
- rewriting systems
- rewriting rules
- graph properties
- formal semantics
- transformation rules
- graphical representation
- graph representation
- graph model
- random walk
- graph theory
- agent oriented
- directed graph
- rewrite rules
- semantic information
- logic programming
- graph theoretic
- graph structure
- sparql queries
- directed acyclic graph
- weighted graph
- graph databases
- dependency graph
- connected components