SACM 2.4 Beta 1 metamodel inventory

Generated by tools/sacm/diff_sacm24_metamodel.py --inventory from the OMG machine-readable model SACM-2.4-beta1-metamodel-ptc-26-05-28.xml (OMG document ptc/26-05-28, fetched by scripts/fetch-sacm24-beta1-references.sh). Do not edit by hand; regenerate after a reference update.

This is a beta, recorded as published. Nothing in libs/sacm implements it, and no row here is a conformance requirement. Names are copied verbatim apart from surrounding whitespace, so the model's own misspellings appear as they are. The page exists so that a later beta or the formal SACM 2.4 can be compared against a fixed baseline; see the impact analysis.

Features are a class's own; inherited ones are listed on the superclass. composite marks containment.

Package	Classifiers
SACM2.4/Metamodel/Argument	15
SACM2.4/Metamodel/Artifact	13
SACM2.4/Metamodel/Base	12
SACM2.4/Metamodel/Foundation	8
SACM2.4/Metamodel/Mapping/CAE	11
SACM2.4/Metamodel/Mapping/GSN	19
SACM2.4/Metamodel/NonNormative	1
SACM2.4/Metamodel/NonNormative/AdvancedArgument	1
SACM2.4/Metamodel/NonNormative/Asssessment	6
SACM2.4/Metamodel/NonNormative/Context	1
SACM2.4/Metamodel/NonNormative/DateTimeDuration	5
SACM2.4/Metamodel/NonNormative/Join	2
SACM2.4/Metamodel/NonNormative/NamedValueTypes	5
SACM2.4/Metamodel/NonNormative/SACMView	7
SACM2.4/Metamodel/NonNormative/SACMView/DI	7
SACM2.4/Metamodel/Packaging	7
SACM2.4/Metamodel/Terminology	11
Total	131

SACM2.4/Metamodel/Argument

ArgumentAsset

abstract Class. Specializes: ArgumentConcept.

Feature	Type and multiplicity
ownedArgumentAsset	ArgumentAsset[0..*] composite

ArgumentConcept

abstract Class. Specializes: Concept.

Feature	Type and multiplicity
defeationMechanism	DefeationtMechanismKind[0..1]
defeationRule	Rule[0..*]
isDefeated	Boolean[0..1]

ArgumentElement

abstract Class. Specializes: ArgumentConcept, SACMPackage.

Feature	Type and multiplicity
structuredAssuranceArgumentDiagram	StructuredAssuranceArgumentDiagram[0..*] composite
argumentAsset	ArgumentAsset[0..*] composite

ArgumentInterfacePackage

Class. Specializes: ArgumentElement, InterfacePackage.

Feature	Type and multiplicity
subArgumentInterfacePackage	ArgumentInterfacePackage[0..*] composite

ArgumentPackage

Class. Specializes: ArgumentElement, SACMPackageWithBinding.

Feature	Type and multiplicity
subArgumentElement	ArgumentElement[0..*] composite

ArgumentReasoning

Class. Specializes: ArgumentAsset.

Feature	Type and multiplicity
relationship	AssertedRelationship[0..*]
value	ExpressionLangString[0..1]

ArtifactReference

Class. Specializes: Targetable.

Feature	Type and multiplicity
reference	SACMElement[0..*]

AssertedContext

Class. Specializes: AssertedRelationship.

Feature	Type and multiplicity
contextable	ArgumentAsset[1..1]
context	ArtifactReference[1..*]

AssertedEvidence

Class. Specializes: AssertedRelationship.

Feature	Type and multiplicity
evidence	ArtifactReference[1..*]
target	Targetable[1..1]

AssertedInference

Class. Specializes: AssertedRelationship.

Feature	Type and multiplicity
inferenceRule	Rule[0..*]
source	Assertion[1..*]
target	Targetable[1..1]
inferenceType	InferenceTypeKind[0..1]

AssertedRelationship

abstract Class. Specializes: DirectedRelationship, Assertion.

Feature	Type and multiplicity
isCounter	Boolean[0..1]

Assertion

abstract Class. Specializes: Targetable.

