|
Vol: 4(4) No: 1 / March 1994 Design and Analysis of Temporal Logic Specifications of Distributed Systems Communication Protocols Anatol Ursu Information Science Department,Tehnical University of Moldova, Bv. Stefan cel Mare nr. 168, 277012 Chisinau, Moldova, phone: (+3732) 497048 Victor Besliu Information Science Department,Tehnical University of Moldova, Bv. Stefan cel Mare nr. 168, 277012 Chisinau, Moldova Sergiu Zaporojan Information Science Department,Tehnical University of Moldova, Bv. Stefan cel Mare nr. 168, 277012 Chisinau, Moldova Vladislav Dubenetsky Information Processing and Control Systems Department, Electrotechnical University of Sankt – Petersburg, Russia, Str. Academic Popov nr. 5, 179022, Sankt – Petersburg, Russia Keywords: temporal logic, communication protocols Abstract This paper studies an application of temporal logic in specification and design of distributed systems protocols combining modular approach and step–wise refinement method. References [1] A. Pnueli, Applications of Temporal Logic to the Specification and Verification of reactive systems: a survey of current trends, in: LNCS 224, 1986, pp. 510 – 584. [2] Z. Manna, P. Wolper, Synthesis of Communicating processes from temporal logic specifications, ACM TOPLAS, 6, .1984, pp. 68 – 93. [3] A. Ursu, V. Besliu, V. Rusanovschi, A. Tool for Concurrent Programs Debugging, in: Procedings of the XVIII-th Congress of the Romanian American Academy of Sciences and Artts, “MOLDOVA: Opening of its culture and science for the West”, (July 13 – 16, 1993), Chisinau,Moldova, Vol. 2, pp. 63. [4] A. Ursu, V. Rusanovschi, A Technique for Concurrent Programs Debugging, in: Preceedings of Intern. Conf. on Microelectronics and Computer Science ICMCS-92, Chisinau, Moldova, October 21 – 23, 1992, Vol. 3, pp. 20-23. [5] A. Ursu, E. Gutsuleac, From Petri nets to Temporal Logic Specification of concurrent systems, in: Proceedings of Intern. Conf. on Microelectronics and Computer Science ICMCS-92, Chisinau, Moldova, October 21-23, 1992, Vol. 3, pp. 47-50. [6] A. Ursu, V. Besliu, V. Rusanovschi, Applications of Temporal Logic in Specification of the ISO/OSI Reference Model Data-Link Layer Protocol, in: Proceedings of thr International Symposium on Signals and Systems SCS’93, November 4-5, Iasi, Romania, pp. 369-372. [7] A. Ursu, V. Dubenetsky, V. Besliu, Step-wise Refinement Design of Distributed Systems Using Temporal Logic Specifications, in: Preprints of the 4th International Symposium on Automatic Control and Computer Science SACCS’93, October, 29-30, 1993, Iasi, Romania, Vol. 2., pp.455-460. |