Title :
A definition of the XTP service and its formal specification
Author :
Atwood, J.W. ; Zhang, Y.
Author_Institution :
Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
Abstract :
The Xpress Transfer Protocol (XTP) is a transfer (transport- and network-level) protocol designed to meet the needs of distributed, real-time, and multimedia systems, in both unicast and multicast environments. To provide a precise and unambiguous specification of the XTP service definition, it has been formally specified using LOTOS. The architecture of the specification is presented, along with the approaches used, the data type definitions, and the process structures
Keywords :
formal specification; local area networks; multimedia systems; open systems; real-time systems; transport protocols; LOTOS; XTP service; Xpress Transfer Protocol; data type definitions; distributed systems; formal specification; multicast environment; multimedia systems; network-level protocol; process structures; real-time systems; specification architecture; transport-level protocol; unicast environment; Context; Context-aware services; Delay; Formal specifications; Multimedia systems; Protocols; Real time systems; TCPIP; Unicast;
Conference_Titel :
Local Computer Networks, 1995., Proceedings. 20th Conference on
Conference_Location :
Minneapolis, MN
Print_ISBN :
0-8186-7162-9
DOI :
10.1109/LCN.1995.527375