Feature	Type and multiplicity
assertionDeclaration	AssertionDeclarationKind[0..1]
isTrue	Boolean[0..1]
strength	NamedValue[0..*]
assertionDeclarationRule	Rule[0..*]
assertionValue	Rule[0..*]

AssertionDeclarationKind

Enumeration.

Literals: axiomatic, assumed, asserted, byRule.

Claim

Class. Specializes: Assertion.

Feature	Type and multiplicity
value	ExpressionLangString[0..1]
whole	SACMModel[0..*]
subject	SACMElement[0..*]

Targetable

abstract Class. Specializes: ArgumentAsset.

SACM2.4/Metamodel/Artifact

Activity

Class. Specializes: ArtifactAsset.

Feature	Type and multiplicity
endTime	Date[0..1]
startTime	Date[0..1]
duration	Duration[0..*]

Artifact

Class. Specializes: ArtifactAsset, ArtifactReference.

Feature	Type and multiplicity
version	String[0..1]
internalReference	String[0..*]
externalDocumentIRI	IRI[0..*]
versionReleaseDate	Date[0..1]

ArtifactAsset

abstract Class. Specializes: ArtifactConcept.

Feature	Type and multiplicity
ownedArtifactAsset	ArtifactAsset[0..*] composite

ArtifactAssetRelationship

Class. Specializes: DirectedRelationship, ArtifactAsset.

Feature	Type and multiplicity
source	ArtifactAsset[1..*]
target	ArtifactAsset[1..*]

ArtifactConcept

abstract Class. Specializes: Concept.

ArtifactElement

abstract Class. Specializes: ArtifactConcept.

Feature	Type and multiplicity
structuredAssuranceArtifactDiagram	StructuredAssuraceArtifactDiagram[0..*] composite
artifactAsset	ArtifactAsset[0..*] composite

ArtifactInterfacePackage

Class. Specializes: ArtifactElement, InterfacePackage.

Feature	Type and multiplicity
subArtifactInterfacePackage	ArtifactInterfacePackage[0..*] composite

ArtifactPackage

Class. Specializes: ArtifactElement, SACMPackageWithBinding.

Feature	Type and multiplicity
subArtifactElement	ArtifactElement[0..*] composite

Date

Class. Specializes: String.

Event

Class. Specializes: ArtifactAsset.

Feature	Type and multiplicity
occurrence	Date[0..1]
dateTimeOccurrence	DateTime[0..1]

Participant

Class. Specializes: ArtifactAsset.

Resource

Class. Specializes: ArtifactAsset.

Feature	Type and multiplicity
location	ExpressionLangString[0..1]

Technique

Class. Specializes: ArtifactAsset.

SACM2.4/Metamodel/Base

BaseElement

abstract Class. Specializes: SACMElement.

Group

Class. Specializes: SACMModel, BaseElement.

Feature	Type and multiplicity
member	SACMElement[0..*]
ownedElement	SACMElement[0..*] composite

IRI

Class. Specializes: String.

ModelElement

abstract Class. Specializes: SACMElement, Namespace.

Feature	Type and multiplicity
namedValue	NamedValue[0..*]
ownedRule	SACMConstraint[0..*] composite
ownedBaseElement	BaseElement[0..*] composite
ownedNamedValue	NamedValue[0..*] composite

NamedValue

Class. Specializes: BaseElement, Namespace.

Feature	Type and multiplicity
defaultValue	?[0..*]
value	?[0..*]
literal	?[0..*]
member	NamedValue[0..*]
ownedNamedValue	NamedValue[0..*] composite
tupleSize	Integer[0..1]

SACMComment

Class. Specializes: BaseElement.

Feature	Type and multiplicity
body	ExpressionLangString[0..1]
annotatedElement	Element[0..*]

SACMConstraint

Class. Specializes: BaseElement.

Feature	Type and multiplicity
specification	ExpressionLangString[0..1]
constrainedElement	Element[0..*]

SACMDependency

Class. Specializes: DirectedRelationship, BaseElement.

Feature	Type and multiplicity
client	SACMElement[1..1]
supplier	SACMElement[1..1]

SACMElement

abstract Class. Specializes: PackageableElement.

