Robust projectional editing
Robust projectional editing
复制标题
强大的投影编辑
DOI：
10.1145/3136014.3136034
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Markus Völter
中科院分区：
文献类型：
--
作者：
Friedrich Steimann;Marcus Frenkel;Markus Völter
虽然当代的投影编辑器确保编辑的程序符合编程语言的元模型，但他们并不强制要求它们也是良构的，也就是说，它们遵守为语言定义的良构规则。我们展示了如何，基于约束的捕获良好的形式，投影编辑器可以被授权以同样的方式，他们执行一致的元模型，以执行良好的形式。由此产生的健壮的编辑可能比普通的格式良好的破坏性编辑更复杂，因此可能需要更多的用户参与;然而，始终保持格式良好可以确保程序的必要更正与需要它们的编辑相关联，并且投影编辑器的服务永远不会受到不一致程序的影响。然而，健壮的投影编辑并不是一种束缚：如果程序员喜欢在没有它的情况下工作，它基于约束的格式良好性捕获仍然会捕获所有引入的错误-与许多其他编辑器服务不同，格式良好性检查和健壮编辑基于相同的实现，因此可以保证行为一致。
While contemporary projectional editors make sure that the edited programs conform to the programming language's metamodel, they do not enforce that they are also well-formed, that is, that they obey the well-formedness rules defined for the language. We show how, based on a constraint-based capture of well-formedness, projectional editors can be empowered to enforce well-formedness in much the same way they enforce conformance with the metamodel. The resultingrobust editsmay be more complex than ordinary, well-formedness breaking edits, and hence may require more user involvement; yet, maintaining well-formedness at all times ensures that necessary corrections of a program are linked to the edit that necessitated them, and that the projectional editor's services are never compromised by inconsistent programs. Robust projectional editing is not a straitjacket, however: If a programmer prefers to work without it, its constraint-based capture of well-formedness will still catch all introduced errors - unlike many other editor services, well-formedness checking and robust editing are based on the same implementation, and are hence guaranteed to behave consistently.
登录
查看更多内容
一种基于范围图的静态语义分析约束语言
DOI：
--
发表时间：
2015
期刊：
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
影响因子：
--
作者：
H. V. Antwerpen;P. Néron;A. Tolmach;E. Visser;Guido Wachsmuth
通讯作者：
Guido Wachsmuth
没有名字的重构
DOI：
10.1145/2351676.2351726
发表时间：
2012
期刊：
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
影响因子：
--
作者：
F. Steimann;Jens Henning von Pilgrim
通讯作者：
Jens Henning von Pilgrim
使用类型约束进行重构
DOI：
10.1145/1961204.1961205
发表时间：
2011
期刊：
ACM Trans. Program. Lang. Syst.
影响因子：
--
作者：
F. Tip;Robert M. Fuhrer;Adam Kiezun;Michael D. Ernst;Ittai Balaban;B. D. Sutter
通讯作者：
B. D. Sutter
走向用户友好的投影编辑器
DOI：
--
发表时间：
2014
期刊：
Software Language Engineering
影响因子：
--
作者：
M. Völter;J. Siegmund;T. Berger;Bernd Kolb
通讯作者：
Bernd Kolb
计算修复树以解决设计模型中的不一致问题
DOI：
--
发表时间：
2012
期刊：
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
影响因子：
--
作者：
Alexander Reder;Alexander Egyed
通讯作者：
Alexander Egyed