In: Diaz, J.; et al.: Lecture Notes in Computer Science, Vol. 352; TAPSOFT'89, Vol. 2: Advanced Seminar on Foundations of Innovative Software Development, II, and Colloquium on Current Issues in Programming Language (CCIPL), pages 140-154. Berlin: Springer-Verlag, 1989.
Abstract: In specifying a variant of a HDLC protocol a method is illustrated that addresses three problems: decomposition of a complex system into simple components, hierarchical design of a protocol and modular verification of the protocol w.r.t. the service specification. Descriptions of basic protocol functions are obtained considering projections of the global protocol behaviour. The behaviour is formalized using formulas, process terms and Petri nets.
Keywords: HDLC protocol; decomposition; hierarchical protocol design; modular protocol verification; OSI reference model.