Integration of Graph Constraints into Graph Grammars
Integration of Graph Constraints into Graph Grammars
复制标题
将图约束集成到图语法中
DOI：
10.1007/978-3-319-75396-6_2
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Tilman Teusch
中科院分区：
文献类型：
--
作者：
Annegret Habel;Christian Sandmann;Tilman Teusch
我们调查的整合图的约束到图的语法，并考虑过滤器的问题：给定一个图的语法和图的约束，是否存在一个“面向目标”的语法，生成所有的原始图形语言满足约束的图形。我们解决了特定的图形语法和特定的图形约束的过滤器问题。作为中间步骤，我们构造了一个约束自动机，它完全接受满足约束的图形语言中的图形。
We investigate the integration of graph constraints into graph grammars and consider the filter problem: Given a graph grammar and a graph constraint, does there exist a “goal-oriented” grammar that generates all graphs of the original graph language satisfying the constraint. We solve the filter problem for specific graph grammars and specific graph constraints. As an intermediate step, we construct a constraint automaton accepting exactly the graphs in the graph language that satisfy the constraint.
登录
查看更多内容
通过逻辑求解器生成迭代和增量模型
DOI：
10.1007/978-3-662-49665-7_6
发表时间：
2016
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Oszkár Semeráth;András Vörös;Dániel Varró
通讯作者：
Dániel Varró
确保无限状态系统符号验证方法的完整性
DOI：
10.1016/s0304-3975(00)00105-5
发表时间：
2001
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
P. Abdulla;B. Jonsson
通讯作者：
B. Jonsson
论图转换系统中可达性和覆盖性的可判定性现状
DOI：
--
发表时间：
2012
期刊：
International Conference on Rewriting Techniques and Applications
影响因子：
--
作者：
N. Bertrand;G. Delzanno;B. König;Arnaud Sangnier;Jan Stückrath
通讯作者：
Jan Stückrath
从 UML 和 OCL 到关系逻辑并返回
影响因子：
2.9
作者：
Mirco Kuhlmann;Martin Gogolla
通讯作者：
Martin Gogolla
将 OCL 转换为图形模式
影响因子：
2
作者：
Gábor Bergmann
通讯作者：
Gábor Bergmann