Real-Time Maude Case Study:
The NORM IETF Multicast Protocol Standard
By Elisabeth Lien
The specification of the negative-acknowledgment oriented
is part of the ongoing work by the Internet Engineering Task Force
(IETF) to standardize Internet protocols. NORM is defined as an IETF
Internet-Draft and has been developed by B. Adamson, C. Bormann, M.
Handley, and J. Macker.
The NORM protocol is designed to provide reliable, efficient, scalable, and "TCP-friendly" end-to-end multicast of bulk data objects or streams over generic IP multicast routing and forwarding services.
Elisabeth Lien has modeled and analyzed an earlier version of NORM, as part of the master's thesis work at the Department of Linguistics, University of Oslo.
|The Executable Real-Time Maude 2.0 Specification of NORM|