e3value user guide
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}*