SYSML2 — Various incorrect Graphical BNF productions

The Graphical BNF productions in section 8.2.3 contain a number of minor mistakes

In order to be efficient, the mistakes and corrections are recorded as an enumerated list hereafter.

1. In 8.2.3.9, production occurrences-compartment-element incorrectly uses DefinitionBodyItem. DefinitionBodyItem should be removed.
2. In 8.2.3.10, production items-compartment-element incorrectly uses DefinitionBodyItem. DefinitionBodyItem should be removed.
3. In 8.2.3.11, production parts-compartment-element incorrectly uses OccurrenceUsagePrefix UsageDeclaration. It should be OccurrenceUsagePrefix Usage.
4. In 8.2.3.12, production ports-compartment-element incorrectly uses OccurrenceUsagePrefix UsageDeclaration. It should be OccurrenceUsagePrefix Usage.
5. In 8.2.3.13, production connections-compartment-element incorrectly uses OccurrenceUsagePrefix UsageDeclaration ConnectorPart+ DefinitionBodyItem*. It should be OccurrenceUsagePrefix UsageDeclaration ( 'connect' ConnectorPart )? | 'connect' ConnectorPart ) UsageBody.
6. In 8.2.3.14, production interfaces-compartment-element incorrectly uses InterfaceUsageDeclaration InterfaceBodyDefinition*. It should be OccurrenceUsagePrefix InterfaceUsageDeclaration InterfaceBody.
7. In 8.2.3.16, production actions-compartment-element incorrectly uses OccurrenceUsagePrefix ActionUsageDeclaration ActionBodyItem*. It should be OccurrenceUsagePrefix ActionUsageDeclaration.
8. In 8.2.3.16, production perform-actions-compartment-element incorrectly uses PerformActionUsageDeclaration ActionBodyItem*. It should be OccurrenceUsagePrefix PerformActionUsageDeclaration.
9. In 8.2.3.17, production states-compartment-element incorrectly uses UsageDeclaration. It should be OccurrenceUsagePrefix ActionUsageDeclaration.

Correct graphical BNF productions

Removing DefnitionBody* as suggested in the first two points of the issue leaves the two identified graphical BNF productions using Usage from the textual notation. In addition, the next two points suggest changing the use of UsageDeclaration in two more productions to Usage. But the production for Usage actually includes the UsageBody, with curly braces {...} for a non-empty body and a terminal semicolon ; for an empty body (see 8.2.2.6.2). This was not what was intended.

Instead, the use of Usage in these productions should be replaced by a new graphical BNF production usage-cp that includes the UsageDeclaration and, optionally, a ValuePart, but not the UsageBody. Other than this, the productions identified in the issue can be updated as suggested.

There are also some additional productions in 8.2.3.9 in which Usage DefinitionBody* should be replaced with usage-cp:

• individuals-compartment-element
• timeslices-compartment-element
• snapshots-compartment-element

And there are some additional productions in which Usage should be replaced with usage-cp:

• In 8.2.3.8, enums-compartment-element
• In 8.2.3.20:
  • actors-compartment-element
  • subject-compartment-element
  • stakeholders-compartment-element

(See also SYSML2-42, SYSML2-44 and SYSML2-287.)