Integrated analysis of communication protocols by means of PLA formalism
DOI:
https://doi.org/10.26636/jtit.2004.4.260Keywords:
piece-linear aggregates, ESTELLE/Ag specification language, validation, simulation, communication protocolsAbstract
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.
Downloads
References
[1] G. I. Holzmann, "The model checker SPIN", IEEE Trans. Softw. Eng., vol. 23, no. 5, pp. 279-295, 1997.
View in Google Scholar
[2] B. P. Zeigler, Theory of Modelling and Simulation. New York: Academic Press, 2000.
View in Google Scholar
[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.
View in Google Scholar
[4] H. Pranevicius, V. Pilkauskas, and A. Chmieliauskas, "Aggregate approach for specification and analysis of computer network protocols", Technologija, Kaunas University of Technology, 1994.
View in Google Scholar
[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.
View in Google Scholar
[6] H. Pranevicius, "Formal specification and analysis of distributed systems", J. Intell. Manuf., no. 9, pp. 559-569, 1998.
View in Google Scholar
Downloads
Submitted
Published
Issue
Section
License
Copyright (c) 2004 Journal of Telecommunications and Information Technology
This work is licensed under a Creative Commons Attribution 4.0 International License.
