Title :
Protocol designs based on service specifications
Author :
Chen, Liang ; Munro, Alistair
Author_Institution :
Sch. of Inf. Sci., Univ. of Hertfordshire, UK
Abstract :
We observe that communication protocol designs based on service specifications can be represented by solving equations of the form (X|M|Y)L=S in CCS. We generalise Parrow´s approach on solving equations of the form (A|X)=B and describe an implementation of a communication protocol synthesiser BCPS, which is a tool for interactive design of communication protocols. It supports design of protocols based on their service specifications and allows users to construct protocol specifications step by step. As an application, we demonstrate a design of the alternating bit protocol by using BCPS
Keywords :
formal specification; protocols; BCPS; Parrow´s approach; communication protocol designs; communication protocols; interactive design; protocol designs; service specifications; Application software; Business continuity; Carbon capture and storage; Computer network reliability; Computer networks; Educational institutions; Equations; Information science; Protocols; Telephony;
Conference_Titel :
Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on
Conference_Location :
Gaithersburg, MD
Print_ISBN :
0-7803-2680-2
DOI :
10.1109/CMPASS.1995.521904
