Research Initiation: Cooperating Transactions: An Approach to Resilient Collaborating Computations

用户与计算机的交互长期以来都是基于个人的，很少或根本没有帮助来支持协作工作。诸如办公信息系统、CAD/CAM和VLSI中的设计工作、大型编程和决策支持系统等应用程序需要用户协作。目前，还没有框架来指定协作环境中并发操作的正确性，也没有框架来设计协作事务的协议。本研究的目标是利用语义信息来开发一个可控的信息共享框架，即面向事务的合作。面向交易的合作框架的初步版本已经拟订。在这个项目中，这个框架被扩展为包括不同类型的事务，并在协作环境中处理单个事务的失败。此外，目标是构建一个原型应用程序，该应用程序使用面向对象的数据库来验证框架并演示其实用性。这项工作的结果有望为开发需要合作的分布式应用程序提供一种有效的方法。

User interaction with computers has long been on an individual basis with little or no help to support cooperative work. Applications such as office information systems, design endeavors in CAD/CAM and VLSI, programming in-the-large, and decision support systems require users to collaborate. Currently, there is no framework to specify correctness of concurrent actions in a cooperative environment and to design protocols for cooperating transactions. The goal of this research is to use semantic information to develop a framework for controlled sharing of information, i.e., transaction-oriented cooperation. A preliminary version of a framework for transaction-oriented cooperation has been developed. In this project, this framework is extended to include different types of transactions and to handle failures of individual transactions in a cooperative environment. In addition, the aim is to build a prototype application that uses an object-oriented database to validate the framework and demonstrate its practicality. Results of this work, are expected to provide an effective approach to developing distributed applications that require cooperation.