@memoarchitect/tools 0.7.2 → 0.8.7

package/corpus/sysml-v2-release/bnf/SysML-graphical-bnf.kgbnf

@@ -0,0 +1,2264 @@
+// Corrected manually by HP de Koning
+
+// Part 2 - Systems Modeling Language (SysML)
+
+// Clause 8.2.3 Graphical Notation
+
+// Clause 8.2.3.1 Graphical Notation Overview
+
+// Clause 8.2.3.2 Elements and Relationships Graphical Notation
+
+element =
+     dependencies-and-annotations-element
+   | general-element
+   | element-inside-textual-compartment
+
+compartment =| general-compartment
+
+general-compartment =
+      <img src="images/general-compartment.svg" width="408.0">
+      general-view
+
+general-view =
+      (general-element)*
+      (dependencies-and-annotations-element)*
+      (ellipsis-at-lower-left-corner)?
+
+ellipsis-at-lower-left-corner = '...'
+
+general-element =
+      general-node
+    | general-relationship
+
+element-node =
+    usage-node | definition-node | annotation-node | namespace-node
+
+element-inside-textual-compartment =
+                           <img src="images/element-inside-textual-compartment.svg" width="404.15999999999997">
+
+rel-name =
+      Identification
+    | QualifiedName
+
+// Note. An element inside a textual compartment is selected by graying out a substring containing the element. The grayed-out section must cover a single element within the textual syntax inside the compartment.
+
+// Clause 8.2.3.3 Dependencies Graphical Notation
+
+dependencies-and-annotations-element =| dependencies-element
+
+dependencies-element =|
+      binary-dependency
+    | n-ary-dependency
+
+binary-dependency =
+     <img src="images/binary-dependency.svg" width="505.91999999999996">
+
+n-ary-dependency =
+    &n-ary-association-dot (n-ary-dependency-client-or-supplier-link &element-node)+
+
+n-ary-dependency-client-or-supplier-link =
+      n-ary-dependency-client-link
+    | n-ary-dependency-supplier-link
+
+n-ary-association-dot =
+     <img src="images/n-ary-association-dot.svg" width="92.1599985">
+
+n-ary-dependency-client-link =
+      <img src="images/n-ary-dependency-client-link.svg" width="526.08">
+
+n-ary-dependency-supplier-link =
+      <img src="images/n-ary-dependency-supplier-link.svg" width="534.24">
+
+// Note. An n-ary dependency must have two or more client elements or two or more supplier elements.
+
+// Clause 8.2.3.4 Annotations Graphical Notation
+
+dependencies-and-annotations-element =|
+      annotation-node
+    | annotation-link
+
+annotation-node =
+       comment-node
+     | documentation-node
+     | textual-representation-node
+
+text-block = (LINE_TEXT)*
+
+comment-node =
+       comment-without-keyword
+     | comment-with-keyword
+
+comment-without-keyword =
+       <img src="images/comment-without-keyword.svg" width="233.76">
+
+comment-with-keyword =
+       <img src="images/comment-with-keyword.svg" width="396.0">
+
+documentation-node =
+        <img src="images/documentation-node.svg" width="409.91999999999996">
+
+documentation-compartment =
+       <img src="images/documentation-compartment.svg" width="408.0">
+       Identification
+       text-block
+
+textual-representation-node =
+        <img src="images/textual-representation-node.svg" width="229.92000000000002">
+
+language-string = 'language' STRING_VALUE
+
+annotation-link =
+       <img src="images/annotation-link.svg" width="473.76">
+
+annotated-element =
+      element
+    | element-inside-textual-compartment
+
+// Note. A comment node may be attached to zero, one, or more than one annotated elements. All other annotation nodes must be attached to one and only one annotated element.
+
+// Clause 8.2.3.5 Namespaces and Packages Graphical Notation
+
+general-node =| namespace-node
+
+namespace-node =| package-node
+
+package-node =
+      package-with-name-inside
+    | package-with-name-in-tab
+    | imported-package-with-name-inside
+    | imported-package-with-name-in-tab
+
+package-with-name-inside =
+     <img src="images/package-with-name-inside.svg" width="233.76">
+
+package-with-name-in-tab =
+     <img src="images/package-with-name-in-tab.svg" width="289.91997">
+
+imported-package-with-name-inside =
+     <img src="images/imported-package-with-name-inside.svg" width="233.76">
+
+imported-package-with-name-in-tab =
+     <img src="images/imported-package-with-name-in-tab.svg" width="289.91997">
+
+package-compartment =
+      general-compartment
+    | documentation-compartment
+    | packages-compartment
+    | members-compartment
+    | relationships-compartment
+
+compartment =| package-compartment
+
+packages-compartment =
+      <img src="images/packages-compartment.svg" width="408.0">
+      packages-compartment-contents
+
+packages-compartment-contents = packages-compartment-element* '…'?
+
+packages-compartment-element = el-prefix? Identification
+
+members-compartment =
+      <img src="images/members-compartment.svg" width="408.0">
+      members-compartment-contents
+
+members-compartment-contents = members-compartment-element* '…'?
+
+members-compartment-element = el-prefix? (DefinitionElement | UsageElement)
+
+relationships-compartment =
+       <img src="images/relationships-compartment.svg" width="408.0">
+       relationships-compartment-contents
+
+relationships-compartment-contents = (relationships-compartment-element)* '…'?
+
+relationships-compartment-element = el-prefix? relationship-name QualifiedName
+
+relationship-name =
+      'defines' | 'defined by' | 'specializes' | 'specialized by' | 'connect to'
+    | 'subsets' | 'subsetted by' | 'performs' | 'performed by' | 'allocated' | 'allocated to'
+    | 'satisfy' | 'satisfied by'
+
+general-relationship =|
+      import
+    | top-level-import
+    | recursive-import
+    | owned-membership
+    | unowned-membership
+
+import =
+    <img src="images/import.svg" width="636.0">
+
+top-level-import =
+    <img src="images/top-level-import.svg" width="636.0">
+
+recursive-import =
+    <img src="images/recursive-import.svg" width="636.0">
+
+owned-membership =
+     <img src="images/owned-membership.svg" width="433.91999999999996">
+
+unowned-membership =
+     <img src="images/unowned-membership.svg" width="433.91999999999996">
+
+// Clause 8.2.3.6 Definition and Usage Graphical Notation
+
+general-node =| type-node
+
+type-node =
+      definition-node
+    | usage-node
+
+general-node =| usage-node definition-node
+
+namespace-node =| type-node
+
+definition-name-with-alias =
+    DefinitionDeclaration
+    ( '«alias»' ( QualifiedName (',' QualifiedName)* ) )?
+
+usage-name-with-alias =
+    '^'? UsageDeclaration
+    ( '«alias»' ( QualifiedName (',' QualifiedName)* ) )?
+
+compartment-stack = (compartment)*
+
+compartment =|
+      features-compartment
+    | variants-compartment
+    | variant-elementusages-compartment
+
+features-compartment =
+    <img src="images/features-compartment.svg" width="408.0">
+      features-compartment-contents
+
+features-compartment-contents = (features-compartment-element)* '…'?
+
+features-compartment-element = el-prefix? UsagePrefix usage-cp
+
+variants-compartment =
+    <img src="images/variants-compartment.svg" width="408.0">
+      variants-compartment-contents
+
+variants-compartment-contents = members-compartment-contents
+
+variant-elementusages-compartment =
+    <img src="images/variant-elementusages-compartment.svg" width="408.0">
+      variants-compartment-contents
+
+general-relationship =|
+      type-relationship
+
+type-relationship =
+      subclassification
+    | subsetting
+    | definition
+    | redefinition
+    | composite-feature-membership
+    | noncomposite-feature-membership
+
+subclassification =
+    <img src="images/subclassification.svg" width="476.15999999999997">
+
+definition =
+    <img src="images/definition.svg" width="461.76">
+
+subsetting =
+   <img src="images/subsetting.svg" width="449.76">
+
+reference-subsetting =
+   <img src="images/reference-subsetting.svg" width="461.76">
+
+redefinition =
+    <img src="images/redefinition.svg" width="420.0">
+
+composite-feature-membership =
+    <img src="images/composite-feature-membership.svg" width="361.91997">
+
+noncomposite-feature-membership =
+    <img src="images/noncomposite-feature-membership.svg" width="361.91997">
+
+el-prefix = '^' | '/'
+
+usage-cp = usageDeclaration ValuePart?
+
+extended-def =
+    <img src="images/extended-def.svg" width="318.239985">
+
+extended-def-name-compartment =
+     '«' BasicDefinitionPrefix? DefinitionExtensionKeyword+ 'def' '»'
+     definition-name-with-alias
+
+// Note. This production is only valid for cases where one or more
+// DefinitionExtensionKeyword names a MetadataDefinition that is a direct
+// or indirect specialization of KerML metaclass SemanticMetadata.
+
+definition-node =| extended-def
+
+extended-usage =
+    <img src="images/extended-usage.svg" width="320.15999999999997">
+
+extended-usage-name-compartment =
+     '«' BasicUsagePrefix? UsageExtensionKeyword+ '»'
+     usage-name-with-alias
+
+// Note. This production is only valid for cases where one or more
+// UsageExtensionKeyword names a MetadataDefinition that is a direct
+// or indirect specialization of KerML metaclass SemanticMetadata.
+
+usage-node =| extended-usage
+
+// Clause 8.2.3.7 Attributes Graphical Notation
+
+definition-node =| attribute-def
+
+attribute-def =
+      <img src="images/attribute-def.svg" width="318.239985">
+
+attribute-def-name-compartment =
+      '«' DefinitionPrefix 'attribute' 'def' '»'
+      definition-name-with-alias
+
+usage-node =| attribute
+
+attribute =
+      <img src="images/attribute.svg" width="320.15999999999997">
+
+attribute-name-compartment =
+      '«' UsagePrefix 'attribute' '»'
+      usage-name-with-alias
+
+compartment =| attributes-compartment
+
+attributes-compartment =
+      <img src="images/attributes-compartment.svg" width="408.0">
+      attributes-compartment-contents
+
+attributes-compartment-contents = (attributes-compartment-element)* '…'?
+
+attributes-compartment-element = el-prefix? UsagePrefix usage-cp
+
+// Clause 8.2.3.8 Enumerations Graphical Notation
+
+definition-node =| enumeration-def
+
+enumeration-def =
+      <img src="images/enumeration-def.svg" width="318.239985">
+
+enumeration-def-name-compartment =
+      '«' DefinitionPrefix 'enum' 'def' '»'
+      definition-name-with-alias
+
+usage-node =| enumeration
+
+enumeration =
+      <img src="images/enumeration.svg" width="320.15999999999997">
+
+enumeration-name-compartment =
+      '«' UsagePrefix 'enum' '»'
+      usage-name-with-alias
+
+compartment =| enums-compartment
+
+enums-compartment =
+      <img src="images/enums-compartment.svg" width="408.0">
+      enums-compartment-contents
+
+enums-compartment-contents = (enums-compartment-element)* '…'?
+
+enums-compartment-element = el-prefix? UsagePrefix usage-cp
+
+// Clause 8.2.3.9 Occurrences Graphical Notation
+
+definition-node =| occurrence-def
+
+general-relationship =| portion-relationship
+
+occurrence-def =
+      <img src="images/occurrence-def.svg" width="318.239985">
+
+occurrence-def-name-compartment =
+      '«' DefinitionPrefix 'occurrence' 'def' '»'
+      definition-name-with-alias
+
+usage-node =|
+      occurrence
+    | occurrence-ref
+    | timeslice-or-snapshot-node
+
+occurrence =
+      <img src="images/occurrence.svg" width="318.239985">
+
+occurrence-ref =
+      <img src="images/occurrence-ref.svg" width="318.239985">
+
+occurrence-name-compartment =
+      '«' OccurrenceUsagePrefix 'occurrence' '»'
+      usage-name-with-alias
+
+timeslice-or-snapshot-node =
+      timeslice
+    | snapshot
+
+timeslice =
+      <img src="images/timeslice.svg" width="318.239985">
+
+timeslice-name-compartment =
+      '«timeslice»'
+      usage-name-with-alias
+
+snapshot =
+      <img src="images/snapshot.svg" width="318.239985">
+
+snapshots-name-compartment =
+      '«snapshot»'
+      usage-name-with-alias
+
+event-occurrence-def =
+  <img src="images/event-occurrence-def.svg" width="366.24">
+
+event-occurrence-def-name-compartment =
+      '«' DefinitionPrefix 'event'  'occurrence' 'def' '»'
+      definition-name-with-alias
+
+definition-node =| event-occurrence-def
+
+event-occurrence =
+  <img src="images/event-occurrence.svg" width="318.239985">
+
+event-occurrence-name-compartment =
+      '«' OccurrenceUsagePrefix 'event'  'occurrence' '»'
+      usage-name-with-alias
+
+usage-node =| event-occurrence
+
+event-edge =
+  <img src="images/event-edge.svg" width="522.24">
+
+eventer = usage-node | definition-node
+
+portion-relationship =
+      <img src="images/portion-relationship.svg" width="577.92">
+
+compartment =|
+      occurrences-compartment
+    | individuals-compartment
+    | timeslices-compartment
+    | snapshots-compartment
+    | sequence-compartment
+
+occurrences-compartment =
+      <img src="images/occurrences-compartment.svg" width="408.0">
+      occurrences-compartment-contents
+
+occurrences-compartment-contents = (occurrences-compartment-element)* '…'?
+
+occurrences-compartment-element = el-prefix? OccurrenceUsagePrefix usage-cp
+
+individuals-compartment =
+      <img src="images/individuals-compartment.svg" width="408.0">
+      individuals-compartment-contents
+
+individuals-compartment-contents = (individuals-compartment-element)* '…'?
+
+individuals-compartment-element = occurrences-compartment-element
+
+timeslices-compartment =
+      <img src="images/timeslices-compartment.svg" width="408.0">
+      timeslices-compartment-contents
+
+timeslices-compartment-contents = (timeslices-compartment-element)* '…'?
+
+timeslices-compartment-element = occurrences-compartment-element
+
+snapshots-compartment =
+      <img src="images/snapshots-compartment.svg" width="408.0">
+      snapshots-compartment-contents
+
+snapshots-compartment-contents = (snapshots-compartment-element)* '…'?
+
+snapshots-compartment-element = occurrences-compartment-element
+
+sequence-compartment =
+      <img src="images/sequence-compartment.svg" width="408.0">
+      sequence-view
+
+sequence-view = (sq-graphical-element)*
+
+sq-graphical-element =
+      sq-graphical-node
+    | sq-graphical-relationship
+    | dependencies-and-annotations-element
+
+sq-graphical-node = sq-head-node | lifeline
+
+sq-head-node = sq-part | sq-port
+
+sq-part =
+      <img src="images/sq-part.svg" width="233.76">
+
+sq-port =
+      <img src="images/sq-port.svg" width="168.0">
+
+sq-port-label = UsageDeclaration
+
+sq-l-node =
+      lifeline
+    | sq-proxy
+
+lifeline =
+      <img src="images/lifeline.svg" width="145.91999850000002">
+
+sq-proxy =
+      <img src="images/sq-proxy-1.svg" width="133.91999850000002">
+    |
+      <img src="images/sq-proxy-2.svg" width="224.159985">
+
+proxy-label = '.'? FeatureChainMember
+
+sq-graphical-relationship = message | sq-succession
+
+succession-label = UsageDeclaration?
+
+sq-succession =
+    <img src="images/sq-succession.svg" width="768.0">
+
+succession-label = Identification
+
+// Note: the proxy nodes attached to a succession must refer to an event
+
+// Clause 8.2.3.10 Items Graphical Notation
+
+definition-node =| item-def
+
+interconnection-element =| item| item-ref
+
+item-def =
+      <img src="images/item-def.svg" width="318.239985">
+
+item-def-name-compartment =
+      '«' DefinitionPrefix 'item' 'def' '»'
+      definition-name-with-alias
+
+usage-node =| item
+
+item =
+      <img src="images/item.svg" width="318.239985">
+
+item-name-compartment =
+    '«' OccurrenceUsagePrefix 'item' '»'
+    usage-name-with-alias
+
+item-ref =
+     <img src="images/item-ref.svg" width="318.239985">
+
+compartment =| items-compartment
+
+items-compartment =
+     <img src="images/items-compartment.svg" width="408.0">
+     items-compartment-contents
+
+items-compartment-contents = (items-compartment-element)* '…'
+
+items-compartment-element = el-prefix? OccurrenceUsagePrefix usage-cp
+
+// Clause 8.2.3.11 Parts Graphical Notation
+
+definition-node =| part-def
+
+interconnection-element =| part | part-ref
+
+part-def =
+     <img src="images/part-def.svg" width="433.91999999999996">
+
+part-def-name-compartment =
+      '«' DefinitionPrefix 'part' 'def' '»'
+      definition-name-with-alias
+
+usage-node =| part
+
+part =
+      <img src="images/part.svg" width="420.0">
+
+part-name-compartment =
+      '«' OccurrenceUsagePrefix 'part' '»'
+      usage-name-with-alias
+
+part-ref =
+      <img src="images/part-ref.svg" width="420.0">
+
+compartment =|
+      parts-compartment
+    | directed-features-compartment
+    | interconnection-compartment
+
+parts-compartment =
+      <img src="images/parts-compartment.svg" width="408.0">
+      parts-compartment-contents
+
+parts-compartment-contents = (parts-compartment-element)* '…'?
+
+parts-compartment-element = el-prefix? OccurrenceUsagePrefix usage-cp
+
+directed-features-compartment =
+      <img src="images/directed-features-compartment.svg" width="408.0">
+      directed-features-compartment-contents
+
+directed-features-compartment-contents = (directed-features-compartment-element)* '…'?
+
+directed-features-compartment-element =
+      el-prefix FeatureDirection DefinitionBodyItem*
+
+interconnection-compartment =
+      <img src="images/interconnection-compartment.svg" width="408.0">
+      interconnection-view
+
+interconnection-view =|
+      (interconnection-element)*
+      (dependencies-and-annotations-element)*
+      (ellipsis-at-lower-left-corner)?
+
+general-view =| interconnection-view
+
+// Clause 8.2.3.12 Ports Graphical Notation
+
+definition-node =| port-def
+
+port-def =
+      <img src="images/port-def.svg" width="433.91999999999996">
+
+port-def-name-compartment =
+      '«' DefinitionPrefix 'port' 'def' '»'
+      definition-name-with-alias
+
+usage-node =| port-usage
+
+port-usage =
+      <img src="images/port-usage.svg" width="420.0">
+
+port-name-compartment =
+      '«' OccurrenceUsagePrefix 'port' '»'
+      usage-name-with-alias
+
+compartment =| ports-compartment
+
+ports-compartment =
+      <img src="images/ports-compartment.svg" width="408.0">
+      ports-compartment-contents
+
+ports-compartment-contents = (ports-compartment-element)* '…'?
+
+ports-compartment-element = el-prefix? OccurrenceUsagePrefix usage-cp
+
+interconnection-element =| port-def | port-usage
+
+pdh =
+      <img src="images/pdh-1.svg" width="63.8400015">
+    |
+      <img src="images/pdh-2.svg" width="60.0">
+    |
+      <img src="images/pdh-3.svg" width="60.0">
+
+pdv =
+      <img src="images/pdv-1.svg" width="29.759999999999998">
+    |
+      <img src="images/pdv-2.svg" width="29.759999999999998">
+    |
+      <img src="images/pdv-3.svg" width="29.759999999999998">
+
+port-l =
+      <img src="images/port-l-1.svg" width="123.83999699999998">
+    |
+      <img src="images/port-l-2.svg" width="118.079991">
+    |
+      <img src="images/port-l-3.svg" width="96.0">
+    |
+      proxy-v
+
+port-r =
+      <img src="images/port-r-1.svg" width="123.83999699999998">
+    |
+      <img src="images/port-r-2.svg" width="145.91999850000002">
+    |
+      <img src="images/port-r-3.svg" width="99.83999699999998">
+    |
+      proxy-v
+
+port-t =
+      <img src="images/port-t-1.svg" width="154.07999999999998">
+    |
+      <img src="images/port-t-2.svg" width="152.16">
+    |
+      <img src="images/port-t-3.svg" width="224.159985">
+    |
+      proxy-h
+
+port-b =
+      <img src="images/port-b-1.svg" width="152.16">
+    |
+      <img src="images/port-b-2.svg" width="188.159985">
+    |
+      <img src="images/port-b-3.svg" width="224.159985">
+    |
+      proxy-h
+
+port-label = QualifiedName (':' QualifiedName)?
+
+proxy-v =
+      <img src="images/proxy-v-1.svg" width="133.91999850000002">
+    |
+      <img src="images/proxy-v-2.svg" width="224.159985">
+
+proxy-h =
+      <img src="images/proxy-h-1.svg" width="138.23999400000002">
+    |
+      <img src="images/proxy-h-2.svg" width="138.23999400000002">
+
+// Note. Dotted line port productions (references) are only possible for nested ports
+
+// Note. The proxy option of a port production is valid only on a part usage contained within an interconnection view.
+
+// Clause 8.2.3.13 Connections Graphical Notation
+
+definition-node =| connection-def
+
+connection-def =
+      <img src="images/connection-def.svg" width="318.239985">
+
+connection-def-name-compartment =
+      '«' DefinitionPrefix 'connection' 'def' '»'
+      definition-name-with-alias
+
+usage-node =| connection
+
+connection =
+      <img src="images/connection.svg" width="320.15999999999997">
+
+connection-name-compartment =
+      '«' OccurrenceUsagePrefix 'connection' '»'
+      usage-name-with-alias
+
+compartment =| connections-compartment
+
+connections-compartment =
+      <img src="images/connections-compartment.svg" width="408.0">
+      connections-compartment-contents
+
+connections-compartment-contents = (connections-compartment-element)* '…'?
+
+connections-compartment-element =
+    el-prefix? OccurrenceUsagePrefix UsageDeclaration
+
+interconnection-element =|
+      connection-def
+    | connection
+    | connection-relationship
+    | attribute
+
+connection-relationship =
+      binding-connection
+    | connection-graphical
+    | n-ary-connection
+    | n-ary-connection-def
+    | connection-definition-elaboration
+    | connection-usage-elaboration
+    | connection-def-graphical
+
+connection-graphical =
+      <img src="images/connection-graphical-1.svg" width="838.0799549999999">
+    |
+      <img src="images/connection-graphical-2.svg" width="809.760045">
+
+c-adornment =
+    (a-property | a-direction | a-subsetting |a-redefinition)*
+
+a-property =
+    'ordered' | 'nonunique' | 'abstract' | 'derived' | 'readonly'
+
+a-direction =
+    'in' | 'out' | 'inout'
+
+a-subsetting =
+    'subsets' OwnedSubsetting (',' OwnedSubsetting)*
+
+a-redefinition =
+    'redefines' OwnedRedefinition (',' OwnedRedefinition)*
+
+connection-end = usage-node | usage-edge
+
+usage-edge =| connection-graphical | binding-connection
+
+connection-label = UsageDeclaration
+
+connection-def-graphical =
+      <img src="images/connection-def-graphical-1.svg" width="852.0">
+    |
+      <img src="images/connection-def-graphical-2.svg" width="785.760045">
+
+general-relationship =| connection-def-graphical
+
+cdef-label = Identification
+
+n-ary-connection-def =
+    n-ary-def-connection-dot n-ary-def-segment+
+
+n-ary-def-connection-dot =
+  <img src="images/n-ary-def-connection-dot.svg" width="180.0">
+
+n-ary-def-segment =
+   <img src="images/n-ary-def-segment.svg" width="776.1600000000001">
+
+definition-node =| n-ary-def-connection-dot
+
+general-relationship =| n-ary-def-segment
+
+n-ary-connection =
+    n-ary-connection-dot n-ary-segment+
+
+n-ary-connection-dot =
+      <img src="images/n-ary-connection-dot.svg" width="128.16000300000002">
+
+usage-node =| n-ary-connection-dot
+
+cdot-label = UsageDeclaration
+
+n-ary-segment =
+     <img src="images/n-ary-segment.svg" width="639.839955">
+
+binding-connection =
+     <img src="images/binding-connection.svg" width="528.0">
+
+rolename = Identification?
+
+multiplicity = MultiplicityRange?
+
+connection-definition-elaboration =
+    <img src="images/connection-definition-elaboration.svg" width="207.84">
+
+connection-usage-elaboration =
+    <img src="images/connection-usage-elaboration.svg" width="207.84">
+
+// Note. The usage-nodes at the ends of a binding-connection must be of compatible types.
+
+// Clause 8.2.3.14 Interfaces Graphical Notation
+
+definition-node =| interface-def
+
+interconnection-element =| interface
+
+interface-def =
+       <img src="images/interface-def.svg" width="318.239985">
+
+interface-def-name-compartment =
+      '«' DefinitionPrefix 'interface' 'def' '»'
+      definition-name-with-alias
+
+usage-node =| interface
+
+interface =
+       <img src="images/interface.svg" width="320.15999999999997">
+
+interface-name-compartment =
+      '«' OccurrenceUsagePrefix 'interface' '»'
+      usage-name-with-alias
+
+compartment =|
+      interfaces-compartment
+    | ends-compartment
+
+interfaces-compartment =
+      <img src="images/interfaces-compartment.svg" width="408.0">
+      interfaces-compartment-contents
+
+interfaces-compartment-contents = (interfaces-compartment-element)* '…'?
+
+interfaces-compartment-element =
+      el-prefix? OccurrenceUsagePrefix InterfaceUsageDeclaration
+
+ends-compartment =
+      <img src="images/ends-compartment.svg" width="408.0">
+      ends-compartment-contents
+
+ends-compartment-contents = (ends-compartment-element)* '…'?
+
+ends-compartment-element = QualifiedName (':' QualifiedName)?
+
+connection-relationship =|
+      interface-connection
+
+interface-connection =
+    <img src="images/interface-connection.svg" width="780.0">
+
+interface-label = UsageDeclaration?
+
+// Clause 8.2.3.15 Allocations Graphical Notation
+
+definition-node =| allocation-def
+
+allocation-def =
+       <img src="images/allocation-def.svg" width="318.239985">
+
+allocation-def-name-compartment =
+      '«' DefinitionPrefix 'allocation' 'def' '»'
+      definition-name-with-alias
+
+usage-node =| allocation
+
+allocation =
+       <img src="images/allocation.svg" width="320.15999999999997">
+
+allocation-name-compartment =
+      '«' OccurrenceUsagePrefix 'allocation' '»'
+      usage-name-with-alias
+
+compartment =| allocations-compartment
+
+allocations-compartment =
+      <img src="images/allocations-compartment.svg" width="408.0">
+      allocations-compartment-contents
+
+allocations-compartment-contents = (allocations-compartment-element)* '…'?
+
+allocations-compartment-element =
+      el-prefix? OccurrenceUsagePrefix AllocationUsageDeclaration UsageBody*
+
+general-relationship =| allocate-relationship
+
+allocate-relationship =
+       <img src="images/allocate-relationship.svg" width="528.0">
+
+allocation-node =
+      general-node
+    | element-in-textual-compartment
+
+usage-edge =| allocate-relationship
+
+// Clause 8.2.3.16 Flows Graphical Notation
+
+definition-node =| flow-def
+
+flow-def =
+    <img src="images/flow-def.svg" width="318.239985">
+
+flow-def-name-compartment =
+    '«' DefinitionPrefix 'succession'? 'flow' 'def' '»'
+    definition-name-with-alias
+
+usage-node =| flow-node
+
+flow-node =
+    <img src="images/flow-node.svg" width="320.15999999999997">
+
+flow-name-compartment =
+      '«' OccurrenceUsagePrefix ( 'message' | 'succession'? 'flow' ) '»'
+      usage-name-with-alias
+
+compartment =| flows-compartment
+
+flows-compartment =
+      <img src="images/flows-compartment.svg" width="408.0">
+      flows-compartment-contents
+
+flows-compartment-contents = (flows-compartment-element)* '...'?
+
+flows-compartment-element =
+    el-prefix? OccurrenceUsagePrefix
+    ( 'message' MessageDeclaration
+    | 'succession'? FlowDeclaration
+    )
+
+interconnection-element =|
+      flow-def
+    | flow
+
+connection-relationship =|
+      message-connection
+    | flow
+    | succession-flow
+    | flow-on-connection
+
+usage-edge =| message | flow | succession-flow
+
+msg-end-node =
+      occurrence| sq-l-node| item | part | port | action | state
+    | use-case | verification-case | analysis-case | proxy
+
+message =
+     <img src="images/message.svg" width="773.760045">
+
+// Note: proxy nodes and ends of messages must refer to occurrences
+
+message-label =
+    UsageDeclaration? ('of' FlowPayloadFeatureMember)? | FlowPayloadFeatureMember
+
+flow =
+     <img src="images/flow.svg" width="776.1600000000001">
+
+flow-label =
+    UsageDeclaration? ('of' FlowPayloadFeatureMember)? | FlowPayloadFeatureMember
+
+flow-end-node =
+    parameter | proxy
+
+// Note: proxy nodes at ends of flows must refer to directed features
+
+succession-flow =
+     <img src="images/succession-flow.svg" width="776.1600000000001">
+
+succession-flow-label = flow-label
+
+flow-on-connection =
+     <img src="images/flow-on-connection.svg" width="558.24">
+
+flow-node =
+      flow-node-r
+    | flow-node-l
+    | sflow-node-r
+    | sflow-node-l
+    | message-node-r
+    | message-node-l
+
+flow-node-r =
+    <img src="images/flow-node-r.svg" width="99.83999699999998">
+
+flow-node-l =
+    <img src="images/flow-node-l.svg" width="101.759994">
+
+sflow-node-r =
+    <img src="images/sflow-node-r.svg" width="145.91999850000002">
+
+sflow-node-l =
+    <img src="images/sflow-node-l.svg" width="145.91999850000002">
+
+message-node-r =
+    <img src="images/message-node-r.svg" width="120.0">
+
+message-node-l =
+    <img src="images/message-node-l.svg" width="106.079991">
+
+flow-label =
+    Identification | FlowPayloadFeatureMember
+
+// Clause 8.2.3.17 Actions Graphical Notation
+
+definition-node =| action-def
+
+action-def =
+      <img src="images/action-def.svg" width="476.15999999999997">
+
+action-def-name-compartment =
+      '«' DefinitionPrefix 'action' 'def' '»'
+      definition-name-with-alias
+
+usage-node =|
+      action
+    | perform-action-usage
+
+action =
+      <img src="images/action.svg" width="430.08000000000004">
+
+action-name-compartment =
+      '«' OccurrenceUsagePrefix 'action' '»'
+      usage-name-with-alias
+
+perform-action-usage =
+      <img src="images/perform-action-usage.svg" width="425.76">
+
+action-ref =
+      <img src="images/action-ref.svg" width="430.08000000000004">
+
+perform-action-name-compartment =
+      '«' OccurrenceUsagePrefix 'perform' 'action' '»'
+      usage-name-with-alias
+
+compartment =|
+      actions-compartment
+    | perform-actions-compartment
+    | parameters-compartment
+    | action-flow-compartment
+
+actions-compartment =
+      <img src="images/actions-compartment.svg" width="408.0">
+      actions-compartment-contents
+
+actions-compartment-contents = (actions-compartment-element)* '…'?
+
+actions-compartment-element =
+      el-prefix? OccurrenceUsagePrefix ActionUsageDeclaration
+
+perform-actions-compartment =
+      <img src="images/perform-actions-compartment.svg" width="408.0">
+      perform-actions-compartment-contents
+
+perform-actions-compartment-contents = (perform-actions-compartment-element)* '…'?
+
+perform-actions-compartment-element =
+      el-prefix? OccurrenceUsagePrefix PerformActionUsageDeclaration
+
+parameters-compartment =
+      <img src="images/parameters-compartment.svg" width="408.0">
+      parameters-compartment-contents
+
+parameters-compartment-contents = (parameters-compartment-element)* '…'?
+
+parameters-compartment-element =
+      el-prefix? FeatureDirection UsageDeclaration ValueOrFlowPart? DefinitionBodyItem*
+
+performed-by-compartment =
+      <img src="images/performed-by-compartment.svg" width="408.0">
+      performed-by-compartment-contents
+
+performed-by-compartment-contents = QualifiedName* '…'?
+
+action-flow-compartment =
+      <img src="images/action-flow-compartment.svg" width="408.0">
+      action-flow-view
+
+action-flow-view =
+     (dependencies-and-annotations-element)*
+     (action-flow-element)*
+     (perform-action-swimlanes)?
+
+action-flow-element =|
+      action-ref
+    | action
+    | action-flow-node
+    | action-flow-relationship
+
+action-flow-node =
+      start-node
+    | done-node
+    | terminate-node
+    | fork-node
+    | join-node
+    | decision-node
+    | merge-node
+    | send-action-node
+    | accept-action-node
+    | while-loop-action-node
+    | for-loop-action-node
+    | if-else-action-node
+    | assign-action-node
+
+action-flow-relationship =
+      flow
+    | aflow-succession
+    | binding-connection
+    | else-branch
+
+param-l =
+      <img src="images/param-l-1.svg" width="154.07999999999998">
+    |
+      <img src="images/param-l-2.svg" width="145.91999850000002">
+    |
+      proxy-v
+
+param-r =
+      <img src="images/param-r-1.svg" width="156.0">
+    |
+       <img src="images/param-r-2.svg" width="152.16">
+    |
+      proxy-v
+
+param-t =
+      <img src="images/param-t-1.svg" width="181.92000000000002">
+    |
+      <img src="images/param-t-2.svg" width="219.84">
+    |
+      proxy-h
+
+param-b =
+      <img src="images/param-b-1.svg" width="178.07999999999998">
+    |
+      <img src="images/param-b-2.svg" width="224.159985">
+    |
+      proxy-h
+
+param-label = QualifiedName (':' QualifiedName)*
+
+start-node =
+      <img src="images/start-node.svg" width="61.91999849999999">
+
+done-node =
+      <img src="images/done-node.svg" width="68.1599985">
+
+terminate-node =
+     <img src="images/terminate-node.svg" width="36.0">
+
+fork-node =
+      <img src="images/fork-node.svg" width="92.1599985">
+
+join-node =
+      <img src="images/join-node.svg" width="92.1599985">
+
+decision-node =
+      <img src="images/decision-node.svg" width="60.0">
+
+merge-node =
+      <img src="images/merge-node.svg" width="60.0">
+
+send-action-node =
+      <img src="images/send-action-node.svg" width="430.08000000000004">
+
+send-action-name-compartment =
+      '«' OccurrenceUsagePrefix 'send' 'action' '»'
+      usage-name-with-alias
+
+send-action-expression = NodeParameterMember 'to' NodeParameterMember
+
+accept-action-node =
+      <img src="images/accept-action-node.svg" width="430.08000000000004">
+
+accept-action-name-compartment =
+      '«' OccurrenceUsagePrefix 'accept' 'action' '»'
+      usage-name-with-alias
+
+accept-action-expression = AcceptParameterPart
+
+while-loop-action-node =
+  <img src="images/while-loop-action-node.svg" width="396.0">
+
+while-condition =
+  <img src="images/while-condition.svg" width="408.0">
+  condition-expression
+
+until-condition =
+  <img src="images/until-condition.svg" width="408.0">
+  condition-expression
+
+while-loop-action-name-compartment =
+      '«' OccurrenceUsagePrefix 'loop' '»'
+      usage-name-with-alias
+
+for-loop-action-node =
+  <img src="images/for-loop-action-node.svg" width="409.91999999999996">
+
+iteration =
+  <img src="images/iteration.svg" width="408.0">
+  iteration-expression
+
+loop-body =
+  <img src="images/loop-body.svg" width="408.0">
+  action-body
+
+for-loop-action-name-compartment =
+    '«' OccurrenceUsagePrefix 'loop' '»'
+    usage-name-with-alias
+
+if-else-action-node =
+     <img src="images/if-else-action-node.svg" width="430.08000000000004">
+
+if-condition =
+  <img src="images/if-condition.svg" width="408.0">
+  condition-expression
+
+then-body =
+  <img src="images/then-body.svg" width="408.0">
+  action-body
+
+else-body =
+  <img src="images/else-body.svg" width="408.0">
+  action-body
+
+ifelse-action-name-compartment =
+    '«' OccurrenceUsagePrefix 'if' '»'
+    usage-name-with-alias
+
+action-body =
+    action-body-textual | action-flow-view
+
+condition-expression =
+    ExpressionParameterMember
+
+iteration-expression =
+    ForVariableDeclarationMember 'in' NodeParameterMember
+
+action-body-textual =
+    ActionBodyParameterMember
+
+assign-action-node =
+      <img src="images/assign-action-node.svg" width="430.08000000000004">
+
+assign-action-name-compartment =
+      '«' OccurrenceUsagePrefix 'assign' '»'
+      usage-name-with-alias
+
+perform-actions-swimlanes = (swimlane)*
+
+swimlane =
+      <img src="images/swimlane.svg" width="180.0">
+
+parameter =
+  param-l | param-r | param-t | param-b
+
+aflow-succession =
+     <img src="images/aflow-succession.svg" width="522.24">
+
+else-branch =
+    <img src="images/else-branch.svg" width="522.24">
+
+perform-edge =
+    <img src="images/perform-edge.svg" width="522.24">
+
+performer-node = part | action | part-def | action-def | distinguished-parameter
+
+usage-edge =| succession perform-edge
+
+guard-expression = '[' OwnedExpression ']'
+
+// Note. All swimlanes are attached to each other on vertical edges and aligned along the top and bottom horizontal edges.
+
+// Note. The proxy option of a parameter production is valid only on an action usage contained within an action flow view.
+
+// Clause 8.2.3.18 States Graphical Notation
+
+definition-node =| state-def
+
+state-def =
+        <img src="images/state-def.svg" width="318.239985">
+
+state-def-name-compartment =
+      '«' DefinitionPrefix 'state' 'def' '»'
+      definition-name-with-alias
+      ('«' 'parallel' '»')?
+
+usage-node =|
+      state
+    | exhibit-state-usage
+
+state =
+       <img src="images/state.svg" width="318.239985">
+
+state-ref =
+      <img src="images/state-ref.svg" width="318.239985">
+
+state-name-compartment =
+      '«' OccurrenceUsagePrefix 'state' '»'
+      usage-name-with-alias
+      ('«' 'parallel' '»')?
+
+exhibit-state-usage =
+      <img src="images/exhibit-state-usage.svg" width="425.76">
+
+state-subaction-body = state-subaction-body-textual | action-flow-view
+
+state-subaction-body-textual = state-subaction-declaration? ( '{' ActionBodyItem* '}' )?
+
+state-subaction-declaration =
+      PerformActionUsageDeclaration
+    | AcceptNodeDeclaration
+    | SendNodeDeclaration
+    | AssignmentNodeDeclaration
+
+state-do-action =
+      <img src="images/state-do-action.svg" width="408.0">
+      state-subaction-body
+
+state-entry-action =
+      <img src="images/state-entry-action.svg" width="408.0">
+      state-subaction-body
+
+state-exit-action =
+      <img src="images/state-exit-action.svg" width="408.0">
+      state-subaction-body
+
+entry-action =
+      <img src="images/entry-action-1.svg" width="51.8400015">
+    |
+      <img src="images/entry-action-2.svg" width="430.08000000000004">
+
+entry-action-name-comp =
+      '«' 'entry' OccurrenceUsagePrefix 'action' '»'
+      usage-name-with-alias
+
+exit-action =
+      <img src="images/exit-action.svg" width="430.08000000000004">
+
+exit-action-name-comp =
+      '«' 'exit' OccurrenceUsagePrefix 'action' '»'
+      usage-name-with-alias
+
+do-action =
+      <img src="images/do-action.svg" width="430.08000000000004">
+
+do-action-name-comp =
+      '«' 'do' OccurrenceUsagePrefix 'action' '»'
+      usage-name-with-alias
+
+exhibit-state-name-compartment =
+      '«exhibit-state»'
+      state-name-compartment
+
+compartment =|
+      states-compartment
+    | state-actions-compartment
+    | exhibit-states-compartment
+    | successions-compartment
+    | state-transition-compartment
+
+states-compartment =
+      <img src="images/states-compartment.svg" width="408.0">
+      states-compartment-contents
+
+states-compartment-contents = (states-compartment-element)* '…'?
+
+states-compartment-element =
+    el-prefix? OccurrenceUsagePrefix ActionUsageDeclaration
+
+state-actions-compartment =
+      <img src="images/state-actions-compartment.svg" width="408.0">
+      state-actions-compartment-contents
+
+state-actions-compartment-contents = (state-actions-compartment-element)* '…'?
+
+state-actions-compartment-element =
+    el-prefix? EntryActionMember | DoActionMember | ExitActionMember
+
+exhibit-states-compartment =
+      <img src="images/exhibit-states-compartment.svg" width="408.0">
+      exhibit-states-compartment-contents
+
+exhibit-states-compartment-contents = exhibit-state-scompartment-element* '…'?
+
+exhibit-states-compartment-element-compartment = UsageDeclaration
+
+successions-compartment =
+      <img src="images/successions-compartment.svg" width="408.0">
+      successions-compartment-contents
+
+successions-compartment-contents = QualifiedName* '…'?
+
+state-transition-compartment =
+      <img src="images/state-transition-compartment.svg" width="408.0">
+      state-transition-view
+
+state-transition-view =
+      (state-transition-element)*
+      (dependencies-and-annotations-element)*
+
+state-transition-element =
+    state-transition-node
+  | transition
+  | st-succession
+
+state-transition-node =
+    state
+  | state-ref
+  | start-node
+  | entry-action
+  | do-action
+  | exit-action
+  | done-node
+  | fork-node
+  | join-node
+  | decision-node
+  | merge-node
+  | terminate-node
+  | action
+  | perform-action-usage
+  | action-ref
+
+transition =
+    <img src="images/transition-1.svg" width="649.92">
+    |
+    <img src="images/transition-2.svg" width="649.92">
+
+state-source =
+   state | state-ref
+
+transition-label = trigger-expression '/' ActionUsage
+
+trigger-expression = AcceptParameterPart (guard-expression)?
+
+st-succession =
+     <img src="images/st-succession-1.svg" width="675.839955">
+   |
+     <img src="images/st-succession-2.svg" width="684.0">
+
+exhibit-edge =
+  <img src="images/exhibit-edge.svg" width="492.0">
+
+exhibitor = part | part-def
+
+general-relationship =| exhibit-edge
+
+usage-edge =| transition | st-succession  | exhibit-edge
+
+// Clause 8.2.3.19 Calculations Graphical Notation
+
+definition-node =| calc-def
+
+calc-def =
+      <img src="images/calc-def.svg" width="476.15999999999997">
+
+calc-def-name-compartment =
+      '«' DefinitionPrefix 'calc' 'def' '»'
+      definition-name-with-alias
+
+usage-node =| calc
+
+calc =
+      <img src="images/calc.svg" width="430.08000000000004">
+
+calc-name-compartment =
+      '«' OccurrenceUsagePrefix 'calc' '»'
+      usage-name-with-alias
+
+action-flow-element =|
+      calc-def
+    | calc
+
+compartment =|
+      calcs-compartment
+    | result-compartment
+
+calcs-compartment =
+      <img src="images/calcs-compartment.svg" width="408.0">
+      calcs-compartment-contents
+
+calcs-compartment-contents = calcs-compartment-element* '…'?
+
+calcs-compartment-element = el-prefix? OccurrenceUsagePrefix ActionUsageDeclaration
+
+result-compartment =
+      <img src="images/result-compartment.svg" width="408.0">
+      result-compartment-contents
+
+result-compartment-contents = OwnedExpression
+
+// Clause 8.2.3.20 Constraints Graphical Notation
+
+definition-node =| constraint-def
+
+constraint-def =
+      <img src="images/constraint-def.svg" width="476.15999999999997">
+
+constraint-def-name-compartment =
+      '«' DefinitionPrefix 'constraint' 'def' '»'
+      definition-name-with-alias
+
+usage-node =
+      constraint
+    | assert-constraint-node
+
+constraint =
+      <img src="images/constraint.svg" width="430.08000000000004">
+
+constraint-ref =
+      <img src="images/constraint-ref.svg" width="430.08000000000004">
+
+constraint-name-compartment =
+      '«' OccurrenceUsagePrefix 'constraint' '»'
+      usage-name-with-alias
+
+assert-constraint-node =
+      <img src="images/assert-constraint-node.svg" width="425.76">
+
+assert-constraint-name-compartment =
+       '«assert constraint»'
+       constraint-name-compartment
+
+assume-constraint-node =
+  <img src="images/assume-constraint-node.svg" width="384.0">
+
+assume-constraint-name-compartment =
+      '«' OccurrenceUsagePrefix 'assume' 'constraint' '»'
+      usage-name-with-alias
+
+usage-node =| assume-constraint-node | assert-constraint-node
+
+assume-edge =
+      <img src="images/assume-edge.svg" width="505.91999999999996">
+
+assumer = requirement | requirement-def
+
+general-relationship =| assume-edge
+
+assert-edge =
+      <img src="images/assert-edge.svg" width="505.91999999999996">
+
+assertor = usage-node | definition-node
+
+general-relationship =| assert-edge
+
+compartment =|
+      constraints-compartment
+    | assert-constraints-compartment
+
+constraints-compartment =
+      <img src="images/constraints-compartment.svg" width="408.0">
+      constraints-compartment-contents
+
+constraints-compartment-contents = (constraints-usage-compartment-element)* '…'?
+
+constraints-usage-compartment-element =
+      el-prefix? OccurrenceUsagePrefix ConstraintUsageDeclaration CalculationBody*
+
+assert-constraints-compartment =
+      <img src="images/assert-constraints-compartment.svg" width="408.0">
+      assert-constraints-compartment-contents
+
+assert-constraints-compartment-contents = (assert-constraints-compartment-element)* '…'?
+
+assert-constraints-compartment-element =
+      el-prefix? OccurrenceUsagePrefix ( 'not' )?
+      ( OwnedSubsetting FeatureSpecializationPart? | UsageDeclaration )
+      CalculationUsageParameterPart CalculationBody
+
+interconnection-element =|
+      constraint-ref
+    | constraint
+
+// Clause 8.2.3.21 Requirements Graphical Notation
+
+definition-node =|
+      requirement-def
+    | concern-def
+
+requirement-def =
+      <img src="images/requirement-def.svg" width="476.15999999999997">
+
+requirement-def-name-compartment =
+      '«' DefinitionPrefix 'requirement' 'def' '»'
+      definition-name-with-alias
+
+usage-node =
+      requirement
+    | satisfy-requirement-usage
+    | concern
+
+requirement =
+      <img src="images/requirement.svg" width="430.08000000000004">
+
+requirement-ref =
+      <img src="images/requirement-ref.svg" width="430.08000000000004">
+
+requirement-name-compartment =
+      '«' OccurrenceUsagePrefix 'requirement' '»'
+      usage-name-with-alias
+
+satisfy-requirement-usage =
+      <img src="images/satisfy-requirement-usage.svg" width="425.76">
+
+satisfy-requirement-name-compartment =
+       '«satisfy requirement»'
+       requirement-name-compartment
+
+concern-def =
+      <img src="images/concern-def.svg" width="318.239985">
+
+concern-def-name-compartment =
+      '«' DefinitionPrefix 'concern' 'def' '»'
+      definition-name-with-alias
+
+concern =
+      <img src="images/concern.svg" width="318.239985">
+
+concern-name-compartment =
+      '«' OccurrenceUsagePrefix 'concern' '»'
+      usage-name-with-alias
+
+compartment =|
+      constraints-compartment
+    | assert-constraints-compartment
+
+compartment =|
+      requirements-compartment
+    | require-constraints-compartment
+    | assume-constraints-compartment
+    | satisfy-requirements-compartment
+    | satisfies-compartment
+    | actors-compartment
+    | subject-compartment
+    | stakeholders-compartment
+    | frames-compartment
+
+requirements-compartment =
+      <img src="images/requirements-compartment.svg" width="408.0">
+      requirements-compartment-contents
+
+requirements-compartment-contents = (requirements-compartment-element)* '…'?
+
+requirements-compartment-element =
+    OccurrenceUsagePrefix ConstraintUsageDeclaration
+
+require-constraints-compartment =
+      <img src="images/require-constraints-compartment.svg" width="408.0">
+      require-constraints-compartment-contents
+
+require-constraints-compartment-contents = require-constraint-element* '…'?
+
+require-constraint-element =
+    el-prefix? requireMemberPrefix? RequirementConstraintUsage
+
+assume-constraints-compartment =
+      <img src="images/assume-constraints-compartment.svg" width="408.0">
+      assume-constraints-compartment-contents
+
+assume-constraints-compartment-contents = require-constraint-element* '…'?
+
+satisfy-requirements-compartment =
+      <img src="images/satisfy-requirements-compartment.svg" width="408.0">
+      satisfy-requirements-compartment-contents
+
+satisfy-requirements-compartment-contents = text-block
+
+satisfies-compartment =
+      <img src="images/satisfies-compartment.svg" width="408.0">
+      satisfies-compartment-contents
+
+satisfies-compartment-contents = UsageDeclaration* '…'?
+
+actors-compartment =
+      <img src="images/actors-compartment.svg" width="408.0">
+      actors-compartment-contents
+
+actors-compartment-contents = (actors-compartment-element)* '…'?
+
+actors-compartment-element = el-prefix? MemberPrefix usage-cp
+
+subject-compartment =
+      <img src="images/subject-compartment.svg" width="408.0">
+      subject-compartment-contents
+
+subject-compartment-contents = (subject-compartment-element)* '…'?
+
+subject-compartment-element = el-prefix? MemberPrefix usage-cp
+
+stakeholders-compartment =
+      <img src="images/stakeholders-compartment.svg" width="408.0">
+      stakeholders-compartment-contents
+
+stakeholders-compartment-contents = (stakeholders-compartment-element)* '…'?
+
+stakeholders-compartment-element = el-prefix? MemberPrefix usage-cp
+
+frames-compartment =
+      <img src="images/frames-compartment.svg" width="408.0">
+      frames-compartment-contents
+
+frames-compartment-contents = (frames-compartment-element)* '…'?
+
+frames-compartment-element = el-prefix* MemberPrefix? FramedConcernUsage
+
+concerns-compartment =
+      <img src="images/concerns-compartment.svg" width="408.0">
+      concerns-compartment-contents
+
+interconnection-element =|
+      requirement-ref
+    | requirement
+    | concern
+    | distinguished-parameter
+    | distinguished-parameter-link
+    | concern-stakeholder-link
+
+general-relationship =| frame-relationship
+
+subject-actors-stakeholders-node =| requirement
+
+distinguished-parameter =
+      subject
+    | actor
+    | stakeholder
+
+subject =
+       <img src="images/subject.svg" width="178.07999999999998">
+
+actor =
+        <img src="images/actor-1.svg" width="94.0799955">
+    |
+       <img src="images/actor-2.svg" width="176.16">
+
+stakeholder =
+       <img src="images/stakeholder.svg" width="178.07999999999998">
+
+subject-name = UsageDeclaration
+
+actor-name = UsageDeclaration
+
+stakeholder-name = UsageDeclaration
+
+distinguished-parameter-link =
+      <img src="images/distinguished-parameter-link.svg" width="666.24">
+
+frame-relationship =
+      <img src="images/frame-relationship.svg" width="507.84000000000003">
+
+concern-stakeholder-link =
+      <img src="images/concern-stakeholder-link.svg" width="372.0">
+
+satisfy-edge =
+  <img src="images/satisfy-edge.svg" width="505.91999999999996">
+
+satisfier = usage-node | definition-node
+
+general-relationship =| satisfy-edge
+
+require-edge =
+  <img src="images/require-edge.svg" width="505.91999999999996">
+
+requirer = usage-node | definition-node
+
+general-relationship =| require-edge
+
+require-constraint-node =
+   <img src="images/require-constraint-node.svg" width="384.0">
+
+require-constraint-name-compartment =
+      '«' OccurrenceUsagePrefix 'require' 'constraint' '»'
+      usage-name-with-alias
+
+usage-node =| require-constraint-node
+
+frame-concern-node =
+    <img src="images/frame-concern-node.svg" width="384.0">
+
+frame-concern-name-compartment =
+      '«' OccurrenceUsagePrefix 'frame' 'concern' '»'
+      usage-name-with-alias
+
+usage-node =| frame-concern-node
+
+frame-edge =
+  <img src="images/frame-edge.svg" width="452.15999999999997">
+
+framer = requirement | requirement-def | viewpoint | viewpoint-def
+
+general-relationship =| frame-edge
+
+// Clause 8.2.3.22 Cases Graphical Notation
+
+compartment =| objective-compartment
+
+objective-compartment =
+      <img src="images/objective-compartment.svg" width="408.0">
+      objective-compartment-contents
+
+objective-compartment-contents = (objective-compartment-element)* '…'?
+
+objective-compartment-element =
+      comp-prefix? MemberPrefix ConstraintUsageDeclaration RequirementBody
+
+// Clause 8.2.3.23 Analysis Cases Graphical Notation
+
+definition-node =| analysis-def
+
+analysis-def =
+      <img src="images/analysis-def.svg" width="476.15999999999997">
+
+analysis-def-name-compartment =
+      '«' DefinitionPrefix 'analysis' 'def' '»'
+      definition-name-with-alias
+
+usage-node =| analysis
+
+analysis =
+      <img src="images/analysis.svg" width="430.08000000000004">
+
+analysis-name-compartment =
+      '«' OccurrenceUsagePrefix 'analysis' '»'
+      usage-name-with-alias
+
+compartment =| analyses-compartment
+
+analyses-compartment =
+      <img src="images/analyses-compartment.svg" width="408.0">
+      analyses-compartment-contents
+
+analyses-compartment-contents = analyses-compartment-element* '…'?
+
+analyses-compartment-element =
+      el-prefix? OccurrenceUsagePrefix ConstraintUsageDeclaration CaseBody
+
+action-flow-element =|
+      analysis-def
+    | analysis
+
+subject-actors-stakeholders-node =| analysis  | analysis-def
+
+// Clause 8.2.3.24 Verification Cases Graphical Notation
+
+definition-node =| verification-def
+
+verification-def =
+      <img src="images/verification-def.svg" width="476.15999999999997">
+
+verification-def-name-compartment =
+      '«' DefinitionPrefix 'verification' 'def' '»'
+      definition-name-with-alias
+
+usage-node =| verification
+
+verification =
+      <img src="images/verification.svg" width="430.08000000000004">
+
+verification-name-compartment =
+      '«' OccurrenceUsagePrefix 'verification' '»'
+      usage-name-with-alias
+
+verify-requirement-node =
+  <img src="images/verify-requirement-node.svg" width="384.0">
+
+verify-requirement-name-compartment =
+      '«' OccurrenceUsagePrefix 'verify' 'requirement' '»'
+      usage-name-with-alias
+
+usage-node =| verify-requirement-node
+
+compartment =|
+      verifications-compartment
+    | verifies-compartment
+    | verification-methods-compartment
+
+verifications-compartment =
+      <img src="images/verifications-compartment.svg" width="408.0">
+      verifications-compartment-contents
+
+verifications-compartment-contents = (verifications-compartment-element)* '…'?
+
+verifications-compartment-element =
+    el-prefix? OccurrenceUsagePrefix ConstraintUsageDeclaration CaseBody '…'
+
+verifies-compartment =
+      <img src="images/verifies-compartment.svg" width="408.0">
+      verifies-compartment-contents
+
+verifies-compartment-contents = (verifies-compartment-element)* '…'?
+
+verifies-compartment-element = el-prefix? MemberPrefix RequirementVerificationUsage '…'
+
+verification-methods-compartment =
+      <img src="images/verification-methods-compartment.svg" width="408.0">
+      verification-methods-compartment-contents
+
+verification-methods-compartment-contents = (verification-methods-compartment-element)* '…'?
+
+verification-methods-compartment-element = MetadataBody
+
+action-flow-element =|
+      verification-def
+    | verification
+
+general-relationship =| verify-relationship
+
+verify-relationship =
+      <img src="images/verify-relationship.svg" width="522.24">
+
+subject-actors-stakeholders-node =| verification | verification-def
+
+// Clause 8.2.3.25 Use Cases Graphical Notation
+
+definition-node =| use-case-def
+
+use-case-def =
+      <img src="images/use-case-def.svg" width="476.15999999999997">
+
+use-case-def-name-compartment =
+      '«' DefinitionPrefix 'use' 'case' 'def' '»'
+      definition-name-with-alias
+
+usage-node =|
+      use-case
+    | include-use-case-usage
+
+use-case =
+      <img src="images/use-case.svg" width="430.08000000000004">
+
+use-case-name-compartment =
+      '«' OccurrenceUsagePrefix 'use' 'case' '»'
+      usage-name-with-alias
+
+include-use-case-usage =
+      <img src="images/include-use-case-usage.svg" width="394.08000000000004">
+
+include-use-case-name-compartment =
+       '«include use case»'
+       requirement-name-compartment
+
+compartment =|
+      use-cases-compartment
+    | include-actions-compartment
+    | includes-compartment
+
+use-cases-compartment =
+      <img src="images/use-cases-compartment.svg" width="408.0">
+      use-cases-compartment-contents
+
+use-cases-compartment-contents = use-cases-compartment-element* '…'?
+
+use-cases-compartment-element = el-prefix? OccurrenceUsagePrefix ConstraintUsageDeclaration
+
+include-use-cases-compartment =
+      <img src="images/include-use-cases-compartment.svg" width="408.0">
+      include-use-cases-compartment-contents
+
+include-use-cases-compartment-contents = (include-use-cases-compartment-element)* '…'?
+
+include-use-cases-compartment-element =
+      el-prefix? OccurrenceUsagePrefix
+      ( OwnedSubsetting FeatureSpecializationPart? | UsageDeclaration )
+      ( ValuePart | ActionUsageParameterList )? CaseBody
+
+includes-compartment =
+      <img src="images/includes-compartment.svg" width="408.0">
+      includes-compartment-contents
+
+includes-compartment-contents = (includes-compartment-element)* '…'?
+
+includes-compartment-element =
+    el-prefix? OccurrenceUsagePrefix
+    ( OwnedSubsetting FeatureSpecializationPart? | UsageDeclaration )
+
+action-flow-element =|
+       use-case-def
+     | use-case
+
+general-relationship =| include-use-case-relationship
+
+include-use-case-relationship =
+      <img src="images/include-use-case-relationship.svg" width="449.76">
+
+subject-actors-stakeholders-node =| use-case | use-case-def
+
+// Clause 8.2.3.26 Views and Viewpoints Graphical Notation
+
+root-view =
+	framed-view
+
+definition-node =|
+      viewpoint-def
+    | view-def
+
+viewpoint-def =
+      <img src="images/viewpoint-def.svg" width="318.239985">
+
+viewpoint-def-name-compartment =
+      '«' DefinitionPrefix 'viewpoint' 'def' '»'
+      definition-name-with-alias
+
+view-def =
+      <img src="images/view-def.svg" width="318.239985">
+
+view-def-name-compartment =
+      '«' DefinitionPrefix 'view' 'def' '»'
+      definition-name-with-alias
+
+usage-node =|
+      viewpoint
+    | view
+    | framed-view
+
+viewpoint =
+      <img src="images/viewpoint.svg" width="318.239985">
+
+viewpoint-name-compartment =
+      '«' OccurrenceUsagePrefix 'viewpoint' '»'
+      usage-name-with-alias
+
+view =
+      <img src="images/view.svg" width="318.239985">
+
+view-name-compartment =
+      '«' OccurrenceUsagePrefix 'view' '»'
+      usage-name-with-alias
+
+compartment =|
+      views-compartment
+    | viewpoints-compartment
+    | exposes-compartment
+    | filters-compartment
+    | rendering-compartment
+
+views-compartment =
+      <img src="images/views-compartment.svg" width="408.0">
+      views-compartment-contents
+
+views-compartment-contents = (views-compartment-element)* '…'
+
+views-compartment-element =
+      el-prefix? OccurrenceUsagePrefix UsageDeclaration? ValueOrFlowPart? ViewBody
+
+viewpoints-compartment =
+      <img src="images/viewpoints-compartment.svg" width="408.0">
+      viewpoints-compartment-contents
+
+viewpoints-compartment-contents = (viewpoints-compartment-element)* '…'?
+
+viewpoints-compartment-element =
+    el-prefix? OccurrenceUsagePrefix ConstraintUsageDeclaration RequirementBody
+
+exposes-compartment =
+      <img src="images/exposes-compartment.svg" width="408.0">
+      exposes-compartment-contents
+
+exposes-compartment-contents = exposes-compartment-element* '…'?
+
+exposes-compartment-element = MembershipExpose | NamespaceExpose
+
+filters-compartment =
+      <img src="images/filters-compartment.svg" width="408.0">
+      filters-compartment-contents
+
+filters-compartment-contents = (filters-compartment-element)* '…'?
+
+filters-compartment-element = el-prefix? MemberPrefix OwnedExpression
+
+rendering-compartment =
+      <img src="images/rendering-compartment.svg" width="408.0">
+      rendering-compartment-contents
+
+rendering-compartment-contents = usage-cp* '…'?
+
+interconnection-element =|
+      viewpoint-def
+    | viewpoint
+    | view-def
+    | view
+
+framed-view =
+   <img src="images/framed-view.svg" width="608.16">
+
+frameless-view =
+      general-view
+    | interconnection-view
+    | action-flow-view
+    | state-transition-view
+    | sequence-view
+
+view-frame-name-compartment = '«view»' QualifiedName (':' QualifiedName)?
+
+view-frame-info-contents = Expose? ElementFilterMember? AnnotatingElement*
+
+view-frame-info-compartment-tr =
+      <img src="images/view-frame-info-compartment-tr.svg" width="318.239985">
+
+view-frame-info-compartment-bl =
+      <img src="images/view-frame-info-compartment-bl.svg" width="318.239985">
+
+view-frame-info-compartment-br =
+      <img src="images/view-frame-info-compartment-br.svg" width="318.239985">
+
+general-relationship =| expose-relationship
+
+expose-relationship =
+     expose-r | toplevel-expose-r | recursive-expose-r
+
+expose-r =
+      <img src="images/expose-r.svg">
+
+toplevel-expose-r =
+      <img src="images/toplevel-expose-r.svg" width="378.24">
+
+recursive-expose-r =
+      <img src="images/recursive-expose-r.svg" width="378.24">
+
+// Note. The view frame info compartments are optional elements. The AnnotatingElement* enables adding any relevant supporting information related to a view, possibly using a configurable rendering.
+
+// Note. A model library in Section 9.2.18 defines standard graphical view definitions for SysML. These may be supplemented by further, customized view definitions specific to a model.
+
+// Clause 8.2.3.27 Metadata Graphical Notation
+
+annotation-node =| metadata-feature-annotation-node
+
+metadata-feature-annotation-node =
+    <img src="images/metadata-feature-annotation-node.svg" width="325.91997">
+
+metadata-feature-decl = Identification
+
+metadata-feature-name-value-list =
+    ( metadata-feature-name '=' expression-text )*
+
+metadata-feature-name = Identification
+
+expression-text = text-block
+
+metadata-def =
+    <img src="images/metadata-def.svg" width="318.239985">
+
+metadata-def-name-compartment =
+    '«' BasicUsagePrefix? keyword* 'metadata' 'def' '»'
+    definition-name-with-alias
+
+// End of BNF
+
+
+
+// Consolidated partial productions:
+
+// action-flow-element =
+//     action | action-flow-node | action-flow-relationship | action-ref | analysis | analysis-def | calc | calc-def
+//     | use-case | use-case-def | verification | verification-def
+
+// annotation-node =
+//     metadata-feature-annotation-node
+
+// compartment =
+//     action-flow-compartment | actions-compartment | actors-compartment | allocations-compartment | analyses-compartment
+//     | assert-constraints-compartment | assert-constraints-compartment | assume-constraints-compartment
+//     | attributes-compartment | calcs-compartment | connections-compartment | constraints-compartment
+//     | constraints-compartment | directed-features-compartment | ends-compartment | enums-compartment
+//     | exhibit-states-compartment | exposes-compartment | features-compartment | filters-compartment | flows-compartment
+//     | frames-compartment | general-compartment | include-actions-compartment | includes-compartment
+//     | individuals-compartment | interconnection-compartment | interfaces-compartment | items-compartment
+//     | objective-compartment | occurrences-compartment | package-compartment | parameters-compartment | parts-compartment
+//     | perform-actions-compartment | ports-compartment | rendering-compartment | require-constraints-compartment
+//     | requirements-compartment | result-compartment | satisfies-compartment | satisfy-requirements-compartment
+//     | sequence-compartment | snapshots-compartment | stakeholders-compartment | state-actions-compartment
+//     | state-transition-compartment | states-compartment | subject-compartment | successions-compartment
+//     | timeslices-compartment | use-cases-compartment | variant-elementusages-compartment | variants-compartment
+//     | verification-methods-compartment | verifications-compartment | verifies-compartment | viewpoints-compartment
+//     | views-compartment
+
+// connection-relationship =
+//     flow | flow-on-connection | interface-connection | message-connection | succession-flow
+
+// definition-node =
+//     action-def | allocation-def | analysis-def | attribute-def | calc-def | concern-def | connection-def
+//     | constraint-def | enumeration-def | event-occurrence-def | extended-def | flow-def | interface-def | item-def
+//     | n-ary-def-connection-dot | occurrence-def | part-def | port-def | requirement-def | state-def | use-case-def
+//     | verification-def | view-def | viewpoint-def
+
+// dependencies-and-annotations-element =
+//     annotation-link | annotation-node | dependencies-element
+
+// dependencies-element =
+//     binary-dependency | n-ary-dependency
+
+// general-node =
+//     definition-node | namespace-node | type-node | usage-node
+
+// general-relationship =
+//     allocate-relationship | assert-edge | assume-edge | connection-def-graphical | exhibit-edge | expose-relationship
+//     | frame-edge | frame-relationship | import | include-use-case-relationship | n-ary-def-segment | owned-membership
+//     | portion-relationship | recursive-import | require-edge | satisfy-edge | top-level-import | type-relationship
+//     | unowned-membership | verify-relationship
+
+// general-view =
+//     interconnection-view
+
+// interconnection-element =
+//     attribute | concern | concern-stakeholder-link | connection | connection-def | connection-relationship | constraint
+//     | constraint-ref | distinguished-parameter | distinguished-parameter-link | flow | flow-def | interface | item
+//     | item-ref | part | part-ref | port-def | port-usage | requirement | requirement-ref | view | view-def | viewpoint
+//     | viewpoint-def
+
+// interconnection-view =
+//     dependencies-and-annotations-element | ellipsis-at-lower-left-corner | interconnection-element
+
+// namespace-node =
+//     package-node | type-node
+
+// subject-actors-stakeholders-node =
+//     analysis | analysis-def | requirement | use-case | use-case-def | verification | verification-def
+
+// usage-edge =
+//     allocate-relationship | binding-connection | connection-graphical | exhibit-edge | flow | message | perform-edge
+//     | st-succession | succession | succession-flow | transition
+
+// usage-node =
+//     action | allocation | analysis | assert-constraint-node | assume-constraint-node | attribute | calc | connection
+//     | enumeration | event-occurrence | exhibit-state-usage | extended-usage | flow-node | frame-concern-node | framed-view
+//     | include-use-case-usage | interface | item | n-ary-connection-dot | occurrence | occurrence-ref | part
+//     | perform-action-usage | port-usage | require-constraint-node | state | timeslice-or-snapshot-node | use-case
+//     | verification | verify-requirement-node | view | viewpoint
+