Search

This paper presents a new interactive synthesis algorithm to construct two communicating finite-state machines (protocols), which exchange message over two unidirectional FIFO channels when the function of the protocol has been given. The synthesis algorithm first constructs the global state transition graph (GSTG) of a protocol to be synthesized and then produces the protocol. It is based on a set of production rules and a set of deadlock avoidance rules, which guarantee that complete reception and deadlock freeness capabilities are provided in the interacting processes. This synthesis algorithm prevents a designer from creating unspecified reception and nonexecutable transition, avoids the occurrence of deadlocks, monitors for the presence of buffer overflow, although it does not help the designer synthesize a protocol to achieve some particular functionality. [ABSTRACT FROM AUTHOR]

The conformance testing of MAP-specified protocol implementations is a complex activity. This paper describes major components of the MAP 2.1 Conformance Test System. A comparison between protocol conformance testing and program testing sets the context. Background on the scope and process of dynamic conformance testing is provided. The architecture of the Test System is presented, first in terms of the developing ISO framework, and then in terms of run-time components. Several specific tools which comprise the Test System are described. These tools include test engines, a high-level control tool, monitoring and analysis tools, and document handling tools. Benefits and limitations of the test tools are examined. Conclusions and suggestions for future efforts are provided. [ABSTRACT FROM AUTHOR]

RTAG is a language based on an attribute grammar notation for specifying protocols. Its main design goals are: 1) to support concise and easily understood expression of complex real-world protocols, and 2) to serve as the basis of a portable software system for automated protocol implementation. This paper summarizes the RTAG language, gives examples of its use, sketches the algorithms used in generating implementations from these specifications, and describes a UNIX®-based automated implementation system for RTAG. [ABSTRACT FROM AUTHOR]

Consider the problem of achieving communication between two processes across a network or an internetwork. To address this problem, we first formalize the notion of logical connectivity between processes in a protocol architecture; logical connectivity is a necessary condition for conversion-free communication. We then formulate the problem of constructing a protocol converter to achieve interoperability between processes that implement different protocols. We present a formal model, based upon the theory of protocol projection [8], for reasoning about the semantics of different protocols and conversions between them. The correctness of a conversion is a con- sequence of the correctness properties of image protocols obtained by projections. Two kinds of converters are presented: memoryless converters and finite-state converters. Lastly, we illustrate the construction of some finite-state converters with examples. [ABSTRACT FROM AUTHOR]