Integrated analysis of communication protocols by means of PLA formalism

• Autorzy: Pranevicius H.
• Języki publikacji: EN

Abstrakty

EN

Aggregate approach and its possibilities for specification and analysis of computer network protocols are presented. The theoretical basis of the aggregate approach is a piece-linear aggregate (PLA) for formal specification of systems. The advantage of that approach is that it permits to create models both for analysis correctness of specifications and simulation. Some methods that can be used for validation and verification of aggregate specifications are presented also.

Słowa kluczowe

EN

piece-linear aggregates; ESTELLE/Ag specification language; validation; simulation; communication protocols

• Wydawca: Instytut Łączności - Państwowy Instytut Badawczy
• Czasopismo: Journal of Telecommunications and Information Technology
• Rocznik: 2004
• Tom: nr 4
• Strony: 84--90
• Opis fizyczny: Bibliogr. 6 poz., tab.

Twórcy

autor

Pranevicius H.

• Kaunas University of Technology, Studentu st 50, LT-51368 Kaunas, Lithuania,

Bibliografia

• [1] G. I. Holzmann, "The model checker SPIN", IEEE Trans. Softw. Eng., vol. 23, no. 5, pp. 279-295, 1997.
• [2] B. P. Zeigler, Theory of Modelling and Simulation. New York: Academic Press, 2000.
• [3] H. Pranevicius, "Aggregate approach for specification, validation, simulation and implementation of computer network protocols", in LNCS, Berlin: Springer-Verlag, 1991, vol. 502, pp. 433-477.
• [4] H. Pranevicius, V. Pilkauskas, and A. Chmieliauskas, "Aggregate approach for specification and analysis of computer network protocols", Technologija, Kaunas University of Technology, 1994.
• [5] H. Pranevicius, "Formal specification and analysis of distributed systems", in Lecturer Notes "Applications of AI to Production Engineering", Technologija, Kaunas, 1997, pp. 269-322.
• [6] H. Pranevicius, "Formal specification and analysis of distributed systems", J. Intell. Manuf., no. 9, pp. 559-569, 1998.