Tool support for relational formalisms in programming and specification

本研究的目标是通过在软件开发的不同阶段扩展关系抽象的使用来提高软件开发人员的生产力和对他们产品的信心。 众所周知，在许多应用领域，特别是涉及任何类型的网络的地方，简洁的关系代数规范可用于许多任务。 这项研究将开辟新的方法，使许多这些规范可执行，高效，自动调优的实现。 此外，类似的公式可以用于广泛的应用，包括“模糊”决策发现，通过图形变换的配置变化，和通信协议。 这项研究将建立一个统一的框架，工具支持指定，编程和推理，在这个家庭的语言。 它将研究独立的基于关系的规范和编程，嵌入函数式编程，以及函数逻辑编程的新基础。

The goal of this research is to improve software developers' productivity and confidence in their products by expanding the use of relational abstractions in different stages of software development. It is well-known that in many application areas, in particular where networks of any kind are involved, concise relation-algebraic specifications are available for many tasks. This research will open up new ways to make many of these specifications executable, with efficient, automatically tuned implementations. In addition, similar formulations can be used in a wide range of applications, including "fuzzy" decision finding, configuration changes via graph transformations, and communication protocols. This research will build a unified framework of tool support for specifying, programming, and reasoning in this family of languages. It will study both stand-alone relation-based specification and programming, and embedding in functional programming, as well as new foundations for functional-logic programming.