RE: [rohc] Updating the Formal Notation draft

["Lars-Erik Jonsson (EAB)" <Lars-Erik.Jonsson@epl.ericsson.se>]

> 1. We should give the notation a better name, e.g. ROHC-FN
>    (Formal Notation for Robust Header Compression).

Yes!


> 2. The "rules" should be called "encoding methods" to bring the 
>    terminology in line with RFC 3095.

OK!


> 3. The "labels" should be renamed "temporary variables" to
>    make it clearer what they actually do!

I am not sure, to me "variables" does not make much sense in
a formal notation. I have to think more about this...


> 4. The names of encoding methods and variables should be
>    cleanly separated, e.g. by using lowercase for the names
>    of encoding methods and uppercase for variable names.

I would leave that for now.

/L-E
_______________________________________________
Rohc mailing list
Rohc@ietf.org
https://www1.ietf.org/mailman/listinfo/rohc