By Topic

Formalization of protocol engineering concepts

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
King, P.W. ; Dept. of Comput. Sci., Queensland Univ., St. Lucia, Qld., Australia

A vast variety of design principles and formal description techniques (FDTs) have been advocated to help contend with the ever-increasing complexity of communication system development. However, the relationship between these principles and FDTs is unclear. The author formalizes a number of concepts relevant to the design principles and FDTs 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 FDTs. Two structural models, which extend the behavioral models, are then presented, and several structural concepts are defined in terms of these models. The models and properties defined within this framework are used to briefly characterize a number of FDTs. The representative FDTs considered here are Petri nets, LOTOS, a relational notation, the Z notation, and Object-Z

Published in:

Computers, IEEE Transactions on  (Volume:40 ,  Issue: 4 )