-
Key: SACM24-12
-
Status: closed
-
Source: MITRE ( Mr. Robert Martin)
-
Summary:
AssertionDeclaration has a number of orthogonal ideas that should not be in the enumeration (namely defeated and asCited), and the name should follow modeling practice of ending in”Kind” to indicate it is a set of enumerations.
-
Reported: SACM 2.3b1 — Wed, 31 Dec 2025 16:24 GMT
-
Disposition: Resolved — SACM 2.4b1
-
Disposition Summary:
Clean up enumeration
Remove defeated and asCited from AssertedDeclarations and rename it to be AssertationDeclarationKind to indicate that it is a set of enumerations. AssertedDeclarationKind had concepts which should not have been part of the Enumeration (namely defeated and asCited).
-
Updated: Thu, 17 Sep 2026 01:18 GMT
-
Attachments:
- 12 Change of AssertedDeclarationKind.pdf 1.60 MB (application/pdf)