Feature	Type and multiplicity
isSACMAbstract	Boolean[0..1]
elementId	UID[1..1] composite
ownedComment	SACMComment[0..*] composite
elementName	ExpressionLangString[0..1]
name	String[0..1] derived readonly
description	ExpressionLangString[0..1]
isCitation	Boolean[1..1] derived readonly
abstraction	SACMElement[0..*]
cited	SACMElement[0..1]
abstractionIRI	IRI[0..*]
citedIRI	IRI[0..*]
replacee	SACMElement[0..*]
validityDuration	Duration[0..*]
consistencyStatus	ConsistencyStatusKind[0..1]
changeType	ChangeTypeKind[0..1]
needsDevelopment	Boolean[0..1]

SACMModel

abstract Class. Specializes: ModelElement, Assertion, Assessment.

Feature	Type and multiplicity
isPattern	Boolean[0..1]
subModel	SACMModel[0..*]
element	SACMElement[0..*]
isModel	Boolean[0..1]

StringNamedValue

Class. Specializes: NamedValue.

Feature	Type and multiplicity
numberLiteral	NumericalNamedValue[0..*]
value	ExpressionLangString[0..*]
defaultValue	ExpressionLangString[0..*]
literal	ExpressionLangString[0..*]

UID

Class. Specializes: String.

SACM2.4/Metamodel/Foundation

DirectedRelationship

abstract Class. Specializes: Element.

Feature	Type and multiplicity
source	Element[1..*]
target	Element[1..*]

Element

abstract Class.

Feature	Type and multiplicity
ownedElement	Element[0..*] derived composite readonly

NamedElement

abstract Class. Specializes: Element.

Feature	Type and multiplicity
name	String[0..1]
visibility	VisibilityKind[0..1]
qualifiedName	String[0..1] derived readonly
namespace	Namespace[0..1] derived readonly

Namespace

abstract Class. Specializes: NamedElement.

Feature	Type and multiplicity
ownedMember	NamedElement[0..*] derived composite readonly

Package

Class. Specializes: Namespace, PackageableElement.

Feature	Type and multiplicity
packagedElement	PackageableElement[0..*] composite

PackageableElement

abstract Class. Specializes: NamedElement.

Feature	Type and multiplicity
visibility	VisibilityKind[0..1]

String

Class. Specializes: Element.

VisibilityKind

Enumeration.

Literals: private, public.

SACM2.4/Metamodel/Mapping/CAE

CAEArgument

Class. Specializes: Join, Supportable, ArgumentReasoning.

Feature	Type and multiplicity
joinType	JoinTypeKind[1..1] readonly

CAEAsset

abstract Class. Specializes: ArgumentAsset, CAEConcept.

CAEClaim

Class. Specializes: Claim, Supportable.

CAEConcept

Class.

CAEDiagram

Class. Specializes: CAEAsset, StructuredAssuranceArgumentDiagram.

Feature	Type and multiplicity
concept	CAEConcept[0..*]
abbreviation	String[0..1] readonly

CAEEvidence

Class. Specializes: Artifact, CAEAsset.

CAEIsEvidenceFor

Class. Specializes: AssertedEvidence, CAEAsset.

Feature	Type and multiplicity
evidence	CAEEvidence[1..1]
supportable	Supportable[1..1]

CAEIsSubclaimOf

Class. Specializes: AssertedInference, CAEAsset.

Feature	Type and multiplicity
subClaim	CAEClaim[1..1]
supportable	Supportable[1..1]

CAEPackage

Class. Specializes: ArgumentPackage, CAEConcept.

Feature	Type and multiplicity
diagram	CAEDiagram[0..*] composite
asset	CAEAsset[0..*] composite
subCAEPackage	CAEPackage[0..*] composite

CAESupports

Class. Specializes: AssertedInference, CAEAsset.

Feature	Type and multiplicity
supportable	Supportable[1..1]
argument	CAEArgument[1..1]

Supportable

abstract Class. Specializes: CAEAsset.

SACM2.4/Metamodel/Mapping/GSN

GSNArchitectureView

Class. Specializes: GSNDiagram.

Feature	Type and multiplicity
abbreviation	String[1..1] readonly

GSNAsset

abstract Class. Specializes: GSNConcept.

GSNAssumption

Class. Specializes: GoalContext.

Feature	Type and multiplicity
assertionDeclaration	AssertionDeclarationKind[0..1] readonly

