DocumentCode
3127647
Title
Protocol designs based on service specifications
Author
Chen, Liang ; Munro, Alistair
Author_Institution
Sch. of Inf. Sci., Univ. of Hertfordshire, UK
fYear
1995
fDate
25-29 Jun 1995
Firstpage
261
Lastpage
271
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CMPASS.1995.521904
Filename
521904
Link To Document