[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[rohc] Formal notation, what is it?
Hi all,
During the last week, we have had an extensive discussion about the
formal notation, trying to get a common understanding. After reading
both the draft and some recent posts, I have started to wonder whether
we all mean that it is just a notation, i.e. a system of symbols,
characters, etc, to describe something in a formal way. One could
maybe call that a kind of language.
This is how I have seen the formal notation, as a language, a tool,
for describing how header fields are to be compressed. When defining
a new compression profile, the notation (language) would then be used
to describe how to compress e.g. TCP fields. What is described in a
profile specification, using (at least to some part) the formal notation
would then constitute an implementable profile.
Note that the notation itself would not be something that would be
implementable. Of course, the various mechanisms described by the
notation could be implemented, but not the notation itself. The notation
is not a machine, it is a language. To me it therefore makes no sense
to say that "the notation executes", or "the notation calls".
The point is that, I believe the notation should be about....
.....notating, nothing else.
/L-E
-----------------------------------
Lars-Erik Jonsson, M.Sc
Wireless IP Optimizations
AWARE - Advanced Wireless Algorithm Research
Ericsson Research, Corporate Unit
Ericsson AB
Box 920, S-971 28 Luleå, Sweden
E-mail: lars-erik.jonsson@ericsson.com
Phone: +46 920 20 21 07
Fax: +46 920 20 20 99
Home: +46 920 999 57
My opinions are my personal opinions and should not be considered
as the opinions of my employer, if not explicitly stated.
_______________________________________________
Rohc mailing list
Rohc@ietf.org
https://www1.ietf.org/mailman/listinfo/rohc