Protocol engineering issues for open systems communications.
|Title:||Protocol engineering issues for open systems communications.|
|Authors:||Aleem, Syed A.|
|Abstract:||In this thesis we present real design criteria and design building blocks in a highly procedural way starting from the specification to the implementation stage. A subset of a real protocol, namely ISDN Q.931 (CCIT3), written in informal English will be translated to a formal specification using Estelle as the formal description technique. A means of incorporating the design criteria into the formal description of the protocol is presented and illustrated with Q.931 as example. This thesis will also derive the services a protocol expects from the operating system. Those services will be summarized and standardized in order to limit variability in the design process of a protocol. The system interface which has been a major source of variation in protocol implementation, will reduce to a set of a few well defined standard system calls by assuming a proposed standard operating system interface. This interface standard appears to be sufficient to allow the automatic development of complete protocol software. (Abstract shortened by UMI.)|
|Collection||Thèses, 1910 - 2010 // Theses, 1910 - 2010|