Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 1996, Pages 303-310

  Sun, Yong ^a   Yang, Hongji ^b  

^a QUEEN'S UNIVERSITY BELFAST   (United Kingdom)

^b DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

Communication; CSP; Formal Specification; Protocol

Indexed keywords

COMPUTER OPERATING PROCEDURES; NETWORK PROTOCOLS;

ASYNCHRONOUS COMMUNICATION MECHANISMS; CASE-STUDIES; COMMUNICATING SEQUENTIAL PROCESS; COMMUNICATION MECHANISMS; COMPUTER NETWORK PROTOCOLS; PROTOCOL SPECIFICATIONS; SPECIFICATION AND DESIGNS; SYNCHRONOUS COMMUNICATIONS;

FORMAL SPECIFICATION;

EID: 16244408436     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURMIC.1996.546395     Document Type: Conference Paper

References (25)

1. M. Barjaktarovic, et al, "Formal specification and verification of communication protocols using automated tools", in the proceedings of the First IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society Press, pp.246-253, Fort Lauderdale, Florida, USA, November 6-11, 1995.
2. G. V. Bochmann, "A General Transition Model for Protocols and Communication Service", IEEE Trans. Commun, vol. COM-28, No. 4, pp. 643-650, April 1980.
3. G. V. Bochmann and C. A. Sunshine, "Formal methods in communication protocol design", IEEE trans. Commun., vol. COM-28, No. 4, pp.624-631, April 1980.
4. T. Bolognesi and E. Brinksma, "Introduction to the ISO Specification Language LOTOS", Computer Networks and ISDN Systems, vol.1 4, No. 1, January 1988.
5. R. Boumezbeur and L. Logrippo, "Specifying telephone systems in LOTOS", IEEE Communications Magazine, pp.38-45, August 1993.
6. S. Brookes et al., "A Theory of Communicating Sequential Processes", Journal of the ACM, vol. 31, pp. 560-599, 1984.
7. M. Faci, et al, "Formal specification of telephone systems in LOTOS: the constraint-oriented approach", Computer Networks and ISDN Systems, vol. 21, pp. 53-67, 1991.
8. Fei Aijun, "The design and implementation of the protocol-oriented programming language POPL", MSc thesis (in Chinese), Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China, 1984.
9. C. A. R. Hoare, "Communicating sequential processes", Commun. Ass. Comput. Mach., vol.2 1, No. 8, pp. 666-677, 1978.
10. C. A. R. Hoare, "Communicating sequential processes", Prentice-Hall International, 1985.
11. Inmos Limited, "Occam programming manual", Prentice-Hall International, 1984.
12. ISO, "Basic connection oriented session service definition", ISO 8326 standard, 1987.
13. ISO, "Basic connection oriented session protocol definition", ISO 8327 standard, 1987.
14. ISO, "LOTOS - a formal description technique based on the temporal ordering of observational behaviour", ISO 1989, International Standard ISO 8807.
15. R. Milner, "A calculus of communicating systems", Lecture Notes in Computer Science, vol. 92, Springer-Verlag, 1980.
16. R. Milner, "Communication and Concurrency", Prentice-Hall International, 1989.
17. E.-R. Olderog and C. A. R. Hoare, "Specification-oriented semantics for communicating processes", Acta Informatica, vol. 23, pp.9-66, 1986.
18. Sun Yong "A formal approach to protocol design and related techniques", MSc thesis (in Chinese), Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China, 1985.
19. Sun Yong, "Formal Specification of Protocols and its Independence of Communication Mechanisms", in the proceedings of German Conference on Communication in Distributed Systems, Informatik-Fachberichte, vol.13 0, pp. 751-762, Springer-Verlag, 1987.
20. United States Department of Defense, "Reference manual for the Ada programming language", 1983.
21. Zhou Chaochen and C. A. R. Hoare, "Partial correctness of communicating sequential processes", in the Proc. of the 2nd Int. Conf. Distributed Computing Systems, Computer Society Press, pp. 1-12, 1981.
22. Zhou Chaochen, "The consistency of the calculus of total correctness for communicating processes", Technical Monograph PRG-26, Oxford University Computing Laboratory, Programming Research Group, UK, Feb. 1982.
23. Zhou Chaochen, "Communication mechanisms and their proof calculus", Scientia Sinica (Science in China), Series A, No. 4, 1984.
24. Zhou Chaochen and C. A. R. Hoare, "Partial correctness of communication protocols", Presented at INWG/NPL workshop on protocol testing - towards proofs?, Teddington, May 1981.
25. Zhou Chaochen, "Weakest environment of communicating processes", Proc. National Computing Conf. (NCC'82), pp. 679-690, 1982.