A General Transition Model for Protocols and Communication Services
The work
| Authors | G. Bochmann |
|---|---|
| Editors | |
| Type | article |
| Year | 1980 |
| Citekey | bochmann1980general |
Where it appeared
| Published in | IEEE Transactions on Communications |
|---|---|
| Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
| Volume | 28 |
| Issue | 4 |
| Pages | 643--650 |
Identifiers
| DOI | 10.1109/tcom.1980.1094696 |
|---|---|
| OpenAlex | W2164198791 |
| ISSN | 0096-2244 |
Access
| Landing page | https://doi.org/10.1109/tcom.1980.1094696 |
|---|
Settled
| Abstract | No abstract can be got. The paper is IEEE Transactions on Communications COM-28(4), 1980, and IEEE is the only holder: Crossref gives the title, authors, pages and doi but no abstract; DataCite answered 404; Semantic Scholar, DBLP and OpenAIRE have no record of it; Unpaywall added nothing; Europe PMC answered 503. Asked again on 2026-09-02 with deskr 1.3.0 and the result was the same. ieeexplore.ieee.org returns HTTP 200 with a text/html JavaScript shell rather than a document, so no copy can be fetched to read one from either. Empty on purpose rather than unasked -- and this is a case where the abstract exists on the page and simply cannot be reached, not one where the work has none. |
|---|
Abstract
Different approaches have been used for the formal specification and verification of communication protocols. This paper explains the approach of nsing a general transition model which combines aspects of finite state transition diagrams and programming languages. Different ways of structuring a protocol into separate modules or functions are also discussed. The main part of the paper describes a method for exactly specifying the communication service provided by a protocol. Two aspects of a service specification are distinguished: 1) the local properties which characterize the interface through which the service may be accessed, and 2) the global properties which describe the "end-to-end" communication characteristics of the service. It is shown how the specification method is related to the general transition model for protocol specification. Verification is discussed briefly with emphasis on the use of invariant assertions in the context of finite state as well as programming language protocol descriptions. The discussed topics are demonstrated with examples based on the HDLC classes of procedures and the X.25 Virtual Circuit data transmission service.
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-09-01 23:44 UTC |
| Approved by | a person 2026-09-02 16:17 UTC |
Cite it as
@article{bochmann1980general,
title = {A General Transition Model for Protocols and Communication Services},
author = {G. Bochmann},
year = {1980},
journal = {IEEE Transactions on Communications},
publisher = {Institute of Electrical and Electronics Engineers (IEEE)},
volume = {28},
number = {4},
pages = {643--650},
issn = {0096-2244},
doi = {10.1109/tcom.1980.1094696},
}
This record lives at https://refs.drheap.org/bochmann1980general/ and will keep doing so.