Deriving protocol specifications from service specifications written in LOTOS

Distributed Computing

Volumn 10, Issue 1, 1996, Pages 29-47

  Kant, Christian ^a,b   Higashino, Teruo ^a,c   Bochmann, Gregor V ^a  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

^b UNIVERSITÉ DE MONCTON   (Canada)

^c OSAKA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA COMMUNICATION SYSTEMS; ELECTRIC NETWORK ANALYSIS; ELECTRIC NETWORK SYNTHESIS; NETWORK PROTOCOLS; SYNCHRONIZATION; TELECOMMUNICATION SERVICES;

LOTOS PROGRAMMING LANGUAGE; SERVICE SPECIFICATIONS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0030189108     PISSN: 01782770     EISSN: None     Source Type: Journal    
DOI: 10.1007/s004460050022     Document Type: Article

References (24)

1. Aho A, Sethi R, Ullman JD: Compilers principles, techniques and tools. Addison Wesley 1985
2. Bochmann Gv, Gotzhein R: Deriving protocol specifications from service specifications. Proceedings of the ACM SIGCOMM'86 Symposium, Vermont, USA, pp 148- 156, 1986
3. Bochmann Gv: Protocol specification for OSI. Comput Networks ISDN Syst 18: 167-184 (1990)
4. Bolognesi T, Brinksma E: Introduction to the ISO specification language LOTOS. Comput Networks ISDN Syst 14 (1) : 25 -59 (1987)
5. Coelho da Costa RJ, Courtiat J-P: A true concurrency semantics for LOTOS. Proceedings of the Fifth International IFIP WG 6.1 Conference on Formal Description Technique (FORTE'92), pp 347- 362, October 1992
6. Chu PM, Liu MT: Protocol synthesis in a state transition model. Proceedings of the IEEE COMPSAC'88, pp 505- 512, 1988
7. Gotzhein R, Bochmann Gv: Deriving protocol specifications from service specifications including parameters. ACM Trans Comput Syst 8(4) 255- 283 (1990)
8. Gouda M, Yu Y: Synthesis of communicating finite-state machines with guaranteed progress. IEEE Trans Commun COM-32 (7). 779-788 (1984)
9. Kakuda Y, Wakahara Y: Component-based synthesis of protocol for unlimited number of processes. Proceedings of the COMPSAC'87, pp 721- 730, 1988
10. Kant C, Higashino T, Bochmann Gv: Deriving protocol specifications written in LOTOS. Research Report # 805, Departement I.R.O., Université de Montreal, 1992
11. Kant C: Deriving protocol specifications from service specifications. Ph.D. thesis, Université de Montreal, 1993
12. Khendek F, Bochmann Gv, Kant C: New results on deriving protocol specifications from services specifications. Proceedings of the ACM SIGCOMM'89, pp 136-145, 1989
13. Langerak R: Decomposition of functionality; a correctness-preserving LOTOS transformation. Proceedings of the Tenth International IFIP WG 6.1 Symposium on Protocol Specification, Testing and Verification (PSTV-X), Ottawa, pp 229- 242, June 1990
14. ISO: Information Processing System - Open System Interconnection - LOTOS - A Formal Description Technique based on the Temporal Ordering of Observational Behavior, IS 8807, January 1989
15. Milner R: A calculus of communicating systems. LNCS 92, Berlin: Springer 1980
16. ISO.: Information Processing System - Open Systems Interconnection - Basic Reference Model. ISO 7498, 1984
17. Probert R, Saleh K: Synthesis of communication protocols: survey and assessment. IEEE Trans Comput 40: 468- 475 (1991)
18. Ramamoorthy CV, Yaw Y, Aggarwal R, Song J: Synthesis of two party-error-recoverable protocols. Proceedings of the ACM SIGCOMM'86 Symposium, Vermont, USA, pp 227 -235, 1986
19. Salen K, Probert R: service-based method for the synthesis of communication. Int J Mini Microcomput Distrib Syst 12(3): 97- 103 (1990)
20. Sidhu DP: Protocol design rules. Proceedings of the Second IFIP Int Symposium Protocol Specification, Testing and Verification (PSTV-II), pp 283 -300, 1982
21. Vissers C, Logrippo L: The importance of the concept of service in the design of data communications protocols. Proceedings of the Fifth IFIP Workshop on Protocol Specification, Verification and Testing (PSTV-V), Toulouse, pp 3-17, 1985
22. Vissers C: FDT's for open distributed systems, a retrospective and a prospective view. Proceedings of the Tenth International IFIP WG 6.1 Symposium on Protocol Specification. Testing and Verification (PSTV-X), pp 341- 362, Ottawa, June, 1990
23. Yasumoto K, Higashino T, Taniguchi, K: Software Process Description using LOTOS and Its Enaction. Proceedings of the 16th Int Conference on Software Engineering (ICES-16), pp 169 -178, May 1994
24. Zafiropulo P, West CH, Rudin H, Cowan DD, Brand D: Towards analyzing and synthesizing protocols. IEEE Trans Commun COM-28(4) : 651- 661 (1980)