Formalization of Protocol Engineering Concepts

King P.W. (1991) Formalization of Protocol Engineering Concepts. IEEE Transactions on Computers, 40 4: 387-403. doi:10.1109/12.88460

Author King P.W.
Title Formalization of Protocol Engineering Concepts
Journal name IEEE Transactions on Computers   Check publisher's open access policy
ISSN 0018-9340
Publication date 1991-01-01
Sub-type Article (original research)
DOI 10.1109/12.88460
Volume 40
Issue 4
Start page 387
End page 403
Total pages 17
Subject 1703 Computational Theory and Mathematics
1708 Hardware and Architecture
1712 Software
2614 Theoretical Computer Science
2208 Electrical and Electronic Engineering
Abstract A vast variety of design principles and formal descrip tion techniques (FDT’s) have been advocated to help contend with the ever increasing complexity of communication system development. Unfortunately, the relationship between these principles and FDT’s is unclear. This paper formalises a number of concepts relevant to the design principles and FDT’s used to develop communication protocols. The concepts are divided into behavioral and structural concepts. Four behavioral models and a number of associated properties are defined as a basis for comparing and integrating FDT’s. Two structural models which extend the behavioral models are then presented and several structural concepts are defined in terms of these models. We use the models and properties defined within our framework to briefly characterise a number of FDT’s.
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Journal Article
Sub-type: Article (original research)
Collection: Scopus Import - Archived
Version Filter Type
Citation counts: Scopus Citation Count Cited 13 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Tue, 14 Jun 2016, 12:45:59 EST by System User