About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
IEEE Transactions on Communications
Paper
Executable Description and Validation of SNA
Abstract
The definition of IBM's Systems Network Architecture (SNA) has evolved into a specification of a node in the form of a meta-implementation using formal, state-oriented descriptive techniques. This evolution is traced here, and the different formal techniques are described. The culmination of this process has been the development of a PL/I-based programming language, Format and Protocol Language (FAPL), as a descriptive tool. Using FAPL, the architects now define SNA by a programmed meta-implementation of a node. In this form, it is precise, readily accessible to the implementing product designers and programmers, and structurally close to the implementations. The essential features of the meta-implementation and of FAPL are described, along with the implications and advantages of describing the architecture in an executable form. One major benefit, already being realized, is the capability to test the logical consistency and completeness of the executable description itself. The current status of the validation of the executable description and sample results obtained are described. Copyright © 1980 by The Institute of Electrical and Electronics Engineers, Inc.