Paper Info
Title
Object oriented specification of multi-layered protocols
Abstract
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
Year
DOI
Venue
1993
10.1109/ICCI.1993.315391
Sudbury, Ont.
Keywords
Field
DocType
formal specification,object-oriented methods,object-oriented programming,protocols,set theory,OOST class specification,Prolog,behavioural timing constraints,class behaviour,concurrency,duration,dynamic performance statistics,executable representation,multilayered communication subnetwork,multilayered protocols,object oriented set theoretic specification,response times,structuring methods,system behaviour
Object-oriented programming,Concurrency,Computer science,Formal specification,Theoretical computer science,Language Of Temporal Ordering Specification,Prolog,Concurrent computing,Subnetwork,Executable
Conference
ISBN
Citations 
PageRank 
0-8186-4212-2
0
0.34
References 
Authors
4
3
Name
Order
Citations
PageRank
Andrew F. Watts100.34
D H Pitt201.01
Colin Smythe31110.15