element: {candidate_prod}")
+ current_note_ref = NoteRef(clause_id, lines=[line])
+ self.elements.append(current_note_ref)
+ else:
+ if line.find("=|") >= 0:
+ # Process partial graphical BNF productions
+ is_partial = True
+ lhs, rhs = line.split("=|", 1)
+ production_name = lhs.strip()
+ abstract_type = ""
+ if not production_name in self.partial_productions:
+ self.partial_productions[production_name] = []
+ for term in [x.strip() for x in rhs.split("|")]:
+ if term:
+ self.partial_productions[production_name].append(term)
+ else:
+ # Process other BNF productions
+ is_partial = False
+ lhs1 = line.split("=")[0].strip()
+ lhs2 = lhs1.split(":", 1)
+ production_name = lhs2[0].strip()
+ if len(lhs2) == 2:
+ abstract_type = lhs2[1].strip()
+ elif is_pascal_case(production_name):
+ abstract_type = production_name
+ else:
+ abstract_type = ""
+ if production_name in self.grammars[-1].production_names:
+ LOGGER.error(f"Non-unique production name: {production_name} in {self.grammars[-1].production_names}")
+ else:
+ self.grammars[-1].production_names.add(production_name)
+
+ current_production = Production(clause_id, [line], production_name, abstract_type, is_partial)
+ self.elements.append(current_production)
+
+ if line[0] in (" ", "\t"):
+ LOGGER.error(f"Production start line starts with a space or tab: {line}")
+ line = line.strip()
+ ONE_EQUALS_PATTERN = re.compile(r"( = | =$)")
+ if not ONE_EQUALS_PATTERN.search(line):
+ LOGGER.warning(f"Production start line does not contain exactly one '=': {line}")
+ elif current_note_ref:
+ current_note_ref.lines.append(line)
+ elif " tag={tag}")
+ if tag.string == "Notes":
+ contains_notes_section = True
+ elif (tag.contents and tag.contents[0].name == "strong"
+ and tag.contents[0].string and tag.contents[0].string.strip() in ("Note.", "Note:")):
+ # Note in graphical BNF
+ text_content = clean_text_content(" ".join(tag.stripped_strings), True)
+ self.elements.append(NoteRef(clause_id, lines=[text_content]))
+
+
+ elif tag.name == "ol" and inside_bnf_clause and contains_pre_tag and tag.parent.name != "li":
+ LOGGER.debug(f"note tag={tag}")
+ list_item_count = 0
+ note_list = NoteList(clause_id, [], [])
+
+ # Update the contents of
within the HTML tree
+ self.cleanup_note_html(tag)
+
+ # Store cleaned version of HTML note list
+ note_list.html_snippet = remove_ws_surrounding_list_elements(normalize_whitespace(clean_text_content(str(tag))))
+ self.elements.append(note_list)
+
+ contains_note_reference = False
+ contains_notes_section = False
+
+ # End main visit tag loop
+
+ self.elements.append(Comment(clause_id="", lines=[line_comment("End of BNF")]))
+
+ if self.syntax_kind == "textual-bnf":
+ self.report_checks()
+
+ self.input_path_previous = self.input_path
+
+ # End def extract_bnf()
+
+ def parse_marked_up_bnf(self, input_dir: str, output_dir: str, input_file: str, syntax_kind: str, bnf_clause_id: str):
+ """
+ process a (corrected) marked_up BNF grammar file, verify the grammar and generate plain text and hyperlinked HTML output
+
+ This method produces the following outputs:
+ - a plain text file containing a machine-readable version of each BNF grammar,
+ with extension .kebnf for a textual EBNF source and extension .kgbnf for a graphical EBNF source;
+ - an HTML file containing a human-readable version of each BNF grammar, in which all references to terms are hyperlinked to their declaration;
+ - a log file containing diagnostic information (DEBUG, INFO, WARNING, ERROR messages) about the processed grammars.
+ """
+ self.input_dir = input_dir
+ self.output_dir = output_dir
+ self.input_path = os.path.join(self.input_dir, input_file)
+
+ if syntax_kind == "textual-bnf":
+ self.syntax_kind = syntax_kind
+ if input_file.endswith("-marked_up.kebnf"):
+ self.bnf_path = input_file.replace("-marked_up.kebnf", "")
+ self.parser = Lark.open("kebnf_textual_grammar.lark", rel_to=__file__, parser="lalr")
+ else:
+ LOGGER.critical(f"Unsupported input file for process_marked_up_bnf: filename must end with -marked-up.kebnf, terminating ...\n")
+ sys.exit(1)
+ elif syntax_kind == "graphical-bnf":
+ self.syntax_kind = syntax_kind
+ self.bnf_path = input_file.replace("-spec.html", "-graphical-bnf")
+ if input_file.endswith("-marked_up.kgbnf"):
+ self.bnf_path = input_file.replace("-marked_up.kgbnf", "")
+ self.parser = Lark.open("kgbnf_graphical_grammar.lark", rel_to=__file__, parser="lalr")
+ else:
+ LOGGER.critical(f"Unsupported input file for process_marked_up_bnf: filename must end with -marked-up.kgbnf, terminating ...\n")
+ sys.exit(1)
+ elif syntax_kind == "kerml-library":
+ raise NotImplementedError
+ elif syntax_kind == "sysml-library":
+ raise NotImplementedError
+ else:
+ LOGGER.critical(f"Unsupported BNF mode: {syntax_kind}, terminating ...\n")
+ sys.exit(1)
+
+ self.bnf_clause_id = bnf_clause_id
+ self.spec_title = ""
+ self.elements = []
+ self.grammars.append(Grammar(self.bnf_path, set()))
+ self.reserved_keyword_set = set()
+ self.extracted_keyword_set = set()
+ self.reserved_symbol_set = set()
+ self.extracted_symbol_set = set()
+ self.partial_productions = dict()
+ self.image_map = dict()
+ self.unresolved_non_terminals_dict: dict[str, list[str]] = dict()
+
+ LOGGER.info(20 * "=")
+ LOGGER.info(f"Processing BNF from {self.input_path} syntax-kind={syntax_kind} clause={self.bnf_clause_id} at {self.start_timestamp}")
+ LOGGER.info(20 * "=")
+
+ self.elements.append(Info("", [], source=self.input_path.replace("\\", "/"), timestamp=self.start_timestamp))
+
+ candidate_productions = []
+ marked_up_file = open(self.input_path, mode="r", encoding="utf-8")
+
+ for candidate_production in marked_up_file.read().split("\n\n"):
+ candidate_productions.append(candidate_production)
+
+ inside_bnf_clause = False
+ contains_note_reference = False
+ contains_notes_section = False
+ contains_pre_tag = False
+ count = 0
+ clause_id = ""
+ clause_title = ""
+
+
+ # Walk through all candidate productions (including comments) and build internal model
+ for candidate_production in candidate_productions:
+ is_partial = False
+ if candidate_production.startswith(LINE_COMMENT_MARKER):
+ # process comment
+ comment_clause_pattern = re.compile(r"^(// )(Clause|Part) ([0-9.]+) (.+)")
+ clause_match = comment_clause_pattern.match(candidate_production)
+ if clause_match:
+ if clause_match.group(2) == "Clause":
+ clause_id = clause_match.group(3)
+ else:
+ clause_id = ""
+ clause_title = clause_match.group(4)
+ LOGGER.info(f"Processing clause id={clause_id} title={clause_title}")
+ self.elements.append(Heading(clause_id=clause_id, lines=[candidate_production[3:]]))
+ elif candidate_production.startswith("// Notes:"):
+ html_snippet_lines = candidate_production.split("\n")
+ html_snippet_lines.pop(0)
+ html_snippet = "".join([x[3:] for x in html_snippet_lines])
+ html_snippet = html_snippet.replace("\n", "")
+ self.elements.append(NoteList(clause_id=clause_id, lines=[], html_snippet=html_snippet))
+ else:
+ self.elements.append(Comment(clause_id=clause_id, lines=candidate_production.split("\n")))
+ else:
+ # This should be a proper BNF production - check with Lark parser
+ is_parse_successful = True
+ production_name = ""
+ abstract_syntax_type = ""
+ try:
+ parse_tree = self.parser.parse(candidate_production + "\n")
+ first_token = parse_tree.children[0].children[0]
+ if first_token.type in ("NONTERMINAL_NAME", "LEXICAL_NAME", "GRAPHICAL_NAME"):
+ production_name = first_token.value
+ for token in parse_tree.find_data("abstract_element"):
+ if token.children[0].type == "NONTERMINAL_NAME":
+ abstract_syntax_type = token.children[0].value
+ if abstract_syntax_type == "" and first_token.type == "NONTERMINAL_NAME":
+ abstract_syntax_type = production_name
+
+ if self.syntax_kind == "graphical-bnf" and candidate_production.find("=|") >= 0:
+ is_partial = True
+ # LOGGER.info(f"PARTIAL PROD: {parse_tree.pretty(indent_str=' ')}")
+ if not production_name in self.partial_productions:
+ self.partial_productions[production_name] = []
+ # partial_terms = []
+ for count, token in enumerate(parse_tree.find_token("GRAPHICAL_NAME")):
+ if count > 0:
+ # partial_terms.append(token.value)
+ self.partial_productions[production_name].append(token.value)
+ # LOGGER.info(f"Partial terms: {', '.join(partial_terms)}")
+
+ except UnexpectedInput as e:
+ is_parse_successful = False
+ LOGGER.error(f"Parse error in {self.input_path} {clause_id} in production:\n{candidate_production}\n{e}")
+ else:
+ LOGGER.debug(f"Parsed successfully {clause_id}:\n{candidate_production}\n{parse_tree.pretty()}")
+
+ if not is_parse_successful and production_name == "":
+ # Recover production name in case parse fails
+ production_name = candidate_production.split(" ", 1)[0].strip()
+
+ if production_name in self.grammars[-1].production_names and not is_partial:
+ LOGGER.error(f"Non-unique production name: {production_name} in {self.grammars[-1].production_names}")
+ else:
+ self.grammars[-1].production_names.add(production_name)
+ self.elements.append(Production(clause_id=clause_id, lines=candidate_production.split("\n"), name=production_name, abstract_syntax_type=abstract_syntax_type, is_partial=is_partial))
+
+ LOGGER.info(f"Completed parsing {self.input_path}")
+
+
+ def rewrite_img_element(self, current_production: Production, img_count: int, img_index: int, line: str) -> (str, int):
+ # Rewrite the
element
+ # Set the src attribute to an .svg file with the same name as the production
+ # Add a width attribute to scale the image properly in HTML
+ img_postfix = ""
+ if img_count > 1:
+ img_index += 1
+ img_postfix = f"-{img_index}"
+ svg_file_path = f"{IMAGES_DIR}/{current_production.name}{img_postfix}.svg"
+ # Check whether the target SVG file exists, if so compute and update its width scale
+ width_value: float = -1.0
+ full_svg_file_path = os.path.join(self.output_dir, svg_file_path)
+ if os.path.exists(full_svg_file_path):
+ with open(full_svg_file_path, "r") as svg_file:
+ svg_soup = BeautifulSoup(svg_file, "lxml-xml")
+ LOGGER.debug(f"Read {svg_file_path} into soup")
+ svg_tag = svg_soup.find("svg:svg")
+ if svg_tag:
+ LOGGER.debug(f"SVG tag: {svg_tag}")
+ width_attr = svg_tag.attrs.get("width")
+ if width_attr:
+ width_value = float(width_attr) * SVG_SCALING_FACTOR
+ else:
+ self.missing_svgs.append(svg_file_path)
+ SRC_ATTRIBUTE_PATTERN = re.compile(r'src="([^"]+)"')
+ original_img_url = SRC_ATTRIBUTE_PATTERN.search(line).group(1)
+ self.image_map[original_img_url] = svg_file_path
+ updated_line = SRC_ATTRIBUTE_PATTERN.sub(f'src="{svg_file_path}"', line)
+ if width_value > -1.0:
+ updated_line = updated_line.replace("\">", f"\" width=\"{width_value}\">", 1)
+ LOGGER.debug(f"new IMG line={updated_line}")
+ return updated_line, img_index
+
+ def cleanup_note_html(self, pe: PageElement) -> None:
+ """Recursively clean up the given HTML element tree"""
+ if isinstance(pe, Tag):
+ for child in pe.children:
+ # Recurse depth-first
+ self.cleanup_note_html(child)
+ if pe.name in ("ol", "ul", "li", "em", "strong", "code"):
+ # Do nothing
+ pass
+ elif pe.name == "mms-view-link":
+ # MMS VE cross-reference: remove any tags and extract cross-ref clause id only
+ xref_clause_id = "".join(pe.stripped_strings)
+ if xref_clause_id.startswith(self.bnf_clause_id):
+ # Subclause ref can be resolved within current BNF clause
+ new_tag = self.soup.new_tag("a")
+ new_tag["href"] = f"#c{xref_clause_id}"
+ new_tag.string = xref_clause_id
+ pe.replace_with(new_tag)
+ else:
+ new_string = self.soup.new_string(xref_clause_id)
+ pe.replace_with(new_string)
+ elif pe.name == "pre":
+ # Convert embedded pre to code
+ pe.name = "code"
+ else:
+ # Replace a tag with its contents
+ pe.unwrap()
+
+ @staticmethod
+ def tokenize(line: str) -> list[Token]:
+ """
+ Basic handwritten, relaxed, fault-tolerant KerML and SysML grammar tokenizer
+
+ Tokenizes one line at a time.
+ """
+ tokens: list[Token] = []
+ state: Optional[TokenKind] = None
+ token_text: str = ""
+ pos: int = 0
+ while pos < len(line):
+ ch = line[pos]
+ if state == TokenKind.IMAGE:
+ if ch == ">":
+ token_text += line[pos:pos + 1]
+ tokens.append(Token(TokenKind.IMAGE, token_text))
+ token_text = ""
+ state = None
+ pos += 1
+ else:
+ token_text += ch
+ elif line[pos:pos + 2] == "//":
+ if state is None:
+ tokens.append(Token(TokenKind.LINE_COMMENT, line[pos:]))
+ pos = len(line) - 1
+ else:
+ token_text += line[pos:pos + 2]
+ pos = pos + 1
+ elif line[pos:pos + 4] == "
{line_comment('Consolidated partial productions:')}
")
+ for name, term_list in sorted(self.partial_productions.items()):
+ html_term_list = [f'":
+ level += 1
+ if buffer and buffer[-1][-1] != "\n":
+ buffer.append("\n")
+ if level == 1:
+ stack.append(ListStackItem("ol", level, 0))
+ if mode == RenderMode.HTML:
+ buffer.append("
\n")
+ elif mode == RenderMode.TXT:
+ pass
+ else:
+ # Change level 2+ lists to ul, since it improves readability
+ stack.append(ListStackItem("ul", level, 0))
+ if mode == RenderMode.HTML:
+ buffer.append("
":
+ if mode == RenderMode.HTML:
+ buffer.append(f"\n")
+ elif mode == RenderMode.TXT:
+ pass
+ first_char_after_list_end = True
+ stack.pop()
+ level -= 1
+ pos += 5
+ elif html_snippet[pos:pos + 4] == "\n")
+ elif mode == RenderMode.TXT:
+ pass
+ pos += 4
+ elif html_snippet[pos:pos + 5] == "
":
+ level += 1
+ stack.append(ListStackItem("ul", level, 0))
+ if buffer and buffer[-1][-1] != "\n":
+ buffer.append("\n")
+ if mode == RenderMode.HTML:
+ buffer.append("
\n")
+ elif mode == RenderMode.TXT:
+ pass
+ pos += 4
+ elif html_snippet[pos:pos + 5] == "
":
+ if mode == RenderMode.HTML:
+ buffer.append(f"\n")
+ elif mode == RenderMode.TXT:
+ pass
+ first_char_after_list_end = True
+ stack.pop()
+ level -= 1
+ pos += 5
+ elif html_snippet[pos:pos + 4] == "
![](\"images/general-compartment.svg\")
",
+ " general-view"
+ ],
+ "name": "general-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.2",
+ "is_partial": false,
+ "lines": [
+ "general-view =",
+ " (general-element)*",
+ " (dependencies-and-annotations-element)*",
+ " (ellipsis-at-lower-left-corner)?"
+ ],
+ "name": "general-view"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.2",
+ "is_partial": false,
+ "lines": [
+ "ellipsis-at-lower-left-corner = '...'"
+ ],
+ "name": "ellipsis-at-lower-left-corner"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.2",
+ "is_partial": false,
+ "lines": [
+ "general-element =",
+ " general-node",
+ " | general-relationship"
+ ],
+ "name": "general-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.2",
+ "is_partial": false,
+ "lines": [
+ "element-node =",
+ " usage-node | definition-node | annotation-node | namespace-node"
+ ],
+ "name": "element-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.2",
+ "is_partial": false,
+ "lines": [
+ "element-inside-textual-compartment =",
+ " ![](\"images/element-inside-textual-compartment.svg\")
"
+ ],
+ "name": "element-inside-textual-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.2",
+ "is_partial": false,
+ "lines": [
+ "rel-name =",
+ " Identification",
+ " | QualifiedName"
+ ],
+ "name": "rel-name"
+ },
+ {
+ "@type": "Comment",
+ "clause_id": "8.2.3.2",
+ "lines": [
+ "// 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."
+ ]
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.3",
+ "lines": [
+ "Clause 8.2.3.3 Dependencies Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.3",
+ "is_partial": true,
+ "lines": [
+ "dependencies-and-annotations-element =| dependencies-element"
+ ],
+ "name": "dependencies-and-annotations-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.3",
+ "is_partial": true,
+ "lines": [
+ "dependencies-element =|",
+ " binary-dependency",
+ " | n-ary-dependency"
+ ],
+ "name": "dependencies-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.3",
+ "is_partial": false,
+ "lines": [
+ "binary-dependency =",
+ " ![](\"images/binary-dependency.svg\")
"
+ ],
+ "name": "binary-dependency"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.3",
+ "is_partial": false,
+ "lines": [
+ "n-ary-dependency =",
+ " &n-ary-association-dot (n-ary-dependency-client-or-supplier-link &element-node)+"
+ ],
+ "name": "n-ary-dependency"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.3",
+ "is_partial": false,
+ "lines": [
+ "n-ary-dependency-client-or-supplier-link =",
+ " n-ary-dependency-client-link",
+ " | n-ary-dependency-supplier-link"
+ ],
+ "name": "n-ary-dependency-client-or-supplier-link"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.3",
+ "is_partial": false,
+ "lines": [
+ "n-ary-association-dot =",
+ " ![](\"images/n-ary-association-dot.svg\")
"
+ ],
+ "name": "n-ary-association-dot"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.3",
+ "is_partial": false,
+ "lines": [
+ "n-ary-dependency-client-link =",
+ " ![](\"images/n-ary-dependency-client-link.svg\")
"
+ ],
+ "name": "n-ary-dependency-client-link"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.3",
+ "is_partial": false,
+ "lines": [
+ "n-ary-dependency-supplier-link =",
+ " ![](\"images/n-ary-dependency-supplier-link.svg\")
"
+ ],
+ "name": "n-ary-dependency-supplier-link"
+ },
+ {
+ "@type": "Comment",
+ "clause_id": "8.2.3.3",
+ "lines": [
+ "// Note. An n-ary dependency must have two or more client elements or two or more supplier elements."
+ ]
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.4",
+ "lines": [
+ "Clause 8.2.3.4 Annotations Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.4",
+ "is_partial": true,
+ "lines": [
+ "dependencies-and-annotations-element =|",
+ " annotation-node",
+ " | annotation-link"
+ ],
+ "name": "dependencies-and-annotations-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.4",
+ "is_partial": false,
+ "lines": [
+ "annotation-node =",
+ " comment-node",
+ " | documentation-node",
+ " | textual-representation-node"
+ ],
+ "name": "annotation-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.4",
+ "is_partial": false,
+ "lines": [
+ "text-block = (LINE_TEXT)*"
+ ],
+ "name": "text-block"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.4",
+ "is_partial": false,
+ "lines": [
+ "comment-node =",
+ " comment-without-keyword",
+ " | comment-with-keyword"
+ ],
+ "name": "comment-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.4",
+ "is_partial": false,
+ "lines": [
+ "comment-without-keyword =",
+ " ![](\"images/comment-without-keyword.svg\")
"
+ ],
+ "name": "comment-without-keyword"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.4",
+ "is_partial": false,
+ "lines": [
+ "comment-with-keyword =",
+ " ![](\"images/comment-with-keyword.svg\")
"
+ ],
+ "name": "comment-with-keyword"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.4",
+ "is_partial": false,
+ "lines": [
+ "documentation-node =",
+ " ![](\"images/documentation-node.svg\")
"
+ ],
+ "name": "documentation-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.4",
+ "is_partial": false,
+ "lines": [
+ "documentation-compartment =",
+ " ![](\"images/documentation-compartment.svg\")
",
+ " Identification",
+ " text-block"
+ ],
+ "name": "documentation-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.4",
+ "is_partial": false,
+ "lines": [
+ "textual-representation-node =",
+ " ![](\"images/textual-representation-node.svg\")
"
+ ],
+ "name": "textual-representation-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.4",
+ "is_partial": false,
+ "lines": [
+ "language-string = 'language' '=' STRING_VALUE"
+ ],
+ "name": "language-string"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.4",
+ "is_partial": false,
+ "lines": [
+ "annotation-link =",
+ " ![](\"images/annotation-link.svg\")
"
+ ],
+ "name": "annotation-link"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.4",
+ "is_partial": false,
+ "lines": [
+ "annotated-element =",
+ " element",
+ " | element-inside-textual-compartment"
+ ],
+ "name": "annotated-element"
+ },
+ {
+ "@type": "Comment",
+ "clause_id": "8.2.3.4",
+ "lines": [
+ "// 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."
+ ]
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.5",
+ "lines": [
+ "Clause 8.2.3.5 Namespaces and Packages Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": true,
+ "lines": [
+ "general-node =| namespace-node"
+ ],
+ "name": "general-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": true,
+ "lines": [
+ "namespace-node =| package-node"
+ ],
+ "name": "namespace-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "package-node =",
+ " package-with-name-inside",
+ " | package-with-name-in-tab",
+ " | imported-package-with-name-inside",
+ " | imported-package-with-name-in-tab"
+ ],
+ "name": "package-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "package-with-name-inside =",
+ " ![](\"images/package-with-name-inside.svg\")
"
+ ],
+ "name": "package-with-name-inside"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "package-with-name-in-tab =",
+ " ![](\"images/package-with-name-in-tab.svg\")
"
+ ],
+ "name": "package-with-name-in-tab"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "imported-package-with-name-inside =",
+ " ![](\"images/imported-package-with-name-inside.svg\")
"
+ ],
+ "name": "imported-package-with-name-inside"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "imported-package-with-name-in-tab =",
+ " ![](\"images/imported-package-with-name-in-tab.svg\")
"
+ ],
+ "name": "imported-package-with-name-in-tab"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "package-compartment =",
+ " general-compartment",
+ " | documentation-compartment",
+ " | packages-compartment",
+ " | members-compartment",
+ " | relationships-compartment"
+ ],
+ "name": "package-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": true,
+ "lines": [
+ "compartment =| package-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "packages-compartment =",
+ " ![](\"images/packages-compartment.svg\")
",
+ " packages-compartment-contents"
+ ],
+ "name": "packages-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "packages-compartment-contents = packages-compartment-element* '…'?"
+ ],
+ "name": "packages-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "packages-compartment-element = el-prefix? Identification"
+ ],
+ "name": "packages-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "members-compartment =",
+ " ![](\"images/members-compartment.svg\")
",
+ " members-compartment-contents"
+ ],
+ "name": "members-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "members-compartment-contents = members-compartment-element* '…'?"
+ ],
+ "name": "members-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "members-compartment-element = el-prefix? (DefinitionElement | UsageElement)"
+ ],
+ "name": "members-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "relationships-compartment =",
+ " ![](\"images/relationships-compartment.svg\")
",
+ " relationships-compartment-contents"
+ ],
+ "name": "relationships-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "relationships-compartment-contents = (relationships-compartment-element)* '…'?"
+ ],
+ "name": "relationships-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "relationships-compartment-element = el-prefix? relationship-name QualifiedName"
+ ],
+ "name": "relationships-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "relationship-name =",
+ " 'defines' | 'defined by' | 'specializes' | 'specialized by' | 'connect to'",
+ " | 'subsets' | 'subsetted by' | 'performs' | 'performed by' | 'allocated' | 'allocated to'",
+ " | 'satisfy' | 'satisfied by'"
+ ],
+ "name": "relationship-name"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": true,
+ "lines": [
+ "general-relationship =|",
+ " import",
+ " | top-level-import",
+ " | recursive-import",
+ " | owned-membership",
+ " | unowned-membership"
+ ],
+ "name": "general-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "import =",
+ " ![](\"images/import.svg\")
"
+ ],
+ "name": "import"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "top-level-import =",
+ " ![](\"images/top-level-import.svg\")
"
+ ],
+ "name": "top-level-import"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "recursive-import =",
+ " ![](\"images/recursive-import.svg\")
"
+ ],
+ "name": "recursive-import"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "owned-membership =",
+ " ![](\"images/owned-membership.svg\")
"
+ ],
+ "name": "owned-membership"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.5",
+ "is_partial": false,
+ "lines": [
+ "unowned-membership =",
+ " ![](\"images/unowned-membership.svg\")
"
+ ],
+ "name": "unowned-membership"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.6",
+ "lines": [
+ "Clause 8.2.3.6 Definition and Usage Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": true,
+ "lines": [
+ "general-node =| type-node"
+ ],
+ "name": "general-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "type-node =",
+ " definition-node",
+ " | usage-node"
+ ],
+ "name": "type-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": true,
+ "lines": [
+ "general-node =| usage-node definition-node"
+ ],
+ "name": "general-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": true,
+ "lines": [
+ "namespace-node =| type-node"
+ ],
+ "name": "namespace-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "definition-name-with-alias =",
+ " DefinitionDeclaration",
+ " ( '«alias»' ( QualifiedName (',' QualifiedName)* ) )?"
+ ],
+ "name": "definition-name-with-alias"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "usage-name-with-alias =",
+ " '^'? UsageDeclaration",
+ " ( '«alias»' ( QualifiedName (',' QualifiedName)* ) )?"
+ ],
+ "name": "usage-name-with-alias"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "compartment-stack = (compartment)*"
+ ],
+ "name": "compartment-stack"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": true,
+ "lines": [
+ "compartment =|",
+ " features-compartment",
+ " | variants-compartment",
+ " | variant-elementusages-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "features-compartment =",
+ " ![](\"images/features-compartment.svg\")
",
+ " features-compartment-contents"
+ ],
+ "name": "features-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "features-compartment-contents = (features-compartment-element)* '…'?"
+ ],
+ "name": "features-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "features-compartment-element = el-prefix? UsagePrefix usage-cp"
+ ],
+ "name": "features-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "variants-compartment =",
+ " ![](\"images/variants-compartment.svg\")
",
+ " variants-compartment-contents"
+ ],
+ "name": "variants-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "variants-compartment-contents = members-compartment-contents"
+ ],
+ "name": "variants-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "variant-elementusages-compartment =",
+ " ![](\"images/variant-elementusages-compartment.svg\")
",
+ " variants-compartment-contents"
+ ],
+ "name": "variant-elementusages-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": true,
+ "lines": [
+ "general-relationship =|",
+ " type-relationship"
+ ],
+ "name": "general-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "type-relationship =",
+ " subclassification",
+ " | subsetting",
+ " | definition",
+ " | redefinition",
+ " | composite-feature-membership",
+ " | noncomposite-feature-membership"
+ ],
+ "name": "type-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "subclassification =",
+ " ![](\"images/subclassification.svg\")
"
+ ],
+ "name": "subclassification"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "definition =",
+ " ![](\"images/definition.svg\")
"
+ ],
+ "name": "definition"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "subsetting =",
+ " ![](\"images/subsetting.svg\")
"
+ ],
+ "name": "subsetting"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "reference-subsetting =",
+ " ![](\"images/reference-subsetting.svg\")
"
+ ],
+ "name": "reference-subsetting"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "redefinition =",
+ " ![](\"images/redefinition.svg\")
"
+ ],
+ "name": "redefinition"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "composite-feature-membership =",
+ " ![](\"images/composite-feature-membership.svg\")
"
+ ],
+ "name": "composite-feature-membership"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "noncomposite-feature-membership =",
+ " ![](\"images/noncomposite-feature-membership.svg\")
"
+ ],
+ "name": "noncomposite-feature-membership"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "el-prefix = '^' | '/'"
+ ],
+ "name": "el-prefix"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "usage-cp = usageDeclaration ValuePart?"
+ ],
+ "name": "usage-cp"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "extended-def =",
+ " ![](\"images/extended-def.svg\")
"
+ ],
+ "name": "extended-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "extended-def-name-compartment =",
+ " '«' BasicDefinitionPrefix? DefinitionExtensionKeyword+ 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "extended-def-name-compartment"
+ },
+ {
+ "@type": "Comment",
+ "clause_id": "8.2.3.6",
+ "lines": [
+ "// 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."
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| extended-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "extended-usage =",
+ " ![](\"images/extended-usage.svg\")
"
+ ],
+ "name": "extended-usage"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": false,
+ "lines": [
+ "extended-usage-name-compartment =",
+ " '«' BasicUsagePrefix? UsageExtensionKeyword+ '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "extended-usage-name-compartment"
+ },
+ {
+ "@type": "Comment",
+ "clause_id": "8.2.3.6",
+ "lines": [
+ "// 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."
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.6",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| extended-usage"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.7",
+ "lines": [
+ "Clause 8.2.3.7 Attributes Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.7",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| attribute-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.7",
+ "is_partial": false,
+ "lines": [
+ "attribute-def =",
+ " ![](\"images/attribute-def.svg\")
"
+ ],
+ "name": "attribute-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.7",
+ "is_partial": false,
+ "lines": [
+ "attribute-def-name-compartment =",
+ " '«' DefinitionPrefix 'attribute' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "attribute-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.7",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| attribute"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.7",
+ "is_partial": false,
+ "lines": [
+ "attribute =",
+ " ![](\"images/attribute.svg\")
"
+ ],
+ "name": "attribute"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.7",
+ "is_partial": false,
+ "lines": [
+ "attribute-name-compartment =",
+ " '«' UsagePrefix 'attribute' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "attribute-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.7",
+ "is_partial": true,
+ "lines": [
+ "compartment =| attributes-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.7",
+ "is_partial": false,
+ "lines": [
+ "attributes-compartment =",
+ " ![](\"images/attributes-compartment.svg\")
",
+ " attributes-compartment-contents"
+ ],
+ "name": "attributes-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.7",
+ "is_partial": false,
+ "lines": [
+ "attributes-compartment-contents = (attributes-compartment-element)* '…'?"
+ ],
+ "name": "attributes-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.7",
+ "is_partial": false,
+ "lines": [
+ "attributes-compartment-element = el-prefix? UsagePrefix usage-cp"
+ ],
+ "name": "attributes-compartment-element"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.8",
+ "lines": [
+ "Clause 8.2.3.8 Enumerations Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.8",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| enumeration-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.8",
+ "is_partial": false,
+ "lines": [
+ "enumeration-def =",
+ " ![](\"images/enumeration-def.svg\")
"
+ ],
+ "name": "enumeration-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.8",
+ "is_partial": false,
+ "lines": [
+ "enumeration-def-name-compartment =",
+ " '«' DefinitionPrefix 'enum' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "enumeration-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.8",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| enumeration"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.8",
+ "is_partial": false,
+ "lines": [
+ "enumeration =",
+ " ![](\"images/enumeration.svg\")
"
+ ],
+ "name": "enumeration"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.8",
+ "is_partial": false,
+ "lines": [
+ "enumeration-name-compartment =",
+ " '«' UsagePrefix 'enum' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "enumeration-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.8",
+ "is_partial": true,
+ "lines": [
+ "compartment =| enums-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.8",
+ "is_partial": false,
+ "lines": [
+ "enums-compartment =",
+ " ![](\"images/enums-compartment.svg\")
",
+ " enums-compartment-contents"
+ ],
+ "name": "enums-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.8",
+ "is_partial": false,
+ "lines": [
+ "enums-compartment-contents = (enums-compartment-element)* '…'?"
+ ],
+ "name": "enums-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.8",
+ "is_partial": false,
+ "lines": [
+ "enums-compartment-element = el-prefix? UsagePrefix usage-cp"
+ ],
+ "name": "enums-compartment-element"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.9",
+ "lines": [
+ "Clause 8.2.3.9 Occurrences Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| occurrence-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": true,
+ "lines": [
+ "general-relationship =| portion-relationship"
+ ],
+ "name": "general-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "occurrence-def =",
+ " ![](\"images/occurrence-def.svg\")
"
+ ],
+ "name": "occurrence-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "occurrence-def-name-compartment =",
+ " '«' DefinitionPrefix 'occurrence' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "occurrence-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": true,
+ "lines": [
+ "usage-node =|",
+ " occurrence",
+ " | occurrence-ref",
+ " | timeslice-or-snapshot-node"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "occurrence =",
+ " ![](\"images/occurrence.svg\")
"
+ ],
+ "name": "occurrence"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "occurrence-ref =",
+ " ![](\"images/occurrence-ref.svg\")
"
+ ],
+ "name": "occurrence-ref"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "occurrence-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'occurrence' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "occurrence-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "timeslice-or-snapshot-node =",
+ " timeslice",
+ " | snapshot"
+ ],
+ "name": "timeslice-or-snapshot-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "timeslice =",
+ " ![](\"images/timeslice.svg\")
"
+ ],
+ "name": "timeslice"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "timeslice-name-compartment =",
+ " '«timeslice»'",
+ " usage-name-with-alias"
+ ],
+ "name": "timeslice-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "snapshot =",
+ " ![](\"images/snapshot.svg\")
"
+ ],
+ "name": "snapshot"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "snapshots-name-compartment =",
+ " '«snapshot»'",
+ " usage-name-with-alias"
+ ],
+ "name": "snapshots-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "event-occurrence-def =",
+ " ![](\"images/event-occurrence-def.svg\")
"
+ ],
+ "name": "event-occurrence-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "event-occurrence-def-name-compartment =",
+ " '«' DefinitionPrefix 'event' 'occurrence' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "event-occurrence-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| event-occurrence-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "event-occurrence =",
+ " ![](\"images/event-occurrence.svg\")
"
+ ],
+ "name": "event-occurrence"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "event-occurrence-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'event' 'occurrence' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "event-occurrence-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| event-occurrence"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "event-edge =",
+ " ![](\"images/event-edge.svg\")
"
+ ],
+ "name": "event-edge"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "eventer = usage-node | definition-node"
+ ],
+ "name": "eventer"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "portion-relationship =",
+ " ![](\"images/portion-relationship.svg\")
"
+ ],
+ "name": "portion-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": true,
+ "lines": [
+ "compartment =|",
+ " occurrences-compartment",
+ " | individuals-compartment",
+ " | timeslices-compartment",
+ " | snapshots-compartment",
+ " | sequence-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "occurrences-compartment =",
+ " ![](\"images/occurrences-compartment.svg\")
",
+ " occurrences-compartment-contents"
+ ],
+ "name": "occurrences-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "occurrences-compartment-contents = (occurrences-compartment-element)* '…'?"
+ ],
+ "name": "occurrences-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "occurrences-compartment-element = el-prefix? OccurrenceUsagePrefix usage-cp"
+ ],
+ "name": "occurrences-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "individuals-compartment =",
+ " ![](\"images/individuals-compartment.svg\")
",
+ " individuals-compartment-contents"
+ ],
+ "name": "individuals-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "individuals-compartment-contents = (individuals-compartment-element)* '…'?"
+ ],
+ "name": "individuals-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "individuals-compartment-element = occurrences-compartment-element"
+ ],
+ "name": "individuals-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "timeslices-compartment =",
+ " ![](\"images/timeslices-compartment.svg\")
",
+ " timeslices-compartment-contents"
+ ],
+ "name": "timeslices-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "timeslices-compartment-contents = (timeslices-compartment-element)* '…'?"
+ ],
+ "name": "timeslices-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "timeslices-compartment-element = occurrences-compartment-element"
+ ],
+ "name": "timeslices-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "snapshots-compartment =",
+ " ![](\"images/snapshots-compartment.svg\")
",
+ " snapshots-compartment-contents"
+ ],
+ "name": "snapshots-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "snapshots-compartment-contents = (snapshots-compartment-element)* '…'?"
+ ],
+ "name": "snapshots-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "snapshots-compartment-element = occurrences-compartment-element"
+ ],
+ "name": "snapshots-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "sequence-compartment =",
+ " ![](\"images/sequence-compartment.svg\")
",
+ " sequence-view"
+ ],
+ "name": "sequence-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "sequence-view = (sq-graphical-element)*"
+ ],
+ "name": "sequence-view"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "sq-graphical-element =",
+ " sq-graphical-node",
+ " | sq-graphical-relationship",
+ " | dependencies-and-annotations-element"
+ ],
+ "name": "sq-graphical-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "sq-graphical-node = sq-head-node | lifeline"
+ ],
+ "name": "sq-graphical-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "sq-head-node = sq-part | sq-port"
+ ],
+ "name": "sq-head-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "sq-part =",
+ " ![](\"images/sq-part.svg\")
"
+ ],
+ "name": "sq-part"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "sq-port =",
+ " ![](\"images/sq-port.svg\")
"
+ ],
+ "name": "sq-port"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "sq-port-label = UsageDeclaration"
+ ],
+ "name": "sq-port-label"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "sq-l-node =",
+ " lifeline",
+ " | sq-proxy"
+ ],
+ "name": "sq-l-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "lifeline =",
+ " ![](\"images/lifeline.svg\")
"
+ ],
+ "name": "lifeline"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "sq-proxy =",
+ " ![](\"images/sq-proxy-1.svg\")
",
+ " |",
+ " ![](\"images/sq-proxy-2.svg\")
"
+ ],
+ "name": "sq-proxy"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "proxy-label = '.'? FeatureChainMember"
+ ],
+ "name": "proxy-label"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "sq-graphical-relationship = message | sq-succession"
+ ],
+ "name": "sq-graphical-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "succession-label = UsageDeclaration?"
+ ],
+ "name": "succession-label"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "sq-succession =",
+ " ![](\"images/sq-succession.svg\")
"
+ ],
+ "name": "sq-succession"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.9",
+ "is_partial": false,
+ "lines": [
+ "succession-label = Identification"
+ ],
+ "name": "succession-label"
+ },
+ {
+ "@type": "Comment",
+ "clause_id": "8.2.3.9",
+ "lines": [
+ "// Note: the proxy nodes attached to a succession must refer to an event"
+ ]
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.10",
+ "lines": [
+ "Clause 8.2.3.10 Items Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.10",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| item-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.10",
+ "is_partial": true,
+ "lines": [
+ "interconnection-element =| item| item-ref"
+ ],
+ "name": "interconnection-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.10",
+ "is_partial": false,
+ "lines": [
+ "item-def =",
+ " ![](\"images/item-def.svg\")
"
+ ],
+ "name": "item-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.10",
+ "is_partial": false,
+ "lines": [
+ "item-def-name-compartment =",
+ " '«' DefinitionPrefix 'item' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "item-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.10",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| item"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.10",
+ "is_partial": false,
+ "lines": [
+ "item =",
+ " ![](\"images/item.svg\")
"
+ ],
+ "name": "item"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.10",
+ "is_partial": false,
+ "lines": [
+ "item-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'item' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "item-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.10",
+ "is_partial": false,
+ "lines": [
+ "item-ref =",
+ " ![](\"images/item-ref.svg\")
"
+ ],
+ "name": "item-ref"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.10",
+ "is_partial": true,
+ "lines": [
+ "compartment =| items-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.10",
+ "is_partial": false,
+ "lines": [
+ "items-compartment =",
+ " ![](\"images/items-compartment.svg\")
",
+ " items-compartment-contents"
+ ],
+ "name": "items-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.10",
+ "is_partial": false,
+ "lines": [
+ "items-compartment-contents = (items-compartment-element)* '…'"
+ ],
+ "name": "items-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.10",
+ "is_partial": false,
+ "lines": [
+ "items-compartment-element = el-prefix? OccurrenceUsagePrefix usage-cp"
+ ],
+ "name": "items-compartment-element"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.11",
+ "lines": [
+ "Clause 8.2.3.11 Parts Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| part-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": true,
+ "lines": [
+ "interconnection-element =| part | part-ref"
+ ],
+ "name": "interconnection-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": false,
+ "lines": [
+ "part-def =",
+ " ![](\"images/part-def.svg\")
"
+ ],
+ "name": "part-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": false,
+ "lines": [
+ "part-def-name-compartment =",
+ " '«' DefinitionPrefix 'part' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "part-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| part"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": false,
+ "lines": [
+ "part =",
+ " ![](\"images/part.svg\")
"
+ ],
+ "name": "part"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": false,
+ "lines": [
+ "part-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'part' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "part-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": false,
+ "lines": [
+ "part-ref =",
+ " ![](\"images/part-ref.svg\")
"
+ ],
+ "name": "part-ref"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": true,
+ "lines": [
+ "compartment =|",
+ " parts-compartment",
+ " | directed-features-compartment",
+ " | interconnection-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": false,
+ "lines": [
+ "parts-compartment =",
+ " ![](\"images/parts-compartment.svg\")
",
+ " parts-compartment-contents"
+ ],
+ "name": "parts-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": false,
+ "lines": [
+ "parts-compartment-contents = (parts-compartment-element)* '…'?"
+ ],
+ "name": "parts-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": false,
+ "lines": [
+ "parts-compartment-element = el-prefix? OccurrenceUsagePrefix usage-cp"
+ ],
+ "name": "parts-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": false,
+ "lines": [
+ "directed-features-compartment =",
+ " ![](\"images/directed-features-compartment.svg\")
",
+ " directed-features-compartment-contents"
+ ],
+ "name": "directed-features-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": false,
+ "lines": [
+ "directed-features-compartment-contents = (directed-features-compartment-element)* '…'?"
+ ],
+ "name": "directed-features-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": false,
+ "lines": [
+ "directed-features-compartment-element =",
+ " el-prefix FeatureDirection DefinitionBodyItem*"
+ ],
+ "name": "directed-features-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": false,
+ "lines": [
+ "interconnection-compartment =",
+ " ![](\"images/interconnection-compartment.svg\")
",
+ " interconnection-view"
+ ],
+ "name": "interconnection-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": true,
+ "lines": [
+ "interconnection-view =|",
+ " (interconnection-element)*",
+ " (dependencies-and-annotations-element)*",
+ " (ellipsis-at-lower-left-corner)?"
+ ],
+ "name": "interconnection-view"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.11",
+ "is_partial": true,
+ "lines": [
+ "general-view =| interconnection-view"
+ ],
+ "name": "general-view"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.12",
+ "lines": [
+ "Clause 8.2.3.12 Ports Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| port-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": false,
+ "lines": [
+ "port-def =",
+ " ![](\"images/port-def.svg\")
"
+ ],
+ "name": "port-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": false,
+ "lines": [
+ "port-def-name-compartment =",
+ " '«' DefinitionPrefix 'port' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "port-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| port-usage"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": false,
+ "lines": [
+ "port-usage =",
+ " ![](\"images/port-usage.svg\")
"
+ ],
+ "name": "port-usage"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": false,
+ "lines": [
+ "port-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'port' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "port-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": true,
+ "lines": [
+ "compartment =| ports-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": false,
+ "lines": [
+ "ports-compartment =",
+ " ![](\"images/ports-compartment.svg\")
",
+ " ports-compartment-contents"
+ ],
+ "name": "ports-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": false,
+ "lines": [
+ "ports-compartment-contents = (ports-compartment-element)* '…'?"
+ ],
+ "name": "ports-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": false,
+ "lines": [
+ "ports-compartment-element = el-prefix? OccurrenceUsagePrefix usage-cp"
+ ],
+ "name": "ports-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": true,
+ "lines": [
+ "interconnection-element =| port-def | port-usage"
+ ],
+ "name": "interconnection-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": false,
+ "lines": [
+ "pdh =",
+ " ![](\"images/pdh-1.svg\")
",
+ " |",
+ " ![](\"images/pdh-2.svg\")
",
+ " |",
+ " ![](\"images/pdh-3.svg\")
"
+ ],
+ "name": "pdh"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": false,
+ "lines": [
+ "pdv =",
+ " ![](\"images/pdv-1.svg\")
",
+ " |",
+ " ![](\"images/pdv-2.svg\")
",
+ " |",
+ " ![](\"images/pdv-3.svg\")
"
+ ],
+ "name": "pdv"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": false,
+ "lines": [
+ "port-l =",
+ " ![](\"images/port-l-1.svg\")
",
+ " |",
+ " ![](\"images/port-l-2.svg\")
",
+ " |",
+ " ![](\"images/port-l-3.svg\")
",
+ " |",
+ " proxy-v"
+ ],
+ "name": "port-l"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": false,
+ "lines": [
+ "port-r =",
+ " ![](\"images/port-r-1.svg\")
",
+ " |",
+ " ![](\"images/port-r-2.svg\")
",
+ " |",
+ " ![](\"images/port-r-3.svg\")
",
+ " |",
+ " proxy-v"
+ ],
+ "name": "port-r"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": false,
+ "lines": [
+ "port-t =",
+ " ![](\"images/port-t-1.svg\")
",
+ " |",
+ " ![](\"images/port-t-2.svg\")
",
+ " |",
+ " ![](\"images/port-t-3.svg\")
",
+ " |",
+ " proxy-h"
+ ],
+ "name": "port-t"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": false,
+ "lines": [
+ "port-b =",
+ " ![](\"images/port-b-1.svg\")
",
+ " |",
+ " ![](\"images/port-b-2.svg\")
",
+ " |",
+ " ![](\"images/port-b-3.svg\")
",
+ " |",
+ " proxy-h"
+ ],
+ "name": "port-b"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": false,
+ "lines": [
+ "port-label = QualifiedName (':' QualifiedName)?"
+ ],
+ "name": "port-label"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": false,
+ "lines": [
+ "proxy-v =",
+ " ![](\"images/proxy-v-1.svg\")
",
+ " |",
+ " ![](\"images/proxy-v-2.svg\")
"
+ ],
+ "name": "proxy-v"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": false,
+ "lines": [
+ "proxy-h =",
+ " ![](\"images/proxy-h-1.svg\")
",
+ " |",
+ " ![](\"images/proxy-h-2.svg\")
"
+ ],
+ "name": "proxy-h"
+ },
+ {
+ "@type": "Comment",
+ "clause_id": "8.2.3.12",
+ "lines": [
+ "// Note. Dotted line port productions (references) are only possible for nested ports"
+ ]
+ },
+ {
+ "@type": "Comment",
+ "clause_id": "8.2.3.12",
+ "lines": [
+ "// Note. The proxy option of a port production is valid only on a part usage contained within an interconnection view."
+ ]
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.13",
+ "lines": [
+ "Clause 8.2.3.13 Connections Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| connection-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "connection-def =",
+ " ![](\"images/connection-def.svg\")
"
+ ],
+ "name": "connection-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "connection-def-name-compartment =",
+ " '«' DefinitionPrefix 'connection' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "connection-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| connection"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "connection =",
+ " ![](\"images/connection.svg\")
"
+ ],
+ "name": "connection"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "connection-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'connection' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "connection-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": true,
+ "lines": [
+ "compartment =| connections-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "connections-compartment =",
+ " ![](\"images/connections-compartment.svg\")
",
+ " connections-compartment-contents"
+ ],
+ "name": "connections-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "connections-compartment-contents = (connections-compartment-element)* '…'?"
+ ],
+ "name": "connections-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "connections-compartment-element =",
+ " el-prefix? OccurrenceUsagePrefix UsageDeclaration"
+ ],
+ "name": "connections-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": true,
+ "lines": [
+ "interconnection-element =|",
+ " connection-def",
+ " | connection",
+ " | connection-relationship",
+ " | attribute"
+ ],
+ "name": "interconnection-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "connection-relationship =",
+ " binding-connection",
+ " | connection-graphical",
+ " | n-ary-connection",
+ " | n-ary-connection-def",
+ " | connection-definition-elaboration",
+ " | connection-usage-elaboration",
+ " | connection-def-graphical"
+ ],
+ "name": "connection-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "connection-graphical =",
+ " ![](\"images/connection-graphical-1.svg\")
",
+ " |",
+ " ![](\"images/connection-graphical-2.svg\")
"
+ ],
+ "name": "connection-graphical"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "c-adornment =",
+ " (a-property | a-direction | a-subsetting |a-redefinition)*"
+ ],
+ "name": "c-adornment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "a-property =",
+ " 'ordered' | 'nonunique' | 'abstract' | 'derived' | 'readonly'"
+ ],
+ "name": "a-property"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "a-direction =",
+ " 'in' | 'out' | 'inout'"
+ ],
+ "name": "a-direction"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "a-subsetting =",
+ " 'subsets' OwnedSubsetting (',' OwnedSubsetting)*"
+ ],
+ "name": "a-subsetting"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "a-redefinition =",
+ " 'redefines' OwnedRedefinition (',' OwnedRedefinition)*"
+ ],
+ "name": "a-redefinition"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "connection-end = usage-node | usage-edge"
+ ],
+ "name": "connection-end"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": true,
+ "lines": [
+ "usage-edge =| connection-graphical | binding-connection"
+ ],
+ "name": "usage-edge"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "connection-label = UsageDeclaration"
+ ],
+ "name": "connection-label"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "connection-def-graphical =",
+ " ![](\"images/connection-def-graphical-1.svg\")
",
+ " |",
+ " ![](\"images/connection-def-graphical-2.svg\")
"
+ ],
+ "name": "connection-def-graphical"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": true,
+ "lines": [
+ "general-relationship =| connection-def-graphical"
+ ],
+ "name": "general-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "cdef-label = Identification"
+ ],
+ "name": "cdef-label"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "n-ary-connection-def =",
+ " n-ary-def-connection-dot n-ary-def-segment+"
+ ],
+ "name": "n-ary-connection-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "n-ary-def-connection-dot =",
+ " ![](\"images/n-ary-def-connection-dot.svg\")
"
+ ],
+ "name": "n-ary-def-connection-dot"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "n-ary-def-segment =",
+ " ![](\"images/n-ary-def-segment.svg\")
"
+ ],
+ "name": "n-ary-def-segment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| n-ary-def-connection-dot"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": true,
+ "lines": [
+ "general-relationship =| n-ary-def-segment"
+ ],
+ "name": "general-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "n-ary-connection =",
+ " n-ary-connection-dot n-ary-segment+"
+ ],
+ "name": "n-ary-connection"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "n-ary-connection-dot =",
+ " ![](\"images/n-ary-connection-dot.svg\")
"
+ ],
+ "name": "n-ary-connection-dot"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| n-ary-connection-dot"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "cdot-label = UsageDeclaration"
+ ],
+ "name": "cdot-label"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "n-ary-segment =",
+ " ![](\"images/n-ary-segment.svg\")
"
+ ],
+ "name": "n-ary-segment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "binding-connection =",
+ " ![](\"images/binding-connection.svg\")
"
+ ],
+ "name": "binding-connection"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "rolename = Identification?"
+ ],
+ "name": "rolename"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "multiplicity = MultiplicityRange?"
+ ],
+ "name": "multiplicity"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "connection-definition-elaboration =",
+ " ![](\"images/connection-definition-elaboration.svg\")
"
+ ],
+ "name": "connection-definition-elaboration"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.13",
+ "is_partial": false,
+ "lines": [
+ "connection-usage-elaboration =",
+ " ![](\"images/connection-usage-elaboration.svg\")
"
+ ],
+ "name": "connection-usage-elaboration"
+ },
+ {
+ "@type": "Comment",
+ "clause_id": "8.2.3.13",
+ "lines": [
+ "// Note. The usage-nodes at the ends of a binding-connection must be of compatible types."
+ ]
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.14",
+ "lines": [
+ "Clause 8.2.3.14 Interfaces Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.14",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| interface-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.14",
+ "is_partial": true,
+ "lines": [
+ "interconnection-element =| interface"
+ ],
+ "name": "interconnection-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.14",
+ "is_partial": false,
+ "lines": [
+ "interface-def =",
+ " ![](\"images/interface-def.svg\")
"
+ ],
+ "name": "interface-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.14",
+ "is_partial": false,
+ "lines": [
+ "interface-def-name-compartment =",
+ " '«' DefinitionPrefix 'interface' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "interface-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.14",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| interface"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.14",
+ "is_partial": false,
+ "lines": [
+ "interface =",
+ " ![](\"images/interface.svg\")
"
+ ],
+ "name": "interface"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.14",
+ "is_partial": false,
+ "lines": [
+ "interface-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'interface' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "interface-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.14",
+ "is_partial": true,
+ "lines": [
+ "compartment =|",
+ " interfaces-compartment",
+ " | ends-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.14",
+ "is_partial": false,
+ "lines": [
+ "interfaces-compartment =",
+ " ![](\"images/interfaces-compartment.svg\")
",
+ " interfaces-compartment-contents"
+ ],
+ "name": "interfaces-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.14",
+ "is_partial": false,
+ "lines": [
+ "interfaces-compartment-contents = (interfaces-compartment-element)* '…'?"
+ ],
+ "name": "interfaces-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.14",
+ "is_partial": false,
+ "lines": [
+ "interfaces-compartment-element =",
+ " el-prefix? OccurrenceUsagePrefix InterfaceUsageDeclaration"
+ ],
+ "name": "interfaces-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.14",
+ "is_partial": false,
+ "lines": [
+ "ends-compartment =",
+ " ![](\"images/ends-compartment.svg\")
",
+ " ends-compartment-contents"
+ ],
+ "name": "ends-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.14",
+ "is_partial": false,
+ "lines": [
+ "ends-compartment-contents = (ends-compartment-element)* '…'?"
+ ],
+ "name": "ends-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.14",
+ "is_partial": false,
+ "lines": [
+ "ends-compartment-element = QualifiedName (':' QualifiedName)?"
+ ],
+ "name": "ends-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.14",
+ "is_partial": true,
+ "lines": [
+ "connection-relationship =|",
+ " interface-connection"
+ ],
+ "name": "connection-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.14",
+ "is_partial": false,
+ "lines": [
+ "interface-connection =",
+ " ![](\"images/interface-connection.svg\")
"
+ ],
+ "name": "interface-connection"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.14",
+ "is_partial": false,
+ "lines": [
+ "interface-label = UsageDeclaration?"
+ ],
+ "name": "interface-label"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.15",
+ "lines": [
+ "Clause 8.2.3.15 Allocations Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.15",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| allocation-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.15",
+ "is_partial": false,
+ "lines": [
+ "allocation-def =",
+ " ![](\"images/allocation-def.svg\")
"
+ ],
+ "name": "allocation-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.15",
+ "is_partial": false,
+ "lines": [
+ "allocation-def-name-compartment =",
+ " '«' DefinitionPrefix 'allocation' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "allocation-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.15",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| allocation"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.15",
+ "is_partial": false,
+ "lines": [
+ "allocation =",
+ " ![](\"images/allocation.svg\")
"
+ ],
+ "name": "allocation"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.15",
+ "is_partial": false,
+ "lines": [
+ "allocation-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'allocation' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "allocation-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.15",
+ "is_partial": true,
+ "lines": [
+ "compartment =| allocations-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.15",
+ "is_partial": false,
+ "lines": [
+ "allocations-compartment =",
+ " ![](\"images/allocations-compartment.svg\")
",
+ " allocations-compartment-contents"
+ ],
+ "name": "allocations-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.15",
+ "is_partial": false,
+ "lines": [
+ "allocations-compartment-contents = (allocations-compartment-element)* '…'?"
+ ],
+ "name": "allocations-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.15",
+ "is_partial": false,
+ "lines": [
+ "allocations-compartment-element =",
+ " el-prefix? OccurrenceUsagePrefix AllocationUsageDeclaration UsageBody*"
+ ],
+ "name": "allocations-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.15",
+ "is_partial": true,
+ "lines": [
+ "general-relationship =| allocate-relationship"
+ ],
+ "name": "general-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.15",
+ "is_partial": false,
+ "lines": [
+ "allocate-relationship =",
+ " ![](\"images/allocate-relationship.svg\")
"
+ ],
+ "name": "allocate-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.15",
+ "is_partial": false,
+ "lines": [
+ "allocation-node =",
+ " general-node",
+ " | element-in-textual-compartment"
+ ],
+ "name": "allocation-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.15",
+ "is_partial": true,
+ "lines": [
+ "usage-edge =| allocate-relationship"
+ ],
+ "name": "usage-edge"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.16",
+ "lines": [
+ "Clause 8.2.3.16 Flows Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| flow-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "flow-def =",
+ " ![](\"images/flow-def.svg\")
"
+ ],
+ "name": "flow-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "flow-def-name-compartment =",
+ " '«' DefinitionPrefix 'succession'? 'flow' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "flow-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| flow-node"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "flow-node =",
+ " ![](\"images/flow-node.svg\")
"
+ ],
+ "name": "flow-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "flow-name-compartment =",
+ " '«' OccurrenceUsagePrefix ( 'message' | 'succession'? 'flow' ) '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "flow-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": true,
+ "lines": [
+ "compartment =| flows-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "flows-compartment =",
+ " ![](\"images/flows-compartment.svg\")
",
+ " flows-compartment-contents"
+ ],
+ "name": "flows-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "flows-compartment-contents = (flows-compartment-element)* '...'?"
+ ],
+ "name": "flows-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "flows-compartment-element =",
+ " el-prefix? OccurrenceUsagePrefix",
+ " ( 'message' MessageDeclaration",
+ " | 'succession'? FlowDeclaration",
+ " )"
+ ],
+ "name": "flows-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": true,
+ "lines": [
+ "interconnection-element =|",
+ " flow-def",
+ " | flow"
+ ],
+ "name": "interconnection-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": true,
+ "lines": [
+ "connection-relationship =|",
+ " message-connection",
+ " | flow",
+ " | succession-flow",
+ " | flow-on-connection"
+ ],
+ "name": "connection-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": true,
+ "lines": [
+ "usage-edge =| message | flow | succession-flow"
+ ],
+ "name": "usage-edge"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "msg-end-node =",
+ " occurrence| sq-l-node| item | part | port | action | state",
+ " | use-case | verification-case | analysis-case | proxy"
+ ],
+ "name": "msg-end-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "message =",
+ " ![](\"images/message.svg\")
"
+ ],
+ "name": "message"
+ },
+ {
+ "@type": "Comment",
+ "clause_id": "8.2.3.16",
+ "lines": [
+ "// Note: proxy nodes and ends of messages must refer to occurrences"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "message-label =",
+ " UsageDeclaration? ('of' FlowPayloadFeatureMember)? | FlowPayloadFeatureMember"
+ ],
+ "name": "message-label"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "flow =",
+ " ![](\"images/flow.svg\")
"
+ ],
+ "name": "flow"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "flow-label =",
+ " UsageDeclaration? ('of' FlowPayloadFeatureMember)? | FlowPayloadFeatureMember"
+ ],
+ "name": "flow-label"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "flow-end-node =",
+ " parameter | proxy"
+ ],
+ "name": "flow-end-node"
+ },
+ {
+ "@type": "Comment",
+ "clause_id": "8.2.3.16",
+ "lines": [
+ "// Note: proxy nodes at ends of flows must refer to directed features"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "succession-flow =",
+ " ![](\"images/succession-flow.svg\")
"
+ ],
+ "name": "succession-flow"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "succession-flow-label = flow-label"
+ ],
+ "name": "succession-flow-label"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "flow-on-connection =",
+ " ![](\"images/flow-on-connection.svg\")
"
+ ],
+ "name": "flow-on-connection"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "flow-node =",
+ " flow-node-r",
+ " | flow-node-l",
+ " | sflow-node-r",
+ " | sflow-node-l",
+ " | message-node-r",
+ " | message-node-l"
+ ],
+ "name": "flow-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "flow-node-r =",
+ " ![](\"images/flow-node-r.svg\")
"
+ ],
+ "name": "flow-node-r"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "flow-node-l =",
+ " ![](\"images/flow-node-l.svg\")
"
+ ],
+ "name": "flow-node-l"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "sflow-node-r =",
+ " ![](\"images/sflow-node-r.svg\")
"
+ ],
+ "name": "sflow-node-r"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "sflow-node-l =",
+ " ![](\"images/sflow-node-l.svg\")
"
+ ],
+ "name": "sflow-node-l"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "message-node-r =",
+ " ![](\"images/message-node-r.svg\")
"
+ ],
+ "name": "message-node-r"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "message-node-l =",
+ " ![](\"images/message-node-l.svg\")
"
+ ],
+ "name": "message-node-l"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.16",
+ "is_partial": false,
+ "lines": [
+ "flow-label =",
+ " Identification | FlowPayloadFeatureMember"
+ ],
+ "name": "flow-label"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.17",
+ "lines": [
+ "Clause 8.2.3.17 Actions Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| action-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "action-def =",
+ " ![](\"images/action-def.svg\")
"
+ ],
+ "name": "action-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "action-def-name-compartment =",
+ " '«' DefinitionPrefix 'action' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "action-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": true,
+ "lines": [
+ "usage-node =|",
+ " action",
+ " | perform-action-usage"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "action =",
+ " ![](\"images/action.svg\")
"
+ ],
+ "name": "action"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "action-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'action' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "action-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "perform-action-usage =",
+ " ![](\"images/perform-action-usage.svg\")
"
+ ],
+ "name": "perform-action-usage"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "action-ref =",
+ " ![](\"images/action-ref.svg\")
"
+ ],
+ "name": "action-ref"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "perform-action-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'perform' 'action' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "perform-action-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": true,
+ "lines": [
+ "compartment =|",
+ " actions-compartment",
+ " | perform-actions-compartment",
+ " | parameters-compartment",
+ " | action-flow-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "actions-compartment =",
+ " ![](\"images/actions-compartment.svg\")
",
+ " actions-compartment-contents"
+ ],
+ "name": "actions-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "actions-compartment-contents = (actions-compartment-element)* '…'?"
+ ],
+ "name": "actions-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "actions-compartment-element =",
+ " el-prefix? OccurrenceUsagePrefix ActionUsageDeclaration"
+ ],
+ "name": "actions-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "perform-actions-compartment =",
+ " ![](\"images/perform-actions-compartment.svg\")
",
+ " perform-actions-compartment-contents"
+ ],
+ "name": "perform-actions-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "perform-actions-compartment-contents = (perform-actions-compartment-element)* '…'?"
+ ],
+ "name": "perform-actions-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "perform-actions-compartment-element =",
+ " el-prefix? OccurrenceUsagePrefix PerformActionUsageDeclaration"
+ ],
+ "name": "perform-actions-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "parameters-compartment =",
+ " ![](\"images/parameters-compartment.svg\")
",
+ " parameters-compartment-contents"
+ ],
+ "name": "parameters-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "parameters-compartment-contents = (parameters-compartment-element)* '…'?"
+ ],
+ "name": "parameters-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "parameters-compartment-element =",
+ " el-prefix? FeatureDirection UsageDeclaration ValueOrFlowPart? DefinitionBodyItem*"
+ ],
+ "name": "parameters-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "performed-by-compartment =",
+ " ![](\"images/performed-by-compartment.svg\")
",
+ " performed-by-compartment-contents"
+ ],
+ "name": "performed-by-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "performed-by-compartment-contents = QualifiedName* '…'?"
+ ],
+ "name": "performed-by-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "action-flow-compartment =",
+ " ![](\"images/action-flow-compartment.svg\")
",
+ " action-flow-view"
+ ],
+ "name": "action-flow-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "action-flow-view =",
+ " (dependencies-and-annotations-element)*",
+ " (action-flow-element)*",
+ " (perform-action-swimlanes)?"
+ ],
+ "name": "action-flow-view"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": true,
+ "lines": [
+ "action-flow-element =|",
+ " action-ref",
+ " | action",
+ " | action-flow-node",
+ " | action-flow-relationship"
+ ],
+ "name": "action-flow-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "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"
+ ],
+ "name": "action-flow-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "action-flow-relationship =",
+ " flow",
+ " | aflow-succession",
+ " | binding-connection",
+ " | else-branch"
+ ],
+ "name": "action-flow-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "param-l =",
+ " ![](\"images/param-l-1.svg\")
",
+ " |",
+ " ![](\"images/param-l-2.svg\")
",
+ " |",
+ " proxy-v"
+ ],
+ "name": "param-l"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "param-r =",
+ " ![](\"images/param-r-1.svg\")
",
+ " |",
+ " ![](\"images/param-r-2.svg\")
",
+ " |",
+ " proxy-v"
+ ],
+ "name": "param-r"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "param-t =",
+ " ![](\"images/param-t-1.svg\")
",
+ " |",
+ " ![](\"images/param-t-2.svg\")
",
+ " |",
+ " proxy-h"
+ ],
+ "name": "param-t"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "param-b =",
+ " ![](\"images/param-b-1.svg\")
",
+ " |",
+ " ![](\"images/param-b-2.svg\")
",
+ " |",
+ " proxy-h"
+ ],
+ "name": "param-b"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "param-label = QualifiedName (':' QualifiedName)*"
+ ],
+ "name": "param-label"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "start-node =",
+ " ![](\"images/start-node.svg\")
"
+ ],
+ "name": "start-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "done-node =",
+ " ![](\"images/done-node.svg\")
"
+ ],
+ "name": "done-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "terminate-node =",
+ " ![](\"images/terminate-node.svg\")
"
+ ],
+ "name": "terminate-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "fork-node =",
+ " ![](\"images/fork-node.svg\")
"
+ ],
+ "name": "fork-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "join-node =",
+ " ![](\"images/join-node.svg\")
"
+ ],
+ "name": "join-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "decision-node =",
+ " ![](\"images/decision-node.svg\")
"
+ ],
+ "name": "decision-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "merge-node =",
+ " ![](\"images/merge-node.svg\")
"
+ ],
+ "name": "merge-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "send-action-node =",
+ " ![](\"images/send-action-node.svg\")
"
+ ],
+ "name": "send-action-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "send-action-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'send' 'action' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "send-action-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "send-action-expression = NodeParameterMember 'to' NodeParameterMember"
+ ],
+ "name": "send-action-expression"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "accept-action-node =",
+ " ![](\"images/accept-action-node.svg\")
"
+ ],
+ "name": "accept-action-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "accept-action-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'accept' 'action' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "accept-action-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "accept-action-expression = AcceptParameterPart"
+ ],
+ "name": "accept-action-expression"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "while-loop-action-node =",
+ " ![](\"images/while-loop-action-node.svg\")
"
+ ],
+ "name": "while-loop-action-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "while-condition =",
+ " ![](\"images/while-condition.svg\")
",
+ " condition-expression"
+ ],
+ "name": "while-condition"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "until-condition =",
+ " ![](\"images/until-condition.svg\")
",
+ " condition-expression"
+ ],
+ "name": "until-condition"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "while-loop-action-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'loop' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "while-loop-action-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "for-loop-action-node =",
+ " ![](\"images/for-loop-action-node.svg\")
"
+ ],
+ "name": "for-loop-action-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "iteration =",
+ " ![](\"images/iteration.svg\")
",
+ " iteration-expression"
+ ],
+ "name": "iteration"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "loop-body =",
+ " ![](\"images/loop-body.svg\")
",
+ " action-body"
+ ],
+ "name": "loop-body"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "for-loop-action-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'loop' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "for-loop-action-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "if-else-action-node =",
+ " ![](\"images/if-else-action-node.svg\")
"
+ ],
+ "name": "if-else-action-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "if-condition =",
+ " ![](\"images/if-condition.svg\")
",
+ " condition-expression"
+ ],
+ "name": "if-condition"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "then-body =",
+ " ![](\"images/then-body.svg\")
",
+ " action-body"
+ ],
+ "name": "then-body"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "else-body =",
+ " ![](\"images/else-body.svg\")
",
+ " action-body"
+ ],
+ "name": "else-body"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "ifelse-action-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'if' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "ifelse-action-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "action-body =",
+ " action-body-textual | action-flow-view"
+ ],
+ "name": "action-body"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "condition-expression =",
+ " ExpressionParameterMember"
+ ],
+ "name": "condition-expression"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "iteration-expression =",
+ " ForVariableDeclarationMember 'in' NodeParameterMember"
+ ],
+ "name": "iteration-expression"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "action-body-textual =",
+ " ActionBodyParameterMember"
+ ],
+ "name": "action-body-textual"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "assign-action-node =",
+ " ![](\"images/assign-action-node.svg\")
"
+ ],
+ "name": "assign-action-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "assign-action-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'assign' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "assign-action-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "perform-actions-swimlanes = (swimlane)*"
+ ],
+ "name": "perform-actions-swimlanes"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "swimlane =",
+ " ![](\"images/swimlane.svg\")
"
+ ],
+ "name": "swimlane"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "parameter =",
+ " param-l | param-r | param-t | param-b"
+ ],
+ "name": "parameter"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "aflow-succession =",
+ " ![](\"images/aflow-succession.svg\")
"
+ ],
+ "name": "aflow-succession"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "else-branch =",
+ " ![](\"images/else-branch.svg\")
"
+ ],
+ "name": "else-branch"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "perform-edge =",
+ " ![](\"images/perform-edge.svg\")
"
+ ],
+ "name": "perform-edge"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "performer-node = part | action | part-def | action-def | distinguished-parameter"
+ ],
+ "name": "performer-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": true,
+ "lines": [
+ "usage-edge =| succession perform-edge"
+ ],
+ "name": "usage-edge"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.17",
+ "is_partial": false,
+ "lines": [
+ "guard-expression = '[' OwnedExpression ']'"
+ ],
+ "name": "guard-expression"
+ },
+ {
+ "@type": "Comment",
+ "clause_id": "8.2.3.17",
+ "lines": [
+ "// Note. All swimlanes are attached to each other on vertical edges and aligned along the top and bottom horizontal edges."
+ ]
+ },
+ {
+ "@type": "Comment",
+ "clause_id": "8.2.3.17",
+ "lines": [
+ "// Note. The proxy option of a parameter production is valid only on an action usage contained within an action flow view."
+ ]
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.18",
+ "lines": [
+ "Clause 8.2.3.18 States Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| state-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-def =",
+ " ![](\"images/state-def.svg\")
"
+ ],
+ "name": "state-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-def-name-compartment =",
+ " '«' DefinitionPrefix 'state' 'def' '»'",
+ " definition-name-with-alias",
+ " ('«' 'parallel' '»')?"
+ ],
+ "name": "state-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": true,
+ "lines": [
+ "usage-node =|",
+ " state",
+ " | exhibit-state-usage"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state =",
+ " ![](\"images/state.svg\")
"
+ ],
+ "name": "state"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-ref =",
+ " ![](\"images/state-ref.svg\")
"
+ ],
+ "name": "state-ref"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'state' '»'",
+ " usage-name-with-alias",
+ " ('«' 'parallel' '»')?"
+ ],
+ "name": "state-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "exhibit-state-usage =",
+ " ![](\"images/exhibit-state-usage.svg\")
"
+ ],
+ "name": "exhibit-state-usage"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-subaction-body = state-subaction-body-textual | action-flow-view"
+ ],
+ "name": "state-subaction-body"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-subaction-body-textual = state-subaction-declaration? ( '{' ActionBodyItem* '}' )?"
+ ],
+ "name": "state-subaction-body-textual"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-subaction-declaration =",
+ " PerformActionUsageDeclaration",
+ " | AcceptNodeDeclaration",
+ " | SendNodeDeclaration",
+ " | AssignmentNodeDeclaration"
+ ],
+ "name": "state-subaction-declaration"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-do-action =",
+ " ![](\"images/state-do-action.svg\")
",
+ " state-subaction-body"
+ ],
+ "name": "state-do-action"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-entry-action =",
+ " ![](\"images/state-entry-action.svg\")
",
+ " state-subaction-body"
+ ],
+ "name": "state-entry-action"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-exit-action =",
+ " ![](\"images/state-exit-action.svg\")
",
+ " state-subaction-body"
+ ],
+ "name": "state-exit-action"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "entry-action =",
+ " ![](\"images/entry-action-1.svg\")
",
+ " |",
+ " ![](\"images/entry-action-2.svg\")
"
+ ],
+ "name": "entry-action"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "entry-action-name-comp =",
+ " '«' 'entry' OccurrenceUsagePrefix 'action' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "entry-action-name-comp"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "exit-action =",
+ " ![](\"images/exit-action.svg\")
"
+ ],
+ "name": "exit-action"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "exit-action-name-comp =",
+ " '«' 'exit' OccurrenceUsagePrefix 'action' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "exit-action-name-comp"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "do-action =",
+ " ![](\"images/do-action.svg\")
"
+ ],
+ "name": "do-action"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "do-action-name-comp =",
+ " '«' 'do' OccurrenceUsagePrefix 'action' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "do-action-name-comp"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "exhibit-state-name-compartment =",
+ " '«exhibit-state»'",
+ " state-name-compartment"
+ ],
+ "name": "exhibit-state-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": true,
+ "lines": [
+ "compartment =|",
+ " states-compartment",
+ " | state-actions-compartment",
+ " | exhibit-states-compartment",
+ " | successions-compartment",
+ " | state-transition-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "states-compartment =",
+ " ![](\"images/states-compartment.svg\")
",
+ " states-compartment-contents"
+ ],
+ "name": "states-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "states-compartment-contents = (states-compartment-element)* '…'?"
+ ],
+ "name": "states-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "states-compartment-element =",
+ " el-prefix? OccurrenceUsagePrefix ActionUsageDeclaration"
+ ],
+ "name": "states-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-actions-compartment =",
+ " ![](\"images/state-actions-compartment.svg\")
",
+ " state-actions-compartment-contents"
+ ],
+ "name": "state-actions-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-actions-compartment-contents = (state-actions-compartment-element)* '…'?"
+ ],
+ "name": "state-actions-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-actions-compartment-element =",
+ " el-prefix? EntryActionMember | DoActionMember | ExitActionMember"
+ ],
+ "name": "state-actions-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "exhibit-states-compartment =",
+ " ![](\"images/exhibit-states-compartment.svg\")
",
+ " exhibit-states-compartment-contents"
+ ],
+ "name": "exhibit-states-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "exhibit-states-compartment-contents = exhibit-state-scompartment-element* '…'?"
+ ],
+ "name": "exhibit-states-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "exhibit-states-compartment-element-compartment = UsageDeclaration"
+ ],
+ "name": "exhibit-states-compartment-element-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "successions-compartment =",
+ " ![](\"images/successions-compartment.svg\")
",
+ " successions-compartment-contents"
+ ],
+ "name": "successions-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "successions-compartment-contents = QualifiedName* '…'?"
+ ],
+ "name": "successions-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-transition-compartment =",
+ " ![](\"images/state-transition-compartment.svg\"){kind=spacer}
",
+ " state-transition-view"
+ ],
+ "name": "state-transition-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-transition-view =",
+ " (state-transition-element)*",
+ " (dependencies-and-annotations-element)*"
+ ],
+ "name": "state-transition-view"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-transition-element =",
+ " state-transition-node",
+ " | transition",
+ " | st-succession"
+ ],
+ "name": "state-transition-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "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"
+ ],
+ "name": "state-transition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "transition =",
+ " ![](\"images/transition-1.svg\"){kind=spacer}
",
+ " |",
+ " ![](\"images/transition-2.svg\"){kind=spacer}
"
+ ],
+ "name": "transition"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-source =",
+ " state | state-ref"
+ ],
+ "name": "state-source"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "transition-label = trigger-expression '/' ActionUsage"
+ ],
+ "name": "transition-label"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "trigger-expression = AcceptParameterPart (guard-expression)?"
+ ],
+ "name": "trigger-expression"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "st-succession =",
+ " ![](\"images/st-succession-1.svg\")
",
+ " |",
+ " ![](\"images/st-succession-2.svg\")
"
+ ],
+ "name": "st-succession"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "exhibit-edge =",
+ " ![](\"images/exhibit-edge.svg\")
"
+ ],
+ "name": "exhibit-edge"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "exhibitor = part | part-def"
+ ],
+ "name": "exhibitor"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": true,
+ "lines": [
+ "general-relationship =| exhibit-edge"
+ ],
+ "name": "general-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": true,
+ "lines": [
+ "usage-edge =| transition | st-succession | exhibit-edge"
+ ],
+ "name": "usage-edge"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.19",
+ "lines": [
+ "Clause 8.2.3.19 Calculations Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.19",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| calc-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.19",
+ "is_partial": false,
+ "lines": [
+ "calc-def =",
+ " ![](\"images/calc-def.svg\")
"
+ ],
+ "name": "calc-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.19",
+ "is_partial": false,
+ "lines": [
+ "calc-def-name-compartment =",
+ " '«' DefinitionPrefix 'calc' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "calc-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.19",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| calc"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.19",
+ "is_partial": false,
+ "lines": [
+ "calc =",
+ " ![](\"images/calc.svg\")
"
+ ],
+ "name": "calc"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.19",
+ "is_partial": false,
+ "lines": [
+ "calc-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'calc' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "calc-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.19",
+ "is_partial": true,
+ "lines": [
+ "action-flow-element =|",
+ " calc-def",
+ " | calc"
+ ],
+ "name": "action-flow-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.19",
+ "is_partial": true,
+ "lines": [
+ "compartment =|",
+ " calcs-compartment",
+ " | result-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.19",
+ "is_partial": false,
+ "lines": [
+ "calcs-compartment =",
+ " ![](\"images/calcs-compartment.svg\")
",
+ " calcs-compartment-contents"
+ ],
+ "name": "calcs-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.19",
+ "is_partial": false,
+ "lines": [
+ "calcs-compartment-contents = calcs-compartment-element* '…'?"
+ ],
+ "name": "calcs-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.19",
+ "is_partial": false,
+ "lines": [
+ "calcs-compartment-element = el-prefix? OccurrenceUsagePrefix ActionUsageDeclaration"
+ ],
+ "name": "calcs-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.19",
+ "is_partial": false,
+ "lines": [
+ "result-compartment =",
+ " ![](\"images/result-compartment.svg\")
",
+ " result-compartment-contents"
+ ],
+ "name": "result-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.19",
+ "is_partial": false,
+ "lines": [
+ "result-compartment-contents = OwnedExpression"
+ ],
+ "name": "result-compartment-contents"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.20",
+ "lines": [
+ "Clause 8.2.3.20 Constraints Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| constraint-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "constraint-def =",
+ " ![](\"images/constraint-def.svg\")
"
+ ],
+ "name": "constraint-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "constraint-def-name-compartment =",
+ " '«' DefinitionPrefix 'constraint' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "constraint-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "usage-node =",
+ " constraint",
+ " | assert-constraint-node"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "constraint =",
+ " ![](\"images/constraint.svg\")
"
+ ],
+ "name": "constraint"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "constraint-ref =",
+ " ![](\"images/constraint-ref.svg\")
"
+ ],
+ "name": "constraint-ref"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "constraint-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'constraint' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "constraint-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "assert-constraint-node =",
+ " ![](\"images/assert-constraint-node.svg\")
"
+ ],
+ "name": "assert-constraint-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "assert-constraint-name-compartment =",
+ " '«assert constraint»'",
+ " constraint-name-compartment"
+ ],
+ "name": "assert-constraint-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "assume-constraint-node =",
+ " ![](\"images/assume-constraint-node.svg\")
"
+ ],
+ "name": "assume-constraint-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "assume-constraint-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'assume' 'constraint' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "assume-constraint-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| assume-constraint-node | assert-constraint-node"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "assume-edge =",
+ " ![](\"images/assume-edge.svg\")
"
+ ],
+ "name": "assume-edge"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "assumer = requirement | requirement-def"
+ ],
+ "name": "assumer"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": true,
+ "lines": [
+ "general-relationship =| assume-edge"
+ ],
+ "name": "general-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "assert-edge =",
+ " ![](\"images/assert-edge.svg\")
"
+ ],
+ "name": "assert-edge"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "assertor = usage-node | definition-node"
+ ],
+ "name": "assertor"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": true,
+ "lines": [
+ "general-relationship =| assert-edge"
+ ],
+ "name": "general-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": true,
+ "lines": [
+ "compartment =|",
+ " constraints-compartment",
+ " | assert-constraints-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "constraints-compartment =",
+ " ![](\"images/constraints-compartment.svg\")
",
+ " constraints-compartment-contents"
+ ],
+ "name": "constraints-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "constraints-compartment-contents = (constraints-usage-compartment-element)* '…'?"
+ ],
+ "name": "constraints-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "constraints-usage-compartment-element =",
+ " el-prefix? OccurrenceUsagePrefix ConstraintUsageDeclaration CalculationBody*"
+ ],
+ "name": "constraints-usage-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "assert-constraints-compartment =",
+ " ![](\"images/assert-constraints-compartment.svg\")
",
+ " assert-constraints-compartment-contents"
+ ],
+ "name": "assert-constraints-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "assert-constraints-compartment-contents = (assert-constraints-compartment-element)* '…'?"
+ ],
+ "name": "assert-constraints-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "assert-constraints-compartment-element =",
+ " el-prefix? OccurrenceUsagePrefix ( 'not' )?",
+ " ( OwnedSubsetting FeatureSpecializationPart? | UsageDeclaration )",
+ " CalculationUsageParameterPart CalculationBody"
+ ],
+ "name": "assert-constraints-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": true,
+ "lines": [
+ "interconnection-element =|",
+ " constraint-ref",
+ " | constraint"
+ ],
+ "name": "interconnection-element"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.21",
+ "lines": [
+ "Clause 8.2.3.21 Requirements Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": true,
+ "lines": [
+ "definition-node =|",
+ " requirement-def",
+ " | concern-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "requirement-def =",
+ " ![](\"images/requirement-def.svg\")
"
+ ],
+ "name": "requirement-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "requirement-def-name-compartment =",
+ " '«' DefinitionPrefix 'requirement' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "requirement-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "usage-node =",
+ " requirement",
+ " | satisfy-requirement-usage",
+ " | concern"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "requirement =",
+ " ![](\"images/requirement.svg\")
"
+ ],
+ "name": "requirement"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "requirement-ref =",
+ " ![](\"images/requirement-ref.svg\")
"
+ ],
+ "name": "requirement-ref"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "requirement-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'requirement' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "requirement-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "satisfy-requirement-usage =",
+ " ![](\"images/satisfy-requirement-usage.svg\")
"
+ ],
+ "name": "satisfy-requirement-usage"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "satisfy-requirement-name-compartment =",
+ " '«satisfy requirement»'",
+ " requirement-name-compartment"
+ ],
+ "name": "satisfy-requirement-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "concern-def =",
+ " ![](\"images/concern-def.svg\")
"
+ ],
+ "name": "concern-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "concern-def-name-compartment =",
+ " '«' DefinitionPrefix 'concern' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "concern-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "concern =",
+ " ![](\"images/concern.svg\")
"
+ ],
+ "name": "concern"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "concern-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'concern' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "concern-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": true,
+ "lines": [
+ "compartment =|",
+ " constraints-compartment",
+ " | assert-constraints-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": true,
+ "lines": [
+ "compartment =|",
+ " requirements-compartment",
+ " | require-constraints-compartment",
+ " | assume-constraints-compartment",
+ " | satisfy-requirements-compartment",
+ " | satisfies-compartment",
+ " | actors-compartment",
+ " | subject-compartment",
+ " | stakeholders-compartment",
+ " | frames-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "requirements-compartment =",
+ " ![](\"images/requirements-compartment.svg\")
",
+ " requirements-compartment-contents"
+ ],
+ "name": "requirements-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "requirements-compartment-contents = (requirements-compartment-element)* '…'?"
+ ],
+ "name": "requirements-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "requirements-compartment-element =",
+ " OccurrenceUsagePrefix ConstraintUsageDeclaration"
+ ],
+ "name": "requirements-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "require-constraints-compartment =",
+ " ![](\"images/require-constraints-compartment.svg\")
",
+ " require-constraints-compartment-contents"
+ ],
+ "name": "require-constraints-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "require-constraints-compartment-contents = require-constraint-element* '…'?"
+ ],
+ "name": "require-constraints-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "require-constraint-element =",
+ " el-prefix? requireMemberPrefix? RequirementConstraintUsage"
+ ],
+ "name": "require-constraint-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "assume-constraints-compartment =",
+ " ![](\"images/assume-constraints-compartment.svg\")
",
+ " assume-constraints-compartment-contents"
+ ],
+ "name": "assume-constraints-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "assume-constraints-compartment-contents = require-constraint-element* '…'?"
+ ],
+ "name": "assume-constraints-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "satisfy-requirements-compartment =",
+ " ![](\"images/satisfy-requirements-compartment.svg\")
",
+ " satisfy-requirements-compartment-contents"
+ ],
+ "name": "satisfy-requirements-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "satisfy-requirements-compartment-contents = text-block"
+ ],
+ "name": "satisfy-requirements-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "satisfies-compartment =",
+ " ![](\"images/satisfies-compartment.svg\")
",
+ " satisfies-compartment-contents"
+ ],
+ "name": "satisfies-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "satisfies-compartment-contents = UsageDeclaration* '…'?"
+ ],
+ "name": "satisfies-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "actors-compartment =",
+ " ![](\"images/actors-compartment.svg\")
",
+ " actors-compartment-contents"
+ ],
+ "name": "actors-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "actors-compartment-contents = (actors-compartment-element)* '…'?"
+ ],
+ "name": "actors-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "actors-compartment-element = el-prefix? MemberPrefix usage-cp"
+ ],
+ "name": "actors-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "subject-compartment =",
+ " ![](\"images/subject-compartment.svg\")
",
+ " subject-compartment-contents"
+ ],
+ "name": "subject-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "subject-compartment-contents = (subject-compartment-element)* '…'?"
+ ],
+ "name": "subject-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "subject-compartment-element = el-prefix? MemberPrefix usage-cp"
+ ],
+ "name": "subject-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "stakeholders-compartment =",
+ " ![](\"images/stakeholders-compartment.svg\")
",
+ " stakeholders-compartment-contents"
+ ],
+ "name": "stakeholders-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "stakeholders-compartment-contents = (stakeholders-compartment-element)* '…'?"
+ ],
+ "name": "stakeholders-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "stakeholders-compartment-element = el-prefix? MemberPrefix usage-cp"
+ ],
+ "name": "stakeholders-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "frames-compartment =",
+ " ![](\"images/frames-compartment.svg\")
",
+ " frames-compartment-contents"
+ ],
+ "name": "frames-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "frames-compartment-contents = (frames-compartment-element)* '…'?"
+ ],
+ "name": "frames-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "frames-compartment-element = el-prefix* MemberPrefix? FramedConcernUsage"
+ ],
+ "name": "frames-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "concerns-compartment =",
+ " ![](\"images/concerns-compartment.svg\")
",
+ " concerns-compartment-contents"
+ ],
+ "name": "concerns-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": true,
+ "lines": [
+ "interconnection-element =|",
+ " requirement-ref",
+ " | requirement",
+ " | concern",
+ " | distinguished-parameter",
+ " | distinguished-parameter-link",
+ " | concern-stakeholder-link"
+ ],
+ "name": "interconnection-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": true,
+ "lines": [
+ "general-relationship =| frame-relationship"
+ ],
+ "name": "general-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": true,
+ "lines": [
+ "subject-actors-stakeholders-node =| requirement"
+ ],
+ "name": "subject-actors-stakeholders-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "distinguished-parameter =",
+ " subject",
+ " | actor",
+ " | stakeholder"
+ ],
+ "name": "distinguished-parameter"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "subject =",
+ " ![](\"images/subject.svg\")
"
+ ],
+ "name": "subject"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "actor =",
+ " ![](\"images/actor-1.svg\")
",
+ " |",
+ " ![](\"images/actor-2.svg\")
"
+ ],
+ "name": "actor"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "stakeholder =",
+ " ![](\"images/stakeholder.svg\")
"
+ ],
+ "name": "stakeholder"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "subject-name = UsageDeclaration"
+ ],
+ "name": "subject-name"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "actor-name = UsageDeclaration"
+ ],
+ "name": "actor-name"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "stakeholder-name = UsageDeclaration"
+ ],
+ "name": "stakeholder-name"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "distinguished-parameter-link =",
+ " ![](\"images/distinguished-parameter-link.svg\")
"
+ ],
+ "name": "distinguished-parameter-link"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "frame-relationship =",
+ " ![](\"images/frame-relationship.svg\")
"
+ ],
+ "name": "frame-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "concern-stakeholder-link =",
+ " ![](\"images/concern-stakeholder-link.svg\")
"
+ ],
+ "name": "concern-stakeholder-link"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "satisfy-edge =",
+ " ![](\"images/satisfy-edge.svg\")
"
+ ],
+ "name": "satisfy-edge"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "satisfier = usage-node | definition-node"
+ ],
+ "name": "satisfier"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": true,
+ "lines": [
+ "general-relationship =| satisfy-edge"
+ ],
+ "name": "general-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "require-edge =",
+ " ![](\"images/require-edge.svg\")
"
+ ],
+ "name": "require-edge"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "requirer = usage-node | definition-node"
+ ],
+ "name": "requirer"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": true,
+ "lines": [
+ "general-relationship =| require-edge"
+ ],
+ "name": "general-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "require-constraint-node =",
+ " ![](\"images/require-constraint-node.svg\")
"
+ ],
+ "name": "require-constraint-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "require-constraint-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'require' 'constraint' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "require-constraint-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| require-constraint-node"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "frame-concern-node =",
+ " ![](\"images/frame-concern-node.svg\")
"
+ ],
+ "name": "frame-concern-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "frame-concern-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'frame' 'concern' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "frame-concern-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| frame-concern-node"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "frame-edge =",
+ " ![](\"images/frame-edge.svg\")
"
+ ],
+ "name": "frame-edge"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": false,
+ "lines": [
+ "framer = requirement | requirement-def | viewpoint | viewpoint-def"
+ ],
+ "name": "framer"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.21",
+ "is_partial": true,
+ "lines": [
+ "general-relationship =| frame-edge"
+ ],
+ "name": "general-relationship"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.22",
+ "lines": [
+ "Clause 8.2.3.22 Cases Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.22",
+ "is_partial": true,
+ "lines": [
+ "compartment =| objective-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.22",
+ "is_partial": false,
+ "lines": [
+ "objective-compartment =",
+ " ![](\"images/objective-compartment.svg\")
",
+ " objective-compartment-contents"
+ ],
+ "name": "objective-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.22",
+ "is_partial": false,
+ "lines": [
+ "objective-compartment-contents = (objective-compartment-element)* '…'?"
+ ],
+ "name": "objective-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.22",
+ "is_partial": false,
+ "lines": [
+ "objective-compartment-element =",
+ " comp-prefix? MemberPrefix ConstraintUsageDeclaration RequirementBody"
+ ],
+ "name": "objective-compartment-element"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.23",
+ "lines": [
+ "Clause 8.2.3.23 Analysis Cases Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.23",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| analysis-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.23",
+ "is_partial": false,
+ "lines": [
+ "analysis-def =",
+ " ![](\"images/analysis-def.svg\")
"
+ ],
+ "name": "analysis-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.23",
+ "is_partial": false,
+ "lines": [
+ "analysis-def-name-compartment =",
+ " '«' DefinitionPrefix 'analysis' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "analysis-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.23",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| analysis"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.23",
+ "is_partial": false,
+ "lines": [
+ "analysis =",
+ " ![](\"images/analysis.svg\")
"
+ ],
+ "name": "analysis"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.23",
+ "is_partial": false,
+ "lines": [
+ "analysis-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'analysis' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "analysis-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.23",
+ "is_partial": true,
+ "lines": [
+ "compartment =| analyses-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.23",
+ "is_partial": false,
+ "lines": [
+ "analyses-compartment =",
+ " ![](\"images/analyses-compartment.svg\")
",
+ " analyses-compartment-contents"
+ ],
+ "name": "analyses-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.23",
+ "is_partial": false,
+ "lines": [
+ "analyses-compartment-contents = analyses-compartment-element* '…'?"
+ ],
+ "name": "analyses-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.23",
+ "is_partial": false,
+ "lines": [
+ "analyses-compartment-element =",
+ " el-prefix? OccurrenceUsagePrefix ConstraintUsageDeclaration CaseBody"
+ ],
+ "name": "analyses-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.23",
+ "is_partial": true,
+ "lines": [
+ "action-flow-element =|",
+ " analysis-def",
+ " | analysis"
+ ],
+ "name": "action-flow-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.23",
+ "is_partial": true,
+ "lines": [
+ "subject-actors-stakeholders-node =| analysis | analysis-def"
+ ],
+ "name": "subject-actors-stakeholders-node"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.24",
+ "lines": [
+ "Clause 8.2.3.24 Verification Cases Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| verification-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": false,
+ "lines": [
+ "verification-def =",
+ " ![](\"images/verification-def.svg\")
"
+ ],
+ "name": "verification-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": false,
+ "lines": [
+ "verification-def-name-compartment =",
+ " '«' DefinitionPrefix 'verification' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "verification-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| verification"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": false,
+ "lines": [
+ "verification =",
+ " ![](\"images/verification.svg\")
"
+ ],
+ "name": "verification"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": false,
+ "lines": [
+ "verification-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'verification' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "verification-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": false,
+ "lines": [
+ "verify-requirement-node =",
+ " ![](\"images/verify-requirement-node.svg\")
"
+ ],
+ "name": "verify-requirement-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": false,
+ "lines": [
+ "verify-requirement-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'verify' 'requirement' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "verify-requirement-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": true,
+ "lines": [
+ "usage-node =| verify-requirement-node"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": true,
+ "lines": [
+ "compartment =|",
+ " verifications-compartment",
+ " | verifies-compartment",
+ " | verification-methods-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": false,
+ "lines": [
+ "verifications-compartment =",
+ " ![](\"images/verifications-compartment.svg\")
",
+ " verifications-compartment-contents"
+ ],
+ "name": "verifications-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": false,
+ "lines": [
+ "verifications-compartment-contents = (verifications-compartment-element)* '…'?"
+ ],
+ "name": "verifications-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": false,
+ "lines": [
+ "verifications-compartment-element =",
+ " el-prefix? OccurrenceUsagePrefix ConstraintUsageDeclaration CaseBody '…'"
+ ],
+ "name": "verifications-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": false,
+ "lines": [
+ "verifies-compartment =",
+ " ![](\"images/verifies-compartment.svg\")
",
+ " verifies-compartment-contents"
+ ],
+ "name": "verifies-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": false,
+ "lines": [
+ "verifies-compartment-contents = (verifies-compartment-element)* '…'?"
+ ],
+ "name": "verifies-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": false,
+ "lines": [
+ "verifies-compartment-element = el-prefix? MemberPrefix RequirementVerificationUsage '…'"
+ ],
+ "name": "verifies-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": false,
+ "lines": [
+ "verification-methods-compartment =",
+ " ![](\"images/verification-methods-compartment.svg\")
",
+ " verification-methods-compartment-contents"
+ ],
+ "name": "verification-methods-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": false,
+ "lines": [
+ "verification-methods-compartment-contents = (verification-methods-compartment-element)* '…'?"
+ ],
+ "name": "verification-methods-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": false,
+ "lines": [
+ "verification-methods-compartment-element = MetadataBody"
+ ],
+ "name": "verification-methods-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": true,
+ "lines": [
+ "action-flow-element =|",
+ " verification-def",
+ " | verification"
+ ],
+ "name": "action-flow-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": true,
+ "lines": [
+ "general-relationship =| verify-relationship"
+ ],
+ "name": "general-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": false,
+ "lines": [
+ "verify-relationship =",
+ " ![](\"images/verify-relationship.svg\")
"
+ ],
+ "name": "verify-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.24",
+ "is_partial": true,
+ "lines": [
+ "subject-actors-stakeholders-node =| verification | verification-def"
+ ],
+ "name": "subject-actors-stakeholders-node"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.25",
+ "lines": [
+ "Clause 8.2.3.25 Use Cases Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| use-case-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": false,
+ "lines": [
+ "use-case-def =",
+ " ![](\"images/use-case-def.svg\")
"
+ ],
+ "name": "use-case-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": false,
+ "lines": [
+ "use-case-def-name-compartment =",
+ " '«' DefinitionPrefix 'use' 'case' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "use-case-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": true,
+ "lines": [
+ "usage-node =|",
+ " use-case",
+ " | include-use-case-usage"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": false,
+ "lines": [
+ "use-case =",
+ " ![](\"images/use-case.svg\")
"
+ ],
+ "name": "use-case"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": false,
+ "lines": [
+ "use-case-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'use' 'case' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "use-case-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": false,
+ "lines": [
+ "include-use-case-usage =",
+ " ![](\"images/include-use-case-usage.svg\")
"
+ ],
+ "name": "include-use-case-usage"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": false,
+ "lines": [
+ "include-use-case-name-compartment =",
+ " '«include use case»'",
+ " requirement-name-compartment"
+ ],
+ "name": "include-use-case-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": true,
+ "lines": [
+ "compartment =|",
+ " use-cases-compartment",
+ " | include-actions-compartment",
+ " | includes-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": false,
+ "lines": [
+ "use-cases-compartment =",
+ " ![](\"images/use-cases-compartment.svg\")
",
+ " use-cases-compartment-contents"
+ ],
+ "name": "use-cases-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": false,
+ "lines": [
+ "use-cases-compartment-contents = use-cases-compartment-element* '…'?"
+ ],
+ "name": "use-cases-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": false,
+ "lines": [
+ "use-cases-compartment-element = el-prefix? OccurrenceUsagePrefix ConstraintUsageDeclaration"
+ ],
+ "name": "use-cases-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": false,
+ "lines": [
+ "include-use-cases-compartment =",
+ " ![](\"images/include-use-cases-compartment.svg\")
",
+ " include-use-cases-compartment-contents"
+ ],
+ "name": "include-use-cases-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": false,
+ "lines": [
+ "include-use-cases-compartment-contents = (include-use-cases-compartment-element)* '…'?"
+ ],
+ "name": "include-use-cases-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": false,
+ "lines": [
+ "include-use-cases-compartment-element =",
+ " el-prefix? OccurrenceUsagePrefix",
+ " ( OwnedSubsetting FeatureSpecializationPart? | UsageDeclaration )",
+ " ( ValuePart | ActionUsageParameterList )? CaseBody"
+ ],
+ "name": "include-use-cases-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": false,
+ "lines": [
+ "includes-compartment =",
+ " ![](\"images/includes-compartment.svg\")
",
+ " includes-compartment-contents"
+ ],
+ "name": "includes-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": false,
+ "lines": [
+ "includes-compartment-contents = (includes-compartment-element)* '…'?"
+ ],
+ "name": "includes-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": false,
+ "lines": [
+ "includes-compartment-element =",
+ " el-prefix? OccurrenceUsagePrefix",
+ " ( OwnedSubsetting FeatureSpecializationPart? | UsageDeclaration )"
+ ],
+ "name": "includes-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": true,
+ "lines": [
+ "action-flow-element =|",
+ " use-case-def",
+ " | use-case"
+ ],
+ "name": "action-flow-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": true,
+ "lines": [
+ "general-relationship =| include-use-case-relationship"
+ ],
+ "name": "general-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": false,
+ "lines": [
+ "include-use-case-relationship =",
+ " ![](\"images/include-use-case-relationship.svg\")
"
+ ],
+ "name": "include-use-case-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.25",
+ "is_partial": true,
+ "lines": [
+ "subject-actors-stakeholders-node =| use-case | use-case-def"
+ ],
+ "name": "subject-actors-stakeholders-node"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.26",
+ "lines": [
+ "Clause 8.2.3.26 Views and Viewpoints Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "root-view =",
+ "\tframed-view"
+ ],
+ "name": "root-view"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": true,
+ "lines": [
+ "definition-node =|",
+ " viewpoint-def",
+ " | view-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "viewpoint-def =",
+ " ![](\"images/viewpoint-def.svg\")
"
+ ],
+ "name": "viewpoint-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "viewpoint-def-name-compartment =",
+ " '«' DefinitionPrefix 'viewpoint' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "viewpoint-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "view-def =",
+ " ![](\"images/view-def.svg\")
"
+ ],
+ "name": "view-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "view-def-name-compartment =",
+ " '«' DefinitionPrefix 'view' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "view-def-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": true,
+ "lines": [
+ "usage-node =|",
+ " viewpoint",
+ " | view",
+ " | framed-view"
+ ],
+ "name": "usage-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "viewpoint =",
+ " ![](\"images/viewpoint.svg\")
"
+ ],
+ "name": "viewpoint"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "viewpoint-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'viewpoint' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "viewpoint-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "view =",
+ " ![](\"images/view.svg\")
"
+ ],
+ "name": "view"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "view-name-compartment =",
+ " '«' OccurrenceUsagePrefix 'view' '»'",
+ " usage-name-with-alias"
+ ],
+ "name": "view-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": true,
+ "lines": [
+ "compartment =|",
+ " views-compartment",
+ " | viewpoints-compartment",
+ " | exposes-compartment",
+ " | filters-compartment",
+ " | rendering-compartment"
+ ],
+ "name": "compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "views-compartment =",
+ " ![](\"images/views-compartment.svg\")
",
+ " views-compartment-contents"
+ ],
+ "name": "views-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "views-compartment-contents = (views-compartment-element)* '…'"
+ ],
+ "name": "views-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "views-compartment-element =",
+ " el-prefix? OccurrenceUsagePrefix UsageDeclaration? ValueOrFlowPart? ViewBody"
+ ],
+ "name": "views-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "viewpoints-compartment =",
+ " ![](\"images/viewpoints-compartment.svg\")
",
+ " viewpoints-compartment-contents"
+ ],
+ "name": "viewpoints-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "viewpoints-compartment-contents = (viewpoints-compartment-element)* '…'?"
+ ],
+ "name": "viewpoints-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "viewpoints-compartment-element =",
+ " el-prefix? OccurrenceUsagePrefix ConstraintUsageDeclaration RequirementBody"
+ ],
+ "name": "viewpoints-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "exposes-compartment =",
+ " ![](\"images/exposes-compartment.svg\")
",
+ " exposes-compartment-contents"
+ ],
+ "name": "exposes-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "exposes-compartment-contents = exposes-compartment-element* '…'?"
+ ],
+ "name": "exposes-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "exposes-compartment-element = MembershipExpose | NamespaceExpose"
+ ],
+ "name": "exposes-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "filters-compartment =",
+ " ![](\"images/filters-compartment.svg\")
",
+ " filters-compartment-contents"
+ ],
+ "name": "filters-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "filters-compartment-contents = (filters-compartment-element)* '…'?"
+ ],
+ "name": "filters-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "filters-compartment-element = el-prefix? MemberPrefix OwnedExpression"
+ ],
+ "name": "filters-compartment-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "rendering-compartment =",
+ " ![](\"images/rendering-compartment.svg\")
",
+ " rendering-compartment-contents"
+ ],
+ "name": "rendering-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "rendering-compartment-contents = usage-cp* '…'?"
+ ],
+ "name": "rendering-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": true,
+ "lines": [
+ "interconnection-element =|",
+ " viewpoint-def",
+ " | viewpoint",
+ " | view-def",
+ " | view"
+ ],
+ "name": "interconnection-element"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "framed-view =",
+ " ![](\"images/framed-view.svg\")
"
+ ],
+ "name": "framed-view"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "frameless-view =",
+ " general-view",
+ " | interconnection-view",
+ " | action-flow-view",
+ " | state-transition-view",
+ " | sequence-view"
+ ],
+ "name": "frameless-view"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "view-frame-name-compartment = '«view»' QualifiedName (':' QualifiedName)?"
+ ],
+ "name": "view-frame-name-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "view-frame-info-contents = Expose? ElementFilterMember? AnnotatingElement*"
+ ],
+ "name": "view-frame-info-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "view-frame-info-compartment-tr =",
+ " ![](\"images/view-frame-info-compartment-tr.svg\")
"
+ ],
+ "name": "view-frame-info-compartment-tr"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "view-frame-info-compartment-bl =",
+ " ![](\"images/view-frame-info-compartment-bl.svg\")
"
+ ],
+ "name": "view-frame-info-compartment-bl"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "view-frame-info-compartment-br =",
+ " ![](\"images/view-frame-info-compartment-br.svg\")
"
+ ],
+ "name": "view-frame-info-compartment-br"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": true,
+ "lines": [
+ "general-relationship =| expose-relationship"
+ ],
+ "name": "general-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "expose-relationship =",
+ " expose-r | toplevel-expose-r | recursive-expose-r"
+ ],
+ "name": "expose-relationship"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "expose-r =",
+ " ![](\"images/expose-r.svg\")
"
+ ],
+ "name": "expose-r"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "toplevel-expose-r =",
+ " ![](\"images/toplevel-expose-r.svg\")
"
+ ],
+ "name": "toplevel-expose-r"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "recursive-expose-r =",
+ " ![](\"images/recursive-expose-r.svg\")
"
+ ],
+ "name": "recursive-expose-r"
+ },
+ {
+ "@type": "Comment",
+ "clause_id": "8.2.3.26",
+ "lines": [
+ "// 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."
+ ]
+ },
+ {
+ "@type": "Comment",
+ "clause_id": "8.2.3.26",
+ "lines": [
+ "// 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."
+ ]
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.27",
+ "lines": [
+ "Clause 8.2.3.27 Metadata Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.27",
+ "is_partial": true,
+ "lines": [
+ "annotation-node =| metadata-feature-annotation-node"
+ ],
+ "name": "annotation-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.27",
+ "is_partial": false,
+ "lines": [
+ "metadata-feature-annotation-node =",
+ " ![](\"images/metadata-feature-annotation-node.svg\")
"
+ ],
+ "name": "metadata-feature-annotation-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.27",
+ "is_partial": false,
+ "lines": [
+ "metadata-feature-decl = Identification"
+ ],
+ "name": "metadata-feature-decl"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.27",
+ "is_partial": false,
+ "lines": [
+ "metadata-feature-name-value-list =",
+ " ( metadata-feature-name '=' expression-text )*"
+ ],
+ "name": "metadata-feature-name-value-list"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.27",
+ "is_partial": false,
+ "lines": [
+ "metadata-feature-name = Identification"
+ ],
+ "name": "metadata-feature-name"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.27",
+ "is_partial": false,
+ "lines": [
+ "expression-text = text-block"
+ ],
+ "name": "expression-text"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.27",
+ "is_partial": false,
+ "lines": [
+ "metadata-def =",
+ " ![](\"images/metadata-def.svg\")
"
+ ],
+ "name": "metadata-def"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.27",
+ "is_partial": false,
+ "lines": [
+ "metadata-def-name-compartment =",
+ " '«' BasicUsagePrefix? keyword* 'metadata' 'def' '»'",
+ " definition-name-with-alias"
+ ],
+ "name": "metadata-def-name-compartment"
+ },
+ {
+ "@type": "Comment",
+ "clause_id": "8.2.3.27",
+ "lines": [
+ "// End of BNF",
+ ""
+ ]
+ }
+]
\ No newline at end of file
diff --git a/tool-support/bnf_grammar_tools/tests/KerML_and_SysML_grammars/SysML-graphical-bnf-corrected-marked_up.kgbnf b/tool-support/bnf_grammar_tools/tests/KerML_and_SysML_grammars/SysML-graphical-bnf-corrected-marked_up.kgbnf
new file mode 100644
index 000000000..c57251cb8
--- /dev/null
+++ b/tool-support/bnf_grammar_tools/tests/KerML_and_SysML_grammars/SysML-graphical-bnf-corrected-marked_up.kgbnf
@@ -0,0 +1,2185 @@
+// Source document: tests/KerML_and_SysML_spec_sources/SysML-spec.html
+// Generated by bnf_grammar_processor at: 2025-11-28T15:06:37Z
+
+// 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 =
+ 
+ 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 =
+ 
+
+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 =
+ 
+
+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 =
+ 
+
+n-ary-dependency-client-link =
+ 
+
+n-ary-dependency-supplier-link =
+ 
+
+// 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 =
+ 
+
+comment-with-keyword =
+ 
+
+documentation-node =
+ 
+
+documentation-compartment =
+ 
+ Identification
+ text-block
+
+textual-representation-node =
+ 
+
+language-string = 'language' '=' STRING_VALUE
+
+annotation-link =
+ 
+
+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 =
+ 
+
+package-with-name-in-tab =
+ 
+
+imported-package-with-name-inside =
+ 
+
+imported-package-with-name-in-tab =
+ 
+
+package-compartment =
+ general-compartment
+ | documentation-compartment
+ | packages-compartment
+ | members-compartment
+ | relationships-compartment
+
+compartment =| package-compartment
+
+packages-compartment =
+ 
+ packages-compartment-contents
+
+packages-compartment-contents = packages-compartment-element* '…'?
+
+packages-compartment-element = el-prefix? Identification
+
+members-compartment =
+ 
+ members-compartment-contents
+
+members-compartment-contents = members-compartment-element* '…'?
+
+members-compartment-element = el-prefix? (DefinitionElement | UsageElement)
+
+relationships-compartment =
+ 
+ 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 =
+ 
+
+top-level-import =
+ 
+
+recursive-import =
+ 
+
+owned-membership =
+ 
+
+unowned-membership =
+ 
+
+// 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 =
+ 
+ features-compartment-contents
+
+features-compartment-contents = (features-compartment-element)* '…'?
+
+features-compartment-element = el-prefix? UsagePrefix usage-cp
+
+variants-compartment =
+ 
+ variants-compartment-contents
+
+variants-compartment-contents = members-compartment-contents
+
+variant-elementusages-compartment =
+ 
+ variants-compartment-contents
+
+general-relationship =|
+ type-relationship
+
+type-relationship =
+ subclassification
+ | subsetting
+ | definition
+ | redefinition
+ | composite-feature-membership
+ | noncomposite-feature-membership
+
+subclassification =
+ 
+
+definition =
+ 
+
+subsetting =
+ 
+
+reference-subsetting =
+ 
+
+redefinition =
+ 
+
+composite-feature-membership =
+ 
+
+noncomposite-feature-membership =
+ 
+
+el-prefix = '^' | '/'
+
+usage-cp = usageDeclaration ValuePart?
+
+extended-def =
+ 
+
+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 =
+ 
+
+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 =
+ 
+
+attribute-def-name-compartment =
+ '«' DefinitionPrefix 'attribute' 'def' '»'
+ definition-name-with-alias
+
+usage-node =| attribute
+
+attribute =
+ 
+
+attribute-name-compartment =
+ '«' UsagePrefix 'attribute' '»'
+ usage-name-with-alias
+
+compartment =| attributes-compartment
+
+attributes-compartment =
+ 
+ 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 =
+ 
+
+enumeration-def-name-compartment =
+ '«' DefinitionPrefix 'enum' 'def' '»'
+ definition-name-with-alias
+
+usage-node =| enumeration
+
+enumeration =
+ 
+
+enumeration-name-compartment =
+ '«' UsagePrefix 'enum' '»'
+ usage-name-with-alias
+
+compartment =| enums-compartment
+
+enums-compartment =
+ 
+ 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 =
+ 
+
+occurrence-def-name-compartment =
+ '«' DefinitionPrefix 'occurrence' 'def' '»'
+ definition-name-with-alias
+
+usage-node =|
+ occurrence
+ | occurrence-ref
+ | timeslice-or-snapshot-node
+
+occurrence =
+ 
+
+occurrence-ref =
+ 
+
+occurrence-name-compartment =
+ '«' OccurrenceUsagePrefix 'occurrence' '»'
+ usage-name-with-alias
+
+timeslice-or-snapshot-node =
+ timeslice
+ | snapshot
+
+timeslice =
+ 
+
+timeslice-name-compartment =
+ '«timeslice»'
+ usage-name-with-alias
+
+snapshot =
+ 
+
+snapshots-name-compartment =
+ '«snapshot»'
+ usage-name-with-alias
+
+event-occurrence-def =
+ 
+
+event-occurrence-def-name-compartment =
+ '«' DefinitionPrefix 'event' 'occurrence' 'def' '»'
+ definition-name-with-alias
+
+definition-node =| event-occurrence-def
+
+event-occurrence =
+ 
+
+event-occurrence-name-compartment =
+ '«' OccurrenceUsagePrefix 'event' 'occurrence' '»'
+ usage-name-with-alias
+
+usage-node =| event-occurrence
+
+event-edge =
+ 
+
+eventer = usage-node | definition-node
+
+portion-relationship =
+ 
+
+compartment =|
+ occurrences-compartment
+ | individuals-compartment
+ | timeslices-compartment
+ | snapshots-compartment
+ | sequence-compartment
+
+occurrences-compartment =
+ 
+ occurrences-compartment-contents
+
+occurrences-compartment-contents = (occurrences-compartment-element)* '…'?
+
+occurrences-compartment-element = el-prefix? OccurrenceUsagePrefix usage-cp
+
+individuals-compartment =
+ 
+ individuals-compartment-contents
+
+individuals-compartment-contents = (individuals-compartment-element)* '…'?
+
+individuals-compartment-element = occurrences-compartment-element
+
+timeslices-compartment =
+ 
+ timeslices-compartment-contents
+
+timeslices-compartment-contents = (timeslices-compartment-element)* '…'?
+
+timeslices-compartment-element = occurrences-compartment-element
+
+snapshots-compartment =
+ 
+ snapshots-compartment-contents
+
+snapshots-compartment-contents = (snapshots-compartment-element)* '…'?
+
+snapshots-compartment-element = occurrences-compartment-element
+
+sequence-compartment =
+ 
+ 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 =
+ 
+
+sq-port =
+ 
+
+sq-port-label = UsageDeclaration
+
+sq-l-node =
+ lifeline
+ | sq-proxy
+
+lifeline =
+ 
+
+sq-proxy =
+ 
+ |
+ 
+
+proxy-label = '.'? FeatureChainMember
+
+sq-graphical-relationship = message | sq-succession
+
+succession-label = UsageDeclaration?
+
+sq-succession =
+ 
+
+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 =
+ 
+
+item-def-name-compartment =
+ '«' DefinitionPrefix 'item' 'def' '»'
+ definition-name-with-alias
+
+usage-node =| item
+
+item =
+ 
+
+item-name-compartment =
+ '«' OccurrenceUsagePrefix 'item' '»'
+ usage-name-with-alias
+
+item-ref =
+ 
+
+compartment =| items-compartment
+
+items-compartment =
+ 
+ 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 =
+ 
+
+part-def-name-compartment =
+ '«' DefinitionPrefix 'part' 'def' '»'
+ definition-name-with-alias
+
+usage-node =| part
+
+part =
+ 
+
+part-name-compartment =
+ '«' OccurrenceUsagePrefix 'part' '»'
+ usage-name-with-alias
+
+part-ref =
+ 
+
+compartment =|
+ parts-compartment
+ | directed-features-compartment
+ | interconnection-compartment
+
+parts-compartment =
+ 
+ parts-compartment-contents
+
+parts-compartment-contents = (parts-compartment-element)* '…'?
+
+parts-compartment-element = el-prefix? OccurrenceUsagePrefix usage-cp
+
+directed-features-compartment =
+ 
+ directed-features-compartment-contents
+
+directed-features-compartment-contents = (directed-features-compartment-element)* '…'?
+
+directed-features-compartment-element =
+ el-prefix FeatureDirection DefinitionBodyItem*
+
+interconnection-compartment =
+ 
+ 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 =
+ 
+
+port-def-name-compartment =
+ '«' DefinitionPrefix 'port' 'def' '»'
+ definition-name-with-alias
+
+usage-node =| port-usage
+
+port-usage =
+ 
+
+port-name-compartment =
+ '«' OccurrenceUsagePrefix 'port' '»'
+ usage-name-with-alias
+
+compartment =| ports-compartment
+
+ports-compartment =
+ 
+ ports-compartment-contents
+
+ports-compartment-contents = (ports-compartment-element)* '…'?
+
+ports-compartment-element = el-prefix? OccurrenceUsagePrefix usage-cp
+
+interconnection-element =| port-def | port-usage
+
+pdh =
+ 
+ |
+ 
+ |
+ 
+
+pdv =
+ 
+ |
+ 
+ |
+ 
+
+port-l =
+ 
+ |
+ 
+ |
+ 
+ |
+ proxy-v
+
+port-r =
+ 
+ |
+ 
+ |
+ 
+ |
+ proxy-v
+
+port-t =
+ 
+ |
+ 
+ |
+ 
+ |
+ proxy-h
+
+port-b =
+ 
+ |
+ 
+ |
+ 
+ |
+ proxy-h
+
+port-label = QualifiedName (':' QualifiedName)?
+
+proxy-v =
+ 
+ |
+ 
+
+proxy-h =
+ 
+ |
+ 
+
+// 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 =
+ 
+
+connection-def-name-compartment =
+ '«' DefinitionPrefix 'connection' 'def' '»'
+ definition-name-with-alias
+
+usage-node =| connection
+
+connection =
+ 
+
+connection-name-compartment =
+ '«' OccurrenceUsagePrefix 'connection' '»'
+ usage-name-with-alias
+
+compartment =| connections-compartment
+
+connections-compartment =
+ 
+ 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 =
+ 
+ |
+ 
+
+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 =
+ 
+ |
+ 
+
+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 =
+ 
+
+n-ary-def-segment =
+ 
+
+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 =
+ 
+
+usage-node =| n-ary-connection-dot
+
+cdot-label = UsageDeclaration
+
+n-ary-segment =
+ 
+
+binding-connection =
+ 
+
+rolename = Identification?
+
+multiplicity = MultiplicityRange?
+
+connection-definition-elaboration =
+ 
+
+connection-usage-elaboration =
+ 
+
+// 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 =
+ 
+
+interface-def-name-compartment =
+ '«' DefinitionPrefix 'interface' 'def' '»'
+ definition-name-with-alias
+
+usage-node =| interface
+
+interface =
+ 
+
+interface-name-compartment =
+ '«' OccurrenceUsagePrefix 'interface' '»'
+ usage-name-with-alias
+
+compartment =|
+ interfaces-compartment
+ | ends-compartment
+
+interfaces-compartment =
+ 
+ interfaces-compartment-contents
+
+interfaces-compartment-contents = (interfaces-compartment-element)* '…'?
+
+interfaces-compartment-element =
+ el-prefix? OccurrenceUsagePrefix InterfaceUsageDeclaration
+
+ends-compartment =
+ 
+ ends-compartment-contents
+
+ends-compartment-contents = (ends-compartment-element)* '…'?
+
+ends-compartment-element = QualifiedName (':' QualifiedName)?
+
+connection-relationship =|
+ interface-connection
+
+interface-connection =
+ 
+
+interface-label = UsageDeclaration?
+
+// Clause 8.2.3.15 Allocations Graphical Notation
+
+definition-node =| allocation-def
+
+allocation-def =
+ 
+
+allocation-def-name-compartment =
+ '«' DefinitionPrefix 'allocation' 'def' '»'
+ definition-name-with-alias
+
+usage-node =| allocation
+
+allocation =
+ 
+
+allocation-name-compartment =
+ '«' OccurrenceUsagePrefix 'allocation' '»'
+ usage-name-with-alias
+
+compartment =| allocations-compartment
+
+allocations-compartment =
+ 
+ allocations-compartment-contents
+
+allocations-compartment-contents = (allocations-compartment-element)* '…'?
+
+allocations-compartment-element =
+ el-prefix? OccurrenceUsagePrefix AllocationUsageDeclaration UsageBody*
+
+general-relationship =| allocate-relationship
+
+allocate-relationship =
+ 
+
+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 =
+ 
+
+flow-def-name-compartment =
+ '«' DefinitionPrefix 'succession'? 'flow' 'def' '»'
+ definition-name-with-alias
+
+usage-node =| flow-node
+
+flow-node =
+ 
+
+flow-name-compartment =
+ '«' OccurrenceUsagePrefix ( 'message' | 'succession'? 'flow' ) '»'
+ usage-name-with-alias
+
+compartment =| flows-compartment
+
+flows-compartment =
+ 
+ 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 =
+ 
+
+// Note: proxy nodes and ends of messages must refer to occurrences
+
+message-label =
+ UsageDeclaration? ('of' FlowPayloadFeatureMember)? | FlowPayloadFeatureMember
+
+flow =
+ 
+
+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 =
+ 
+
+succession-flow-label = flow-label
+
+flow-on-connection =
+ 
+
+flow-node =
+ flow-node-r
+ | flow-node-l
+ | sflow-node-r
+ | sflow-node-l
+ | message-node-r
+ | message-node-l
+
+flow-node-r =
+ 
+
+flow-node-l =
+ 
+
+sflow-node-r =
+ 
+
+sflow-node-l =
+ 
+
+message-node-r =
+ 
+
+message-node-l =
+ 
+
+flow-label =
+ Identification | FlowPayloadFeatureMember
+
+// Clause 8.2.3.17 Actions Graphical Notation
+
+definition-node =| action-def
+
+action-def =
+ 
+
+action-def-name-compartment =
+ '«' DefinitionPrefix 'action' 'def' '»'
+ definition-name-with-alias
+
+usage-node =|
+ action
+ | perform-action-usage
+
+action =
+ 
+
+action-name-compartment =
+ '«' OccurrenceUsagePrefix 'action' '»'
+ usage-name-with-alias
+
+perform-action-usage =
+ 
+
+action-ref =
+ 
+
+perform-action-name-compartment =
+ '«' OccurrenceUsagePrefix 'perform' 'action' '»'
+ usage-name-with-alias
+
+compartment =|
+ actions-compartment
+ | perform-actions-compartment
+ | parameters-compartment
+ | action-flow-compartment
+
+actions-compartment =
+ 
+ actions-compartment-contents
+
+actions-compartment-contents = (actions-compartment-element)* '…'?
+
+actions-compartment-element =
+ el-prefix? OccurrenceUsagePrefix ActionUsageDeclaration
+
+perform-actions-compartment =
+ 
+ perform-actions-compartment-contents
+
+perform-actions-compartment-contents = (perform-actions-compartment-element)* '…'?
+
+perform-actions-compartment-element =
+ el-prefix? OccurrenceUsagePrefix PerformActionUsageDeclaration
+
+parameters-compartment =
+ 
+ parameters-compartment-contents
+
+parameters-compartment-contents = (parameters-compartment-element)* '…'?
+
+parameters-compartment-element =
+ el-prefix? FeatureDirection UsageDeclaration ValueOrFlowPart? DefinitionBodyItem*
+
+performed-by-compartment =
+ 
+ performed-by-compartment-contents
+
+performed-by-compartment-contents = QualifiedName* '…'?
+
+action-flow-compartment =
+ 
+ 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 =
+ 
+ |
+ 
+ |
+ proxy-v
+
+param-r =
+ 
+ |
+ 
+ |
+ proxy-v
+
+param-t =
+ 
+ |
+ 
+ |
+ proxy-h
+
+param-b =
+ 
+ |
+ 
+ |
+ proxy-h
+
+param-label = QualifiedName (':' QualifiedName)*
+
+start-node =
+ 
+
+done-node =
+ 
+
+terminate-node =
+ 
+
+fork-node =
+ 
+
+join-node =
+ 
+
+decision-node =
+ 
+
+merge-node =
+ 
+
+send-action-node =
+ 
+
+send-action-name-compartment =
+ '«' OccurrenceUsagePrefix 'send' 'action' '»'
+ usage-name-with-alias
+
+send-action-expression = NodeParameterMember 'to' NodeParameterMember
+
+accept-action-node =
+ 
+
+accept-action-name-compartment =
+ '«' OccurrenceUsagePrefix 'accept' 'action' '»'
+ usage-name-with-alias
+
+accept-action-expression = AcceptParameterPart
+
+while-loop-action-node =
+ 
+
+while-condition =
+ 
+ condition-expression
+
+until-condition =
+ 
+ condition-expression
+
+while-loop-action-name-compartment =
+ '«' OccurrenceUsagePrefix 'loop' '»'
+ usage-name-with-alias
+
+for-loop-action-node =
+ 
+
+iteration =
+ 
+ iteration-expression
+
+loop-body =
+ 
+ action-body
+
+for-loop-action-name-compartment =
+ '«' OccurrenceUsagePrefix 'loop' '»'
+ usage-name-with-alias
+
+if-else-action-node =
+ 
+
+if-condition =
+ 
+ condition-expression
+
+then-body =
+ 
+ action-body
+
+else-body =
+ 
+ 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 =
+ 
+
+assign-action-name-compartment =
+ '«' OccurrenceUsagePrefix 'assign' '»'
+ usage-name-with-alias
+
+perform-actions-swimlanes = (swimlane)*
+
+swimlane =
+ 
+
+parameter =
+ param-l | param-r | param-t | param-b
+
+aflow-succession =
+ 
+
+else-branch =
+ 
+
+perform-edge =
+ 
+
+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 =
+ 
+
+state-def-name-compartment =
+ '«' DefinitionPrefix 'state' 'def' '»'
+ definition-name-with-alias
+ ('«' 'parallel' '»')?
+
+usage-node =|
+ state
+ | exhibit-state-usage
+
+state =
+ 
+
+state-ref =
+ 
+
+state-name-compartment =
+ '«' OccurrenceUsagePrefix 'state' '»'
+ usage-name-with-alias
+ ('«' 'parallel' '»')?
+
+exhibit-state-usage =
+ 
+
+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 =
+ 
+ state-subaction-body
+
+state-entry-action =
+ 
+ state-subaction-body
+
+state-exit-action =
+ 
+ state-subaction-body
+
+entry-action =
+ 
+ |
+ 
+
+entry-action-name-comp =
+ '«' 'entry' OccurrenceUsagePrefix 'action' '»'
+ usage-name-with-alias
+
+exit-action =
+ 
+
+exit-action-name-comp =
+ '«' 'exit' OccurrenceUsagePrefix 'action' '»'
+ usage-name-with-alias
+
+do-action =
+ 
+
+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 =
+ 
+ states-compartment-contents
+
+states-compartment-contents = (states-compartment-element)* '…'?
+
+states-compartment-element =
+ el-prefix? OccurrenceUsagePrefix ActionUsageDeclaration
+
+state-actions-compartment =
+ 
+ state-actions-compartment-contents
+
+state-actions-compartment-contents = (state-actions-compartment-element)* '…'?
+
+state-actions-compartment-element =
+ el-prefix? EntryActionMember | DoActionMember | ExitActionMember
+
+exhibit-states-compartment =
+ 
+ exhibit-states-compartment-contents
+
+exhibit-states-compartment-contents = exhibit-state-scompartment-element* '…'?
+
+exhibit-states-compartment-element-compartment = UsageDeclaration
+
+successions-compartment =
+ 
+ successions-compartment-contents
+
+successions-compartment-contents = QualifiedName* '…'?
+
+state-transition-compartment =
+ 
+ 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 =
+ 
+ |
+ 
+
+state-source =
+ state | state-ref
+
+transition-label = trigger-expression '/' ActionUsage
+
+trigger-expression = AcceptParameterPart (guard-expression)?
+
+st-succession =
+ 
+ |
+ 
+
+exhibit-edge =
+ 
+
+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 =
+ 
+
+calc-def-name-compartment =
+ '«' DefinitionPrefix 'calc' 'def' '»'
+ definition-name-with-alias
+
+usage-node =| calc
+
+calc =
+ 
+
+calc-name-compartment =
+ '«' OccurrenceUsagePrefix 'calc' '»'
+ usage-name-with-alias
+
+action-flow-element =|
+ calc-def
+ | calc
+
+compartment =|
+ calcs-compartment
+ | result-compartment
+
+calcs-compartment =
+ 
+ calcs-compartment-contents
+
+calcs-compartment-contents = calcs-compartment-element* '…'?
+
+calcs-compartment-element = el-prefix? OccurrenceUsagePrefix ActionUsageDeclaration
+
+result-compartment =
+ 
+ result-compartment-contents
+
+result-compartment-contents = OwnedExpression
+
+// Clause 8.2.3.20 Constraints Graphical Notation
+
+definition-node =| constraint-def
+
+constraint-def =
+ 
+
+constraint-def-name-compartment =
+ '«' DefinitionPrefix 'constraint' 'def' '»'
+ definition-name-with-alias
+
+usage-node =
+ constraint
+ | assert-constraint-node
+
+constraint =
+ 
+
+constraint-ref =
+ 
+
+constraint-name-compartment =
+ '«' OccurrenceUsagePrefix 'constraint' '»'
+ usage-name-with-alias
+
+assert-constraint-node =
+ 
+
+assert-constraint-name-compartment =
+ '«assert constraint»'
+ constraint-name-compartment
+
+assume-constraint-node =
+ 
+
+assume-constraint-name-compartment =
+ '«' OccurrenceUsagePrefix 'assume' 'constraint' '»'
+ usage-name-with-alias
+
+usage-node =| assume-constraint-node | assert-constraint-node
+
+assume-edge =
+ 
+
+assumer = requirement | requirement-def
+
+general-relationship =| assume-edge
+
+assert-edge =
+ 
+
+assertor = usage-node | definition-node
+
+general-relationship =| assert-edge
+
+compartment =|
+ constraints-compartment
+ | assert-constraints-compartment
+
+constraints-compartment =
+ 
+ constraints-compartment-contents
+
+constraints-compartment-contents = (constraints-usage-compartment-element)* '…'?
+
+constraints-usage-compartment-element =
+ el-prefix? OccurrenceUsagePrefix ConstraintUsageDeclaration CalculationBody*
+
+assert-constraints-compartment =
+ 
+ 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 =
+ 
+
+requirement-def-name-compartment =
+ '«' DefinitionPrefix 'requirement' 'def' '»'
+ definition-name-with-alias
+
+usage-node =
+ requirement
+ | satisfy-requirement-usage
+ | concern
+
+requirement =
+ 
+
+requirement-ref =
+ 
+
+requirement-name-compartment =
+ '«' OccurrenceUsagePrefix 'requirement' '»'
+ usage-name-with-alias
+
+satisfy-requirement-usage =
+ 
+
+satisfy-requirement-name-compartment =
+ '«satisfy requirement»'
+ requirement-name-compartment
+
+concern-def =
+ 
+
+concern-def-name-compartment =
+ '«' DefinitionPrefix 'concern' 'def' '»'
+ definition-name-with-alias
+
+concern =
+ 
+
+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 =
+ 
+ requirements-compartment-contents
+
+requirements-compartment-contents = (requirements-compartment-element)* '…'?
+
+requirements-compartment-element =
+ OccurrenceUsagePrefix ConstraintUsageDeclaration
+
+require-constraints-compartment =
+ 
+ require-constraints-compartment-contents
+
+require-constraints-compartment-contents = require-constraint-element* '…'?
+
+require-constraint-element =
+ el-prefix? requireMemberPrefix? RequirementConstraintUsage
+
+assume-constraints-compartment =
+ 
+ assume-constraints-compartment-contents
+
+assume-constraints-compartment-contents = require-constraint-element* '…'?
+
+satisfy-requirements-compartment =
+ 
+ satisfy-requirements-compartment-contents
+
+satisfy-requirements-compartment-contents = text-block
+
+satisfies-compartment =
+ 
+ satisfies-compartment-contents
+
+satisfies-compartment-contents = UsageDeclaration* '…'?
+
+actors-compartment =
+ 
+ actors-compartment-contents
+
+actors-compartment-contents = (actors-compartment-element)* '…'?
+
+actors-compartment-element = el-prefix? MemberPrefix usage-cp
+
+subject-compartment =
+ 
+ subject-compartment-contents
+
+subject-compartment-contents = (subject-compartment-element)* '…'?
+
+subject-compartment-element = el-prefix? MemberPrefix usage-cp
+
+stakeholders-compartment =
+ 
+ stakeholders-compartment-contents
+
+stakeholders-compartment-contents = (stakeholders-compartment-element)* '…'?
+
+stakeholders-compartment-element = el-prefix? MemberPrefix usage-cp
+
+frames-compartment =
+ 
+ frames-compartment-contents
+
+frames-compartment-contents = (frames-compartment-element)* '…'?
+
+frames-compartment-element = el-prefix* MemberPrefix? FramedConcernUsage
+
+concerns-compartment =
+ 
+ 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 =
+ 
+
+actor =
+ 
+ |
+ 
+
+stakeholder =
+ 
+
+subject-name = UsageDeclaration
+
+actor-name = UsageDeclaration
+
+stakeholder-name = UsageDeclaration
+
+distinguished-parameter-link =
+ 
+
+frame-relationship =
+ 
+
+concern-stakeholder-link =
+ 
+
+satisfy-edge =
+ 
+
+satisfier = usage-node | definition-node
+
+general-relationship =| satisfy-edge
+
+require-edge =
+ 
+
+requirer = usage-node | definition-node
+
+general-relationship =| require-edge
+
+require-constraint-node =
+ 
+
+require-constraint-name-compartment =
+ '«' OccurrenceUsagePrefix 'require' 'constraint' '»'
+ usage-name-with-alias
+
+usage-node =| require-constraint-node
+
+frame-concern-node =
+ 
+
+frame-concern-name-compartment =
+ '«' OccurrenceUsagePrefix 'frame' 'concern' '»'
+ usage-name-with-alias
+
+usage-node =| frame-concern-node
+
+frame-edge =
+ 
+
+framer = requirement | requirement-def | viewpoint | viewpoint-def
+
+general-relationship =| frame-edge
+
+// Clause 8.2.3.22 Cases Graphical Notation
+
+compartment =| objective-compartment
+
+objective-compartment =
+ 
+ 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 =
+ 
+
+analysis-def-name-compartment =
+ '«' DefinitionPrefix 'analysis' 'def' '»'
+ definition-name-with-alias
+
+usage-node =| analysis
+
+analysis =
+ 
+
+analysis-name-compartment =
+ '«' OccurrenceUsagePrefix 'analysis' '»'
+ usage-name-with-alias
+
+compartment =| analyses-compartment
+
+analyses-compartment =
+ 
+ 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 =
+ 
+
+verification-def-name-compartment =
+ '«' DefinitionPrefix 'verification' 'def' '»'
+ definition-name-with-alias
+
+usage-node =| verification
+
+verification =
+ 
+
+verification-name-compartment =
+ '«' OccurrenceUsagePrefix 'verification' '»'
+ usage-name-with-alias
+
+verify-requirement-node =
+ 
+
+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 =
+ 
+ verifications-compartment-contents
+
+verifications-compartment-contents = (verifications-compartment-element)* '…'?
+
+verifications-compartment-element =
+ el-prefix? OccurrenceUsagePrefix ConstraintUsageDeclaration CaseBody '…'
+
+verifies-compartment =
+ 
+ verifies-compartment-contents
+
+verifies-compartment-contents = (verifies-compartment-element)* '…'?
+
+verifies-compartment-element = el-prefix? MemberPrefix RequirementVerificationUsage '…'
+
+verification-methods-compartment =
+ 
+ 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 =
+ 
+
+subject-actors-stakeholders-node =| verification | verification-def
+
+// Clause 8.2.3.25 Use Cases Graphical Notation
+
+definition-node =| use-case-def
+
+use-case-def =
+ 
+
+use-case-def-name-compartment =
+ '«' DefinitionPrefix 'use' 'case' 'def' '»'
+ definition-name-with-alias
+
+usage-node =|
+ use-case
+ | include-use-case-usage
+
+use-case =
+ 
+
+use-case-name-compartment =
+ '«' OccurrenceUsagePrefix 'use' 'case' '»'
+ usage-name-with-alias
+
+include-use-case-usage =
+ 
+
+include-use-case-name-compartment =
+ '«include use case»'
+ requirement-name-compartment
+
+compartment =|
+ use-cases-compartment
+ | include-actions-compartment
+ | includes-compartment
+
+use-cases-compartment =
+ 
+ use-cases-compartment-contents
+
+use-cases-compartment-contents = use-cases-compartment-element* '…'?
+
+use-cases-compartment-element = el-prefix? OccurrenceUsagePrefix ConstraintUsageDeclaration
+
+include-use-cases-compartment =
+ 
+ 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 =
+ 
+ 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 =
+ 
+
+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 =
+ 
+
+viewpoint-def-name-compartment =
+ '«' DefinitionPrefix 'viewpoint' 'def' '»'
+ definition-name-with-alias
+
+view-def =
+ 
+
+view-def-name-compartment =
+ '«' DefinitionPrefix 'view' 'def' '»'
+ definition-name-with-alias
+
+usage-node =|
+ viewpoint
+ | view
+ | framed-view
+
+viewpoint =
+ 
+
+viewpoint-name-compartment =
+ '«' OccurrenceUsagePrefix 'viewpoint' '»'
+ usage-name-with-alias
+
+view =
+ 
+
+view-name-compartment =
+ '«' OccurrenceUsagePrefix 'view' '»'
+ usage-name-with-alias
+
+compartment =|
+ views-compartment
+ | viewpoints-compartment
+ | exposes-compartment
+ | filters-compartment
+ | rendering-compartment
+
+views-compartment =
+ 
+ views-compartment-contents
+
+views-compartment-contents = (views-compartment-element)* '…'
+
+views-compartment-element =
+ el-prefix? OccurrenceUsagePrefix UsageDeclaration? ValueOrFlowPart? ViewBody
+
+viewpoints-compartment =
+ 
+ viewpoints-compartment-contents
+
+viewpoints-compartment-contents = (viewpoints-compartment-element)* '…'?
+
+viewpoints-compartment-element =
+ el-prefix? OccurrenceUsagePrefix ConstraintUsageDeclaration RequirementBody
+
+exposes-compartment =
+ 
+ exposes-compartment-contents
+
+exposes-compartment-contents = exposes-compartment-element* '…'?
+
+exposes-compartment-element = MembershipExpose | NamespaceExpose
+
+filters-compartment =
+ 
+ filters-compartment-contents
+
+filters-compartment-contents = (filters-compartment-element)* '…'?
+
+filters-compartment-element = el-prefix? MemberPrefix OwnedExpression
+
+rendering-compartment =
+ 
+ rendering-compartment-contents
+
+rendering-compartment-contents = usage-cp* '…'?
+
+interconnection-element =|
+ viewpoint-def
+ | viewpoint
+ | view-def
+ | view
+
+framed-view =
+ 
+
+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 =
+ 
+
+view-frame-info-compartment-bl =
+ 
+
+view-frame-info-compartment-br =
+ 
+
+general-relationship =| expose-relationship
+
+expose-relationship =
+ expose-r | toplevel-expose-r | recursive-expose-r
+
+expose-r =
+ 
+
+toplevel-expose-r =
+ 
+
+recursive-expose-r =
+ 
+
+// 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 =
+ 
+
+metadata-feature-decl = Identification
+
+metadata-feature-name-value-list =
+ ( metadata-feature-name '=' expression-text )*
+
+metadata-feature-name = Identification
+
+expression-text = text-block
+
+metadata-def =
+ 
+
+metadata-def-name-compartment =
+ '«' BasicUsagePrefix? keyword* 'metadata' 'def' '»'
+ definition-name-with-alias
+
+// End of BNF
diff --git a/tool-support/bnf_grammar_tools/tests/KerML_and_SysML_grammars/SysML-graphical-bnf-corrected.html b/tool-support/bnf_grammar_tools/tests/KerML_and_SysML_grammars/SysML-graphical-bnf-corrected.html
new file mode 100644
index 000000000..0bf12c09c
--- /dev/null
+++ b/tool-support/bnf_grammar_tools/tests/KerML_and_SysML_grammars/SysML-graphical-bnf-corrected.html
@@ -0,0 +1,2799 @@
+
+
+
+
+![](\"images/|.svg\")
",
+ " |",
+ " proxy-v"
+ ],
+ "name": "|"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.12",
+ "is_partial": false,
+ "lines": [
+ "port-t =",
+ " ![](\"images/succession-compartment.svg\")
",
+ " succession-compartment-contents"
+ ],
+ "name": "succession-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "succession-compartment-contents = QualifiedName* '…'?"
+ ],
+ "name": "succession-compartment-contents"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.18",
+ "is_partial": false,
+ "lines": [
+ "state-transition-compartment =",
+ " ![](\"images/results-compartment.svg\")
",
+ " result-compartment-contents"
+ ],
+ "name": "results-compartment"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.19",
+ "is_partial": false,
+ "lines": [
+ "result-compartment-contents = OwnedExpression"
+ ],
+ "name": "result-compartment-contents"
+ },
+ {
+ "@type": "Heading",
+ "clause_id": "8.2.3.20",
+ "lines": [
+ "Clause 8.2.3.20 Constraints Graphical Notation"
+ ]
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": true,
+ "lines": [
+ "definition-node =| constraint-def"
+ ],
+ "name": "definition-node"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.20",
+ "is_partial": false,
+ "lines": [
+ "constraint-def =",
+ " ![](\"images/expose_r.svg\")
"
+ ],
+ "name": "expose_r"
+ },
+ {
+ "@type": "Production",
+ "abstract_syntax_type": "",
+ "clause_id": "8.2.3.26",
+ "is_partial": false,
+ "lines": [
+ "toplevel-expose-r =",
+ " 
+ |
+ proxy-v
+
+port-t =
+ 
+ succession-compartment-contents
+
+succession-compartment-contents = QualifiedName* '…'?
+
+state-transition-compartment =
+ 
+ result-compartment-contents
+
+result-compartment-contents = OwnedExpression
+
+// Clause 8.2.3.20 Constraints Graphical Notation
+
+definition-node =| constraint-def
+
+constraint-def =
+ 
+
+toplevel-expose-r =
+