4054

Small fixes

Description

• Delete Assurance Claim Patterns Database from the Context Menu of Assurance Package elements;

• Delete "Type" from the Properties View of Argument Modules and in the metamodel;

• Implement:

--- ExplicitCase requires to document goal decompositions via strategies. Therefore, a constraint on the assurance case model enforces the existence of a strategy node whenever the user wants to connect two goals.

--- Avoidance of circular argumentation

Additional task:

• Preventing the creation of invalid relationships. Only GSN connections permitted by the GSN standard can be modeled (e.g., a context node cannot be connected to a justification node). For implementing this, look into GSN standard for allowed relationships: https://scsc.uk/scsc-141B

-- Delete "Download a database ..." from the Context Menu of Assurance Package elements;