DocumentCode
767993
Title
A Meta-Implementation for Systems Network Architecture
Author
Pozefsky, Diane P. ; Smith, F.D.
Author_Institution
IBM Corp., Research Triangle Park, NC
Volume
30
Issue
6
fYear
1982
fDate
6/1/1982 12:00:00 AM
Firstpage
1348
Lastpage
1355
Abstract
IBM´s Systems Network Architecture (SNA) is formally defined by a meta-implementation program written in the Format and Protocol Language (FAPL). This paper describes the structure of the SNA meta-implementation and the development of FAPL. The most interesting aspect of the meta-implementation is that the architecture specification of SNA is itself machine executable. This property leads to a number of applications in software technology, such as automated protocol validation and direct Implementation from the formal specification.
Keywords
Computer languages; Computer software design/development; Aging; Application software; Communication system control; Computer architecture; Data structures; Distributed control; Formal specifications; Process control; Product design; Protocols;
fLanguage
English
Journal_Title
Communications, IEEE Transactions on
Publisher
ieee
ISSN
0090-6778
Type
jour
DOI
10.1109/TCOM.1982.1095591
Filename
1095591
Link To Document