e3value user manual, first release

C.1 Object names and identifiers

Each model element has a name that is given a value by the e3value editor but can be changed by you. In addition, each model element has an object identifier, a unique number generated by the editor that cannot be changed by you.

{String Char} ::= {Printable}-["]-[’#’]-[’{’]-[’}’] ObjectName ::= ’"’{String Char}{String Char}*’"’ ObjectId  ::= {Digit}*