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

长期以来，用户与计算机的交互一直是个人的， 基本上没有帮助或很少帮助支持合作工作。 办公信息系统、设计工作等应用 在CAD/CAM和超大规模集成电路中， 支持系统需要用户协作。 目前 是没有框架来指定并发操作的正确性， 合作环境，并设计协议， 交易本研究的目的是使用语义 信息，以制定一个框架， 信息，即，交易导向的合作。 一 面向交易的框架的初步版本 合作已经展开。在这个项目中，这个框架 扩展到包括不同类型的交易， 处理合作社中个别交易的失败 环境此外，我们的目标是建立一个原型， 应用程序，它使用面向对象的数据库来验证 框架，并展示其实用性。 成果 工作，预计将提供一个有效的方法来发展 需要协作的分布式应用程序。

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.