Generating Interactive Displays from Declarative Specifications

从声明性规范生成交互式显示

• 批准号: 8805564
• 负责人: David Maier
• 金额: $ 13.4万
• 依托单位: Oregon Graduate Institute of Science & Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1988
• 资助国家: 美国
• 起止时间: 1988-06-15 至 1990-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8805564&HistoricalAwards=false
• 关键词: Generating; Interactive; Displays; Declarative; Specifications

This is a continuation of ongoing research into the possibility of automatically generating user interfaces for interactive com- puter systems. The approach taken is to specify an interface formally as a relation between a source object (such as some information in an application program) and a view object (such as a graphical image on the computer's screen). This relation is implemented as a "filter"--a program which can satisfy some con- straint on the two objects it relates. Filters are bidirec- tional: if the source changes, the view must be updated; if the view is edited, the system must find a corresponding change to the source to keep the constraint satisfied. In previous work the investigators developed a formal theory of filters and a language for defining user interfaces in such terms. They now seek to refine and extend their ideas and test them in a variety of applications. Success in this project would lead to faster and easier construc- tion of computer systems which are precisely tailored to specific needs and yet uniform in the way they interact with a user. The learning and use of ever more powerful and complex systems would be facilitated.

这是对交互式计算机系统自动生成用户界面可能性的持续研究。所采用的方法是将接口正式指定为源对象（例如应用程序中的某些信息）和视图对象（例如计算机屏幕上的图形图像）之间的关系。这种关系被实现为一个“过滤器”——一个程序，它可以满足它所关联的两个对象的某些约束。过滤器是双向的：如果源改变，视图必须更新；如果视图被编辑，系统必须找到对源的相应更改，以保持满足约束。在之前的工作中，研究人员开发了一种过滤器的形式化理论和一种定义用户界面的语言。他们现在寻求完善和扩展他们的想法，并在各种应用中进行测试。这个项目的成功将导致更快和更容易地构建计算机系统，这些系统可以精确地针对特定需求进行定制，并且在与用户交互的方式上是统一的。更强大、更复杂的系统的学习和使用将得到促进。