• No results found

graph grammars

Formal Specification and Verification of Real-Time Systems using Graph Grammars

Formal Specification and Verification of Real-Time Systems using Graph Grammars

... In this paper, we propose extending the formal description technique Object-Based Graph Grammars (OBGGs) [11, 23] to specify real-time systems. OBGG is a visual formal specification language suitable for the ...

18

Graph parsing with s graph grammars

Graph parsing with s graph grammars

... to graph-based semantic parsing is to learn an explicit synchronous gram- mar which relates strings with ...a graph with a grammar formalism called hyperedge replacement grammar (HRG; (Drewes et ...

10

Semantic construction with graph grammars

Semantic construction with graph grammars

... string/graph grammars based on hyperedge replacement grammars (HRGs, Drewes et ...the graph on the right-hand side, identifying the endpoints of the nonterminal hyperedge with the “external ...

11

graph grammars and their applications unpublished

graph grammars and their applications unpublished

... Now, a language of linear sentences is important for communication among humans; but it is not the only way we communicate. Structured diagrams, which are pictures made up of discrete units connected together according ...

6

Volume 54: Graph-Based Tools 2012

Volume 54: Graph-Based Tools 2012

... by graph rewriting rules and model-to-model transformations are specified by triple graph grammars ...triple graph grammars is that they allow executing a model-to-model trans- ...

7

Volume 2: Petri Nets and Graph Transformations

Volume 2: Petri Nets and Graph Transformations

... dynamic graph grammars (PDGGs) as a suitable generalization of mobile nets with read arcs by combin- ing dynamic graph grammars (DGGs) [BM06a] and persistent productions ...ordinary ...

20

Volume 10: Graph Transformation and Visual Modeling Techniques 2008

Volume 10: Graph Transformation and Visual Modeling Techniques 2008

... Triple graph transformation [Sch94] has been shown to be a promising approach to consistently co-develop two related ...correspondence graph together with its embeddings into the source and target ...triple ...

15

Volume 18: Graph Transformation and Visual Modeling Techniques 2009

Volume 18: Graph Transformation and Visual Modeling Techniques 2009

... Triple graph grammars [Sch94] are a well known approach for bidirectional model transfor- ...correspondence graph together with its embeddings into these ...triple graph grammars in a ...

19

Volume 2: Petri Nets and Graph Transformations

Volume 2: Petri Nets and Graph Transformations

... Matrix Graph Grammars (MGGs) [VL06a, VL06b] are applied to Petri nets [Mur89] and ...side graph together with the elements that should be added and ...Therefore graph rewriting can be ...

17

Volume 41: Graph Transformation and Visual Modeling Techniques 2011

Volume 41: Graph Transformation and Visual Modeling Techniques 2011

... triple graph grammars (TGGs) have been applied in several practical case studies and they convince by their intuitive and descriptive way of specifying bidirectional model ...transformation, graph ...

15

Volume 54: Graph-Based Tools 2012

Volume 54: Graph-Based Tools 2012

... Triple Graph Grammars [Sch94] to consider metamodel constraints, focusing on design-time checks as well as runtime checks revealing problems with forward or backward validity of the ...

13

Volume 6: Graph Transformation and Visual Modeling Techniques 2007

Volume 6: Graph Transformation and Visual Modeling Techniques 2007

... Triple Graph Grammars (TGGs) allow the specification of high-level rules modelling the synchronized creation of elements in two graphs related through a correspondence ...one graph to the other, and ...

15

Tree Grammars (= Δ Grammars)

Tree Grammars (= Δ Grammars)

... TREE GRAMMARS (GRAMMARS) T R E E GRAMMARS ( = 4 GRAMMARS ) GladkyA V (Novosibirsk) ~ Melt~uk I A (Moscow) i T h i s p a p e r s u g g e s t s a n e w k i n d o f f o r m a l g r a m m a r ( h e r e a[.] ...

8

Graph Databases for Designing High Performance Speech Recognition Grammars

Graph Databases for Designing High Performance Speech Recognition Grammars

... a graph database, which can represent ontologies as well as other forms of data representation based on objects and relationships among ...Neo4J graph database (Webber, 2012), which is the system we ...

9

Connecting GROOVE to the world using XMI

Connecting GROOVE to the world using XMI

... EReferences are unidirectional. However, something that mimics bidirec- tionality can be achieved by using the eOpposite property. This relation prop- erty can refer to an EReference in the opposite direction of the ...

136

Restriction and Termination in Parsing with Feature Theoretic Grammars

Restriction and Termination in Parsing with Feature Theoretic Grammars

... The class of grammars Shieber describes might be termed top-down path building gram- mars, because they are grammars in which the length of a path through the graph increases as one desc[r] ...

12

SNOPAR: A Grammar Testing System

SNOPAR: A Grammar Testing System

... routine for generating grammars from a .state transition graph.. and a register action table.[r] ...

15

Review: Mathematical Models of Language, edited by Ferenc Kiefer

Review: Mathematical Models of Language, edited by Ferenc Kiefer

... For example, property grammars Aho and Ullman, The Theory of Parsing, Trans-.. 3nd nominal neighborhood grammars.[r] ...

16

Contextual Grammars

Contextual Grammars

... CONTEXTUAL GRAMMARS CONTEXTUAL GRAMMARS Solomon Marcus InsUtutul de Matematica Str, Mihal Eminescuo 47 BuchareSt 9, ROMANIA In the following, we shall introduce a type of generative grammars, called c[.] ...

18

Regular number of line block graph of a graph

Regular number of line block graph of a graph

... is the minimum cardinality of total dominating set of . A set with minimum cardinality among all the maximal is called minimum independent . The cardinality of a minimum independent dominating set is called independent ...

6

Show all 7777 documents...

Related subjects