GSNChoice

Class. Specializes: Join, GSNAsset.

GSNConcept

abstract Class. Specializes: ArgumentConcept.

Feature	Type and multiplicity
isUninstantiated	Boolean[0..1]

GSNContext

Class. Specializes: Context.

GSNDiagram

Class. Specializes: GSNAsset, StructuredAssuranceArgumentDiagram.

Feature	Type and multiplicity
concept	GSNConcept[0..*]
abbreviation	String[1..1] readonly

GSNGoal

Class. Specializes: Claim, GoalStrategy.

GSNInContextOf_Context

Class. Specializes: AssertedContext.

Feature	Type and multiplicity
context	GSNContext[1..1]
goalStrategy	GoalStrategy[1..1]

GSNInContextOf_Inference

Class. Specializes: AssertedInference, GSNRelationship.

Feature	Type and multiplicity
source	GoalContext[1..1]
goalStrategy	GoalStrategy[1..1]

GSNJustification

Class. Specializes: GoalContext.

Feature	Type and multiplicity
assertionDeclaration	AssertionDeclarationKind[0..1]

GSNPackage

Class. Specializes: GSNConcept, ArgumentPackage.

Feature	Type and multiplicity
diagram	GSNDiagram[0..*]
asset	GSNAsset[0..*] composite
subGSNPackage	GSNPackage[0..*] composite

GSNRelationship

abstract Class. Specializes: GSNAsset, AssertedRelationship.

Feature	Type and multiplicity
isChallenge	Boolean[0..1]

GSNSolution

Class. Specializes: Artifact, GSNAsset.

GSNStrategy

Class. Specializes: GoalStrategy, ArgumentReasoning, Join.

Feature	Type and multiplicity
value	ExpressionLangString[0..1]

GSNSupportedBy_GoalStrategy

Class. Specializes: AssertedInference, GSNRelationship.

Feature	Type and multiplicity
target	GoalStrategy[1..1]
source	GoalStrategy[1..1]

GSNSupportedBy_Solution

Class. Specializes: AssertedEvidence, GSNRelationship.

Feature	Type and multiplicity
goal	GSNGoal[1..1]
solution	GSNSolution[1..1]

GoalContext

abstract Class. Specializes: GSNAsset, Claim.

GoalStrategy

abstract Class. Specializes: GSNAsset.

Feature	Type and multiplicity
isUndeveloped	Boolean[1..1]

SACM2.4/Metamodel/NonNormative

Rule

Class. Specializes: ModelElement, BaseElement.

Feature	Type and multiplicity
value	ExpressionLangString[0..1]

SACM2.4/Metamodel/NonNormative/AdvancedArgument

InferenceTypeKind

Enumeration.

Literals: probable, collective, necessary, sufficient, necessaryAndSufficient, byRule.

SACM2.4/Metamodel/NonNormative/Asssessment

Assessment

abstract Class.

Feature	Type and multiplicity
assessmentId	String[0..1]
subAssessment	Assessment[0..*]
sacmModel	SACMModel[0..1]
gap	Gap[0..*]

ChangeTypeKind

Enumeration.

Literals: unchanged, addition, deletion, modification.

ConsistencyStatusKind

Enumeration.

Literals: consistent, recheck, needsRevision, changed, obsolete.

DefeationtMechanismKind

Enumeration.

Literals: byOpinion, byLogic, byRule.

Gap

Class. Specializes: SACMElement, BaseElement.

Feature	Type and multiplicity
value	ExpressionLangString[0..1]
element	SACMElement[0..*]

Null

Class. Specializes: SACMElement, BaseElement.

Feature	Type and multiplicity
changeType	ChangeTypeKind[0..1] readonly

SACM2.4/Metamodel/NonNormative/Context

Context

Class. Specializes: ArtifactReference.

Feature	Type and multiplicity
phrase	ExpressionLangString[1..1]
explication	ExpressionLangString[0..1]

SACM2.4/Metamodel/NonNormative/DateTimeDuration

DateTime

Class. Specializes: NamedValue.

Feature	Type and multiplicity
value	String[0..1]
timeUnit	TimeUnitKind[0..1]
factor	Real[0..1]

DateTimeDuration

Class. Specializes: Duration.

