Accession Number : ADA135733

Title :   Policy Protocol Interaction in Composite Processes.

Descriptive Note : Memorandum rept.,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s) : Barter,C J

PDF Url : ADA135733

Report Date : Sep 1982

Pagination or Media Count : 25

Abstract : Message policy is defined to be the description of the disposition of messages of a single type, when received by a group of processes. Group policy applies to all the processes of a group, but for a single message type. It is proposed that group policy be specified in an expression which is separate from the code of the processes of the group, and in a separate notation. As a results, it is possible to write policy expressions which are independent of process state variables, and as well use a simpler control notation based on regular expressions. Input protocol, on the other hand, applies to single processes(or a group as a whole) for all message types. Encapsulation of processes is presented with an unusual emphasis on the transactions and resources which associate with an encapsulated process rather than the state space of the process environment. This is due to the notion of encapsulation without shared variables, and to the associated between group policies, message sequences and transactions. (Author)

Descriptors :   *Message processing, *Queueing theory, *Input, Encapsulation, Variables, Text processing, Computer programming, Control, Sequences, Information processing

Subject Categories : Computer Programming and Software
      Bionics

Distribution Statement : APPROVED FOR PUBLIC RELEASE