Concurrency: State Models and Java Programs

B.2 Identifiers

FSP definitions and process parameters are named by identifiers beginning with an uppercase letter. Action label and variable identifiers begin with a lowercase letter.

ConstantIdent: RangeIdent: SetIdent: ParameterIdent: ProcessIdent: PropertyIdent: ProgressIdent: MenuIdent: FluentIdent: AssertIdent: UpperCaseIdentifier Variable: LowerCaseIdentifier

Upper- and lowercase identifiers are specified by the following productions in which UpperCaseLetter denotes one of the uppercase alphabetical characters and LowerCaseLetter denotes one of the lowercase alphabetical characters or underscore “_”. Digit denotes one of the decimal digits.

UpperCaseIdentifier: UpperCaseLetter UpperCaseIdentifier Letter UpperCaseIdentifier Digit LowerCaseIdentifier: LowerCaseLetter LowerCaseIdentifier Letter LowerCaseIdentifier Digit Letter: UpperCaseLetter LowerCaseLetter