Feature	Type and multiplicity
isRelative	Boolean[0..1]
atStart	Boolean[0..1]
isPeriodic	Boolean[0..1]
relativeDuration	Duration[0..1]
startDateTime	DateTime[0..1]
endDateTime	DateTime[0..1]
period	DateTime[0..1]

Duration

abstract Class. Specializes: NamedValue.

Feature	Type and multiplicity
isInvalid	Boolean[0..1]

Mode

Class. Specializes: Duration.

Feature	Type and multiplicity
value	ExpressionLangString[0..1]

TimeUnitKind

Enumeration.

Literals: second, minute, hour, day, week, month, year, iso8601.

SACM2.4/Metamodel/NonNormative/Join

Join

Class. Specializes: Claim, ArtifactReference.

Feature	Type and multiplicity
joinType	JoinTypeKind[0..1]
isNot	Boolean[0..1]
lowerBound	Integer[0..1]
upperBound	UnlimitedNatural[0..1]
joinRule	Rule[0..*]
value	ExpressionLangString[0..1]
isClaim	Boolean[0..1]

JoinTypeKind

Enumeration.

Literals: combine, and, or, xor, byRule.

SACM2.4/Metamodel/NonNormative/NamedValueTypes

BooleanNamedValue

Class. Specializes: NamedValue.

Feature	Type and multiplicity
value	Boolean[0..*]
defaultValue	Boolean[0..*]
literal	Boolean[0..*]

IntegerNamedValue

Class. Specializes: NumericalNamedValue.

Feature	Type and multiplicity
value	Integer[0..*]
defaultValue	Integer[0..*]
literal	Integer[0..*]
minValue	Integer[0..*]
maxValue	Integer[0..*]

NumericalNamedValue

abstract Class. Specializes: NamedValue.

Feature	Type and multiplicity
minValue	?[0..*]
isMinInclusive	Boolean[0..*]
maxValue	?[0..*]
isMaxInclusive	Boolean[0..*]

RealNameValue

Class. Specializes: NumericalNamedValue.

Feature	Type and multiplicity
value	Real[0..*]
defaultValue	Real[0..*]
literal	Real[0..*]
minValue	Real[0..*]
maxValue	Real[0..*]

RealPercentageNamedValue

Class. Specializes: RealNameValue.

Feature	Type and multiplicity
minValue	Real[0..*] readonly
maxValue	Real[0..*] readonly

SACM2.4/Metamodel/NonNormative/SACMView

SACMDiagram

abstract Class. Specializes: SACMView, Diagram.

Feature	Type and multiplicity
diagramElement	SACMDiagramElement[0..*] composite
baseElement	BaseElement[0..*] derived
name	String[1..1] derived
element	SACMElement[0..*] derived readonly

SACMDiagramElement

Class. Specializes: SACMElement, DiagramElement.

Feature	Type and multiplicity
representation	MultiLangString[0..1]
element	SACMElement[0..*]

SACMView

abstract Class. Specializes: SACMModel.

Feature	Type and multiplicity
abbreviation	String[0..1]

StructuredAssuraceArtifactDiagram

Class. Specializes: SACMDiagram, ArtifactAsset.

Feature	Type and multiplicity
abbreviation	String[1..1] readonly
artifactConcept	ArtifactConcept[0..*] derived
ownedArtifactAsset	ArtifactAsset[0..*] composite

StructuredAssuranceArgumentDiagram

Class. Specializes: SACMDiagram, ArgumentAsset.

Feature	Type and multiplicity
abbreviation	String[1..1] readonly
argumentConcept	ArgumentConcept[0..*] derived
ownedArgumentAsset	ArgumentAsset[0..*] composite

StructuredAssuranceCaseDiagram

Class. Specializes: SACMDiagram.

Feature	Type and multiplicity
abbreviation	String[1..1] readonly
element	SACMElement[0..*] derived

StructuredAssuranceTerminologyDiagram

Class. Specializes: SACMDiagram, TerminologyAsset.

Feature	Type and multiplicity
abbreviation	String[1..1] readonly
terminologyConcept	TerminologyConcept[0..*] derived

SACM2.4/Metamodel/NonNormative/SACMView/DI

Bounds

DataType.

