首页    期刊浏览 2024年10月05日 星期六
登录注册

文章基本信息

  • 标题:Generating Correctness-Preserving Editing Operations for Diagram Editors
  • 本地全文:下载
  • 作者:Steffen Mazanek ; Mark Minas
  • 期刊名称:Electronic Communications of the EASST
  • 电子版ISSN:1863-2122
  • 出版年度:2009
  • 卷号:18
  • 语种:English
  • 出版社:European Association of Software Science and Technology (EASST)
  • 摘要:In previous work it has already been shown that syntax-directed and free-hand editing can be gainfully integrated into a single diagram editor. That way, the user can arrange diagram components on the screen without any restrictions in free-hand editing mode, whereas syntax-directed editing operations provide powerful assistance. So far, editing operations had to be specified or programmed by the editor developer. In contrast, this paper proposes an approach where diagram-specific editing operations are generated on the fly during the editing process and without any additional specification effort. These operations provably preserve the correctness of the diagram. The proposed approach requires a specification of the visual language by a hypergraph grammar.
国家哲学社会科学文献中心版权所有