Related content
Previous snippet
A CallEvent is denoted by the name of the triggering Operation, optionally followed by an assignment
specification:
<call-event> ::= <name> [‘(‘ [<assignment-specification>] ‘)’]
<assignment-specification> ::=<assigned-name> [‘,’ <assigned-name>]*