[safety-hyperlinking] References in claims
To enable references to artefacts in the claim within a GSN node, each \textit{ArgumentElement} has a \textit{Claim} (\todo{see Figure}). A claim is a data structure with two attributes: a text attribute of type \textit{String} and a list of variables. A variable has an artefact type and a value. Variable types may be any type of AF3 native system model elements or a document.
When typing the text-based claim of an assurance case element, the user can reference model elements within the project for which the assurance case was created, with the help of a text field assistant (\todo{see Figure}). The referenced elements (their name and type) are saved as variables of the claim.
(from redmine: issue id 3778, created on 2019-07-26, closed on 2020-10-20)
- Relations:
- parent #2985 (closed)