Issue No. 04 - April (1991 vol. 40)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.88469
<p>Combining formal description techniques (FDTs) with performance evaluation (PE) is a requirement known from the 'single-specification/multiple-techniques' approach associated with the protocol engineering vision. The approach presented here assumes that a formally defined open systems interconnection (OSI) communication protocol can be syntactically transformed to a form suitable to a performance evaluation tool, and afterwards enhanced by implementation-dependence information on the protocol's resource requirements. Such a module, describing functional and performance behavior of the protocol, can then be embedded in a framework which allows its performance evaluation. This framework comprises an OSI-service provider as a transportation medium, processors providing computing services, and means for communication with the adjacent upper layer by use of associated input and output buffers. The present approach uses concepts from the performance evaluation tool HIT. Its applicability to OSI-communication architectures is sketched by means of the PE-modeling language HI-SLANG and the FD-language SDL.</p>
hierarchical performance evaluation; formally specified communication protocols; formal description techniques; single-specification/multiple-techniques; open systems interconnection; implementation-dependence information; transportation medium; adjacent upper layer; HIT; PE-modeling language HI-SLANG; FD-language SDL; formal specification; open systems; performance evaluation; protocols.
B. Muller-Clostermann, D. Hogrefe, E. Heck, "Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols", IEEE Transactions on Computers, vol. 40, no. , pp. 500-513, April 1991, doi:10.1109/12.88469