Integrated analysis of communication protocols by means of PLA formalism

Authors

  • Henrikas Pranevicius

DOI:

https://doi.org/10.26636/jtit.2004.4.260

Keywords:

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

Abstract

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

Download data is not yet available.

Downloads

Published

2004-12-30

Issue

No. 4 (2004)

Section

ARTICLES FROM THIS ISSUE

License

Copyright (c) 2004 Journal of Telecommunications and Information Technology

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

How to Cite

[1]
H. Pranevicius, “Integrated analysis of communication protocols by means of PLA formalism”, JTIT, vol. 18, no. 4, pp. 84–90, Dec. 2004, doi: 10.26636/jtit.2004.4.260.