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.