This paper presents an approach to object-oriented simulation of communications protocols based on some concepts borrowed from the field of artificial intelligence. A protocol entity is represented by setsof objects, functions and relations. Reformulation of the protocol entity enables flexible simulation of complex communications protocols at different levels of detail. A proposed simulation language is based on a first-order predicate logic with temporal arguments.
abstraction, communication protocols, object - orientation, simulation language.
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).