Number: CS 71/94
Author(s): PENJAM, Jaan.
Title: Attributed automata: A formal model for protocol specification. 51 p.
Language: English
Availability:
ftp://greta.cs.ioc.ee/pub/CS_Reports/CS71_94.ps.Z
ABSTRACT. The report considers the concept of attributed
automation (AA) and its general properties from the viewpoint of
software engineering. The main attention is paid to the
possibilities of usage of AA for specification of distributed
software systems. This is discussed on an example of modeling the
alternating bit protocol. In this respect, the role of AA is to
permit a formal model for reasoning about general properties of a
concrete communication protocol as well as to give the
implementable specifications of protocols. The implementation of
AA model of the communication protocol in the NUT system is
presented.