Accession Number:

ADA093935

Title:

Towards a Better Definition of Transactions.

Descriptive Note:

Memorandum rept.,

Corporate Author:

MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s):

Report Date:

1980-12-01

Pagination or Media Count:

13.0

Abstract:

This paper builds on a technical report written by Carl Hewitt and Henry Baker called Actors and Continuous Functionals. What is called a goal-oriented activity in that paper will be referred to in this paper as a transaction. The word transaction brings to mind an object closer in function to what we wish to present than does the word activity. This memo, therefore, presents the definitions of a reply and a transaction as given in Hewitt and Bakers paper and points out some discrepancies in their definitions. That is, that the properties of transactions and replies as they were defined did not correspond with our intuitions, and thus the definitions should be changed. The issues of what should constitute a transaction are discussed, and a new definition is presented which eliminates the discrepancies caused by the original definitions. Some properties of the newly defined transactions are discussed, and it is shown that the results of Hewitt and Bakers paper still hold given the new definitions.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE