Here is a list of the syntactical rules that apply to the
specification of names used in ASD modelling:
- should not be the same as one of the reserved words in the output
languages of the ASD compiler (C++, C#, C, Java and/or CSP)
- should not be the same as one of the reserved words used in ASD
modelling (Illegal, Blocked, Invariant, NoOp, NullRet,VoidReply, head, tail, otherwise)
- should not be the same as Boolean values, "true" and
"false", written with lower cases.
- an Application Interface should not be named ITimer
- a Notification Interface should not be named ITimerCB
- should not name events as: CreateTimer, CreateTimerEx, CancelTimer or TimeOut
- should not name events or reply events as Disabled
- should not have asd_ in front of the name
- the name of the ASD model should not be ITimer
- the considered name should not violate the following set of
syntactical rules:
- should not start with a number
- should not start with an "underscore", i.e. the "_" character
- should not contain non alphanumerical characters
-
The following grammar defines the validity of a name used in ASD
modelling:
- ValidName = Letter
{ _ | Letter | Digit}
- Letter = any
character from “a” to “z” or from “A” to “Z”
- Digit = any
number between and including 0 and 9