Feature	Type and multiplicity
x	UnlimitedNatural[1..1]
y	UnlimitedNatural[1..1]
width	UnlimitedNatural[1..1]
height	UnlimitedNatural[1..1]

Diagram

abstract Class. Specializes: Shape.

Feature	Type and multiplicity
name	String[1..1]
documentation	String[1..1]
resolution	UnlimitedNatural[1..1]

DiagramElement

abstract Class. Specializes: Element.

Feature	Type and multiplicity
sharedStyle	Style[0..1]
localStyle	Style[0..1] composite
modelElement	Element[0..*] derived readonly
ownedElement	DiagramElement[0..*] derived composite readonly

Edge

abstract Class. Specializes: DiagramElement.

Feature	Type and multiplicity
target	DiagramElement[1..1] derived readonly
source	DiagramElement[1..1] derived readonly
waypoint	Point[0..*]

Point

DataType.

Feature	Type and multiplicity
x	UnlimitedNatural[1..1]
y	UnlimitedNatural[1..1]

Shape

abstract Class. Specializes: DiagramElement.

Feature	Type and multiplicity
bounds	Bounds[0..1]

Style

abstract Class.

SACM2.4/Metamodel/Packaging

AssuranceCasePackage

Class. Specializes: SACMPackageWithBinding.

Feature	Type and multiplicity
terminologyPackage	TerminologyPackage[0..*] composite
subAssuranceCasePackage	AssuranceCasePackage[0..*] composite
artifactPackage	ArtifactPackage[0..*] composite
argumentPackage	ArgumentPackage[0..*] composite
diagram	SACMDiagram[0..*] composite

BindingPackage

Class. Specializes: ScopedPackage, SACMPackageWithBinding.

Feature	Type and multiplicity
concept	Concept[0..*] composite
diagram	SACMDiagram[0..*] composite

Concept

abstract Class. Specializes: ModelElement.

InterfacePackage

abstract Class. Specializes: ScopedPackage.

SACMPackage

abstract Class. Specializes: Package, SACMModel.

Feature	Type and multiplicity
baseElement	BaseElement[0..*] composite
element	SACMElement[0..*] derived composite readonly

SACMPackageWithBinding

abstract Class. Specializes: SACMPackage.

Feature	Type and multiplicity
bindingPackage	BindingPackage[0..*] composite

ScopedPackage

abstract Class. Specializes: SACMPackage.

SACM2.4/Metamodel/Terminology

Category

Class. Specializes: TerminologyAsset.

Feature	Type and multiplicity
terminologyAsset	TerminologyAsset[0..*]
ownedTerminologyAsset	TerminologyAsset[0..*] composite

Expression

Class. Specializes: ExpressionElement.

Feature	Type and multiplicity
expressionElement	ExpressionElement[0..*]
ownedExpressionElement	ExpressionElement[0..*] composite

ExpressionElement

abstract Class. Specializes: TerminologyAsset.

Feature	Type and multiplicity
value	MultiLangString[0..1]

ExpressionLangString

Class. Specializes: MultiLangString.

Feature	Type and multiplicity
expression	ExpressionElement[0..1]

MultiLangString

Class. Specializes: Element.

Feature	Type and multiplicity
content	String[0..*]
language	String[0..*]

Term

Class. Specializes: ExpressionElement.

Feature	Type and multiplicity
origin	NamedElement[0..1]
externalReference	IRI[0..*]

TerminologyAsset

abstract Class. Specializes: TerminologyConcept.

TerminologyConcept

abstract Class. Specializes: Concept.

TerminologyElement

abstract Class. Specializes: TerminologyConcept.

Feature	Type and multiplicity
structuredAssuranceTerminologyDiagram	StructuredAssuranceTerminologyDiagram[0..*] composite
terminologyAsset	TerminologyAsset[0..*] composite

TerminologyInterfacePackage

Class. Specializes: TerminologyElement, InterfacePackage.

Feature	Type and multiplicity
subTerminologyInterfacePackage	TerminologyInterfacePackage[0..*] composite

TerminologyPackage

Class. Specializes: TerminologyElement, SACMPackageWithBinding.

Feature	Type and multiplicity
subTerminologyElement	TerminologyElement[0..*] composite