Object oriented specification of multi-layered protocols

This paper shows the object oriented set theoretic (OOST) specification technique being used to specify and analyse a multilayered communication subnetwork. The specification is produced in an incremental fashion as supported by OOST´s structuring methods. The specification is translated into Prolog and gives an executable representation which may be interrogated to give system behaviours. The analysis of these shows that it is possible to obtain directly from the specification volumetric information concerning the subnetwork. An integral part of an OOST class specification is to define the class behaviour using behavioural timing constraints. These provide a mechanism for reasoning over events with duration and true concurrency. This makes it possible to evaluate dynamic performance statistics, such as response times, directly from the specification