Specification and implementation of an iso session layer

The Parallel Activity Specification Scheme (PASS) is a novel technique for the specification and implementation of layered communication software. It is based on an extended-state machine model of protocol automata, and it allows for a convenient description of the communication behavior of concurre...

Full description

Saved in:
Bibliographic Details
Published in:IBM systems journal 1987-01, Vol.26 (3), p.255-275
Main Authors: FLEISCHMANN, A, CHIN, S. T, EFFELSBERG, W
Format: Article
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Exact sciences and technology
Implementations
Software
Specifications
Telecommunications systems
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The Parallel Activity Specification Scheme (PASS) is a novel technique for the specification and implementation of layered communication software. It is based on an extended-state machine model of protocol automata, and it allows for a convenient description of the communication behavior of concurrent systems and semiautomatic generation of programming language code from the specification. Large-scale experience with this technique was first gained in the specification and implementation of an International Standards Organization (ISO) session layer of the ISO Reference Model for Open Systems Interconnection (OSI). A detailed description is provided of the code generation process and the embedding of the session code into a portable OSI operating system environment. The experimental OSI project proves the feasibility of creating an implementation-independent session protocol machine that is generated directly from the PASS specification of the OSI session standard by automatic means. Illustrations.
ISSN:0018-8670
DOI:10.1147/sj.263.0255