Abstract
Several existing FDTs have been evaluated in chapter 2 to assess their suitability for specifying communication systems. Because of deficiencies in these FDTs, a rule-based technique for the specification of communication services and protocols has been proposed in chapter 3 (CRS, X-ASN.1). The advantages of CRS in relation to a number of general criteria for FDTs and the representation of architectural concepts of open systems have been explained. This chapter shows the relevance of using CRS and X-ASN.1 for building tools to automate protocol development. A protocol engineering approach is described that is based on the constructive nature of CRS specifications, allowing specifications to be executed according to the operational semantics defined in chapter 3.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Notes
Remember that starting and ending a rule occur at two different points in time.
The idea of control blocks is similar to the pseudo processors proposed in [Nehm85] to implement process management in operating systems.
Note that this is an equivalence on states which is rather strong with respect to externally visible behavior.
Rights and permissions
Copyright information
© 1992 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden
About this chapter
Cite this chapter
Schneider, J.M. (1992). Protocol Engineering with Communicating Rule Systems. In: Protocol engineering. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-83979-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-322-83979-4_5
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-05243-0
Online ISBN: 978-3-322-83979-4
eBook Packages: Springer Book Archive