The specification of the negative-acknowledgment oriented reliable multicast (NORM) protocol 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.

Related Resources

1. Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.
   By Elisabeth Lien.
   Report, 2009.
   This is an extensive report on the Real-Time Maude specification and analysis of the NORM protocol.
2. The NORM Home Page
3. The June 2009 specification of NORM. Notice this should referred to as "work in progress".

The Executable Real-Time Maude 2.0 Specification of NORM

Notice: These files are supposed to run on Real-Time Maude 2.0, and not on the current version 2.3! The Real-Time Maude files:

• common.rtmaude (some basic data types, including links and handling of time)
• rtt.rtmaude (specifies the RTT protocol component)
• rtt-inits.rtmaude (RTT component with initial states, etc)
• data.rtmaude (specifies the DT protocol component)
• data-inits.rtmaude (extends data.rtmaude with some initial states)
• combined.rtmaude