Generating Interactive Displays from Declarative Specifications

这是一个正在进行的研究的延续， 自动生成用户界面， 计算机系统。 所采用的方法是指定一个接口 形式上作为源对象（例如一些 应用程序中的信息）和视图对象（例如 计算机屏幕上的图形图像）。 这种关系是 实现为“过滤器”--一个可以满足某些条件的程序-- 这两个物体之间的关系。 滤波器 双向：如果源发生变化，则必须更新视图; 如果视图被编辑，系统必须找到对应的 更改为源以保持满足约束。 在 研究人员在之前的工作中提出了一个正式的理论， 过滤器和用于在这样的环境中定义用户界面的语言 届 他们现在寻求完善和扩展他们的想法， 它们在各种应用中。 这个项目的成功将导致更快，更容易 计算机系统的构建， 具体的需求，但统一的方式，他们与一个 user. 学习和使用越来越强大和复杂的 制度将得到便利。

This is a continuation of ongoing research into the possibility of automatically generating user interfaces for interactive computer 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 bidirectional: 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 construction 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.