一种基于边的上下文相关图文法形式化框架
作者:
基金项目:

Supported by the National Natural Science Foundation of China under Grant Nos.60571048, 60673186 (国家自然科学基金)


An Edge-Based Context-Sensitive Graph Grammar Formalism
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [19]
  • |
  • 相似文献 [20]
  • |
  • 引证文献
  • | |
  • 文章评论
    摘要:

    围绕解决图文法中的主要问题——嵌入问题,提出了一种基于边的上下文相关图文法形式化框架,并对由此定义的文法的一些性质及相应的归约算法进行了讨论.对所提出的图文法与已有的文法进行了比较.同时,展望了今后值得进一步研究的一些问题和方向.

    Abstract:

    This paper proposes an edge-based context-sensitive graph grammar formalism with a concentration on solving the main graph grammar problem?embedding problem, and discusses the features of the proposed graph grammar and its parsing algorithm. Some comparisons of the proposed graph grammars with other existing grammars are given. Further researches on graph grammars are also reviewed.

    参考文献
    [1]Rozenberg G.Handbook of Graph Grammars and Computing by Graph Transformation,Volume 1.Singapore:World Scientific Publishing Co.Pte.Ltd.,1997.
    [2]Fahmy H,Blostein D.A survey of graph grammars:Theory and applications.In:Proc.of the 11th Int'l Conf.on Pattern Recognition,Vol.II:Conf.B:Pattern Recognition Methodology and Systems.1992.294-299.
    [3]Fan L,Xie L.Relation graph grammar and its application.Journal of Software,1997,8(2):87-92 (in Chinese with English abstract).
    [4]Xu JL,Zhou LX.A graph grammar based concurrent system testing method and its implementation.Journal of Software,1996,7(10):587-605 (in Chinese with English abstract).
    [5]Blostein D,Schürr A.Visual modeling and programming with graph transformations.In:Proc.of the 14th IEEE Symp.on Visual Languages.Los Alamitos:IEEE Computer Society Press,1998.
    [6]Ma XX,Cao JN,Lü J.Architecting distributed Web applications:A graph-oriented approach.Chinese Journal of Computers,2003,26(9):1104-1115 (in Chinese with English abstract).
    [7]Taentzer G,Carughi GT.A graph-based approach to transform XML documents.In:Baresi L,Heckel R,eds.Proc.of the FASE 2006.LNCS 3922,Berlin,Heidelberg:Spring-Verlag,2006.48-62.
    [8]Shi B,Ran P,Ma XX,Tao XP,Lü J.Attributed graph grammar-based description and constraints verification of software architectures.Application Research of Computers,2007,24(3):163-168 (in Chinese with English abstract).
    [9]Marriott K.Constraint multiset grammars.In:Proc.of the 10th IEEE Symp.on Visual Languages.Los Alamitos:IEEE Computer Society Press,1994.118-125.
    [10]Golin E.A Method for the specification and parsing of visual languages[Ph.D.Thesis].Department of Computer Science,Brown University,1991.
    [11]Rekers J,Schürr A.Defining and parsing visual languages with layered graph grammars.Journal of Visual Languages and Computing,1997,8(1):27-55.
    [12]Zhang DQ,Zhang K,Cao JN.A context-sensitive graph grammar formalism for the specification of visual languages.The Computer Journal,2001,44(3):187-200.
    [13]Kong J,Zhang K,Zeng XQ.Spatial graph grammars for graphical user interfaces.ACM Trans.on Computer-Human Interaction,2006,13(2):268-307.
    [14]Zhang K,Zhang DQ,Cao JN.Design,Construction,and application of a generic visual language generation environment.IEEE Trans.on Software Engineering,2001,27(4):289-307.
    [15]Zhang K,Zhang DQ,Deng Y.Graphical transformation of multimedia XML documents.Annals of Software Engineering,2001,12(1):119-137.
    [16]Zhang KB,Orgun MA,Zhang K.A prediction-based visual approach for cluster exploration and cluster validation by HOV3.In:Kok JN,Koronacki J,de Mantaras RL,Matwin S,Mladenic D,Skowron A,eds.Knowledge Discovery in Databases:Proc.of the 11th European Conf.on Principles and Practice of Knowledge Discovery in Databases (PKDD 2007).2007.336-349.
    [17]Drewes F,Hoffmann B,Janssens D,Minas M,Eetvelde NV.Adaptive star grammar.In:Corradini A,Ehrig H,Montanari U,Ribeiro L,Rozenberg G,eds.Proc.of the ICGT 2006.Berlin:Springer-Verlag,2006.77-91.
    [18]Rekers J,Schürr A.A parsing algorithm for context-sensitive graph grammar.Technical Report,95-05,Leiden University,1995.
    [19]Zeng XQ,Zhang K,Kong J,Song GL.RGG+:An enhancement to the reserved graph grammar formalism.In:Erwig M,Schurr A,eds.Proc.of the 2005 IEEE Symp.on Visual Languages and Human-Centric Computing.Los Alamitos:IEEE Computer Society Press,2005.272-274.
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

曾晓勤,韩秀清,邹 阳.一种基于边的上下文相关图文法形式化框架.软件学报,2008,19(8):1893-1901

复制
分享
文章指标
  • 点击次数:8754
  • 下载次数: 8805
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2008-04-18
  • 最后修改日期:2008-01-08
文章二维码
您是第20538997位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号