@memoarchitect/ontology 0.8.22 → 0.10.9

package/src/architecture/operational/structure/memo_operational.sysml

@@ -1,31 +1,60 @@
 package memo_architecture_operational_structure {
+    private import Metaobjects::SemanticMetadata;
     private import ScalarValues::*;
 
     private import memo_core_common::*;
     private import memo_core_enumerations::*;
     private import memo_core_relationships::*;
-    private import memo_architecture_operational_activities::*;
-    // OperationalActivity now lives in memo_architecture_operational_activities (action def) and
-    // Operational scenarios are defined in memo_architecture_operational_scenarios.
-    part def Mission specializes DocumentedElement {
-        attribute missionKind : String;
-        attribute successCriteria : String;
-        attribute operationalContext : String;
+    private import memo_architecture_operational_use_cases::*;
+
+    // IEC 62366-1 / ISO 14971 intended use: the medical device's declared
+    // purpose and the root of the operational spine. A MemoMission, because
+    // "mission" has no medical-device meaning — intended use is what a device
+    // exists to do. Was in memo_assurance_requirements; moved here as the
+    // operational-world root.
+    part def IntendedUse specializes MemoMission {
+        attribute indication : String;
+        attribute contraindication : String;
+        attribute patientPopulation : String;
+        attribute clinicalBenefit : String;
+        attribute regulatoryClassification : String;
     }
-    part def OperationalEntity specializes ArchitectureElement {
+    part def OperationalEntity specializes MemoPart {
         attribute entityKind : OperationalEntityKind;
         attribute operationalDomain : String;
         attribute responsibility : String;
     }
-    part def OperationalCapability specializes ArchitectureElement {
+    part def OperationalCapability specializes MemoPart {
         attribute capabilityLevel : String;
         attribute preCondition : String;
         attribute postCondition : String;
     }
-    part def OperationalInteraction specializes ArchitectureElement {
-        attribute exchangeKind : FlowKind;
-        attribute direction : DirectionKind;
-        attribute latencyConstraint : String;
+
+    // The intended use requires these operational capabilities (ARCADIA:
+    // Mission Requires Capability).
+    connection def RequiresCapability :> MemoRelationship {
+        end requiringIntendedUse : IntendedUse :>> source;
+        end requiredCapability : OperationalCapability :>> target;
+    }
+    abstract connection requiresCapabilityLinks : RequiresCapability[*];
+    metadata def <requiresCapability> RequiresCapabilityMetadata :> SemanticMetadata {
+        :> annotatedElement : SysML::ConnectionDefinition;
+        :> annotatedElement : SysML::ConnectionUsage;
+        :>> baseType = requiresCapabilityLinks meta SysML::Usage;
+    }
+
+    // An operational capability enables a use case (the ability the actor draws
+    // on to accomplish the goal). Capability is tied to the use case, not to
+    // individual activities.
+    connection def EnablesUseCase :> MemoRelationship {
+        end enablingCapability : OperationalCapability :>> source;
+        end enabledUseCase : UseCase :>> target;
+    }
+    abstract connection enablesUseCaseLinks : EnablesUseCase[*];
+    metadata def <enablesUseCase> EnablesUseCaseMetadata :> SemanticMetadata {
+        :> annotatedElement : SysML::ConnectionDefinition;
+        :> annotatedElement : SysML::ConnectionUsage;
+        :>> baseType = enablesUseCaseLinks meta SysML::Usage;
     }
 
 }

package/src/architecture/operational/use_cases/memo_use_cases.sysml

@@ -19,7 +19,13 @@ package memo_architecture_operational_use_cases {
         enum development;
     }
 
-    use case def UseCase :> MemoUseCase {
+    // Specializes the STANDARD library use case as well as MEMO's base. Before
+    // this it specialized only `MemoUseCase` and so shadowed `UseCases::UseCase`
+    // — same name, same metaclass, none of the semantics — which is why the
+    // subject/actor features below had to be re-declared by hand instead of
+    // being inherited. The wrapper survives only to carry the display label and
+    // lifecycle status; identity comes from `@MemoIdentity`.
+    use case def UseCase :> MemoUseCase, UseCases::UseCase {
         // Text of this use case's goal; this is not a separate Goal element.
         attribute goalStatement : String;
         attribute trigger : String;
@@ -40,7 +46,6 @@ package memo_architecture_operational_use_cases {
         ref primaryUser : User[0..1];
         ref supportingActors : OperationalParticipant[0..*];
         ref useContext : UseContext[0..1];
-        ref originatingNeeds : Need[0..*];
     }
 
     connection def Motivates :> MemoRelationship {
@@ -63,14 +68,4 @@ package memo_architecture_operational_use_cases {
     // `include` (R10-S6); write that instead of a connection here. `extends`
     // has 0 hits in the corpus for a use-case `extend` production, so it stays
     // a MEMO construct: a cross-cutting relationship that is always presented.
-    connection def Extends :> MemoRelationship {
-        end extendingUseCase : UseCase :>> source;
-        end extendedUseCase : UseCase :>> target;
-    }
-    abstract connection extendsLinks : Extends[*];
-    metadata def <extends> ExtendsMetadata :> SemanticMetadata {
-        :> annotatedElement : SysML::ConnectionDefinition;
-        :> annotatedElement : SysML::ConnectionUsage;
-        :>> baseType = extendsLinks meta SysML::Usage;
-    }
 }

package/src/architecture/operational/workflows/memo_workflows.sysml

@@ -37,20 +37,24 @@ package memo_architecture_operational_workflows {
         attribute completionCondition : String;
         attribute recoveryPathSummary : String;
         attribute timingConstraints : String;
-        ref involvedActors : OperationalParticipant[0..*];
         attribute environmentSummary : String;
     }
 
-    // A step in a workflow wraps an operational activity or user task by
-    // reference — the same activity may appear in several workflows.
-    action def WorkflowStep specializes MemoAction {
-        attribute entryCondition : String;
-        attribute exitCondition : String;
-        ref performedActivity : OperationalActivity[0..1];
-        ref performedTask : UserTask[0..1];
-        ref responsibleRole : OperationalParticipant[0..1];
+    // The use case a workflow realizes. Many workflows may trace to one use
+    // case; the use case does not own its workflows (the trace points upward,
+    // workflow → use case).
+    connection def RealizesUseCase :> MemoRelationship {
+        end realizingWorkflow : OperationalWorkflow :>> source;
+        end realizedUseCase : UseCase :>> target;
+    }
+    abstract connection realizesUseCaseLinks : RealizesUseCase[*];
+    metadata def <realizesUseCase> RealizesUseCaseMetadata :> SemanticMetadata {
+        :> annotatedElement : SysML::ConnectionDefinition;
+        :> annotatedElement : SysML::ConnectionUsage;
+        :>> baseType = realizesUseCaseLinks meta SysML::Usage;
     }
 
+
     // decision / fork / join / handoff.
     enum def ControlNodeKind {
         enum decision;
@@ -69,8 +73,6 @@ package memo_architecture_operational_workflows {
         attribute parallelismRationale : String[0..1];
         attribute joinCondition : String[0..1];
         attribute informationTransferred : String[0..1];
-        ref fromRole : OperationalParticipant[0..1];
-        ref toRole : OperationalParticipant[0..1];
     }
 
     // Resources a workflow requires: information, materials, or equipment by
@@ -82,37 +84,13 @@ package memo_architecture_operational_workflows {
     }
 
     // ── Workflow-level relationships ─────────────────────────────
-    // Supports unifies SupportsUseCase / SupportsTask / ContributesToCapability
-    // (an element supports a goal/task/capability), keyed by supportKind.
-    enum def SupportKind {
-        enum useCase;
-        enum task;
-        enum capability;
-    }
-    connection def Supports :> MemoRelationship {
-        attribute supportKind : SupportKind;
-        // The accepted endpoints span SysML metaclasses: an operational
-        // workflow or other action may support a use case, task, or
-        // capability. They therefore have no single MEMO base type.
-        end supporter :>> source;
-        end supported : MemoAction :>> target;
-    }
-    abstract connection supportsLinks : Supports[*];
-    metadata def <supports> SupportsMetadata :> SemanticMetadata {
-        :> annotatedElement : SysML::ConnectionDefinition;
-        :> annotatedElement : SysML::ConnectionUsage;
-        :>> baseType = supportsLinks meta SysML::Usage;
-    }
-    connection def RequiresResource :> MemoRelationship {
-        end workflow : OperationalWorkflow :>> source;
-        end resource : WorkflowResource :>> target;
-    }
-    abstract connection requiresResourceLinks : RequiresResource[*];
-    metadata def <requiresResource> RequiresResourceMetadata :> SemanticMetadata {
-        :> annotatedElement : SysML::ConnectionDefinition;
-        :> annotatedElement : SysML::ConnectionUsage;
-        :>> baseType = requiresResourceLinks meta SysML::Usage;
-    }
+    // An element supports (affords, enables) an action — e.g. a UI element
+    // that affords a user task. Use-case and capability tracing are direct
+    // refs now (OperationalWorkflow.useCase,
+    // OperativeAction.contributesToCapabilities), so the former
+    // SupportKind discriminator is gone: what used to be three enum values
+    // that each implied a different target type are now two typed refs plus
+    // this one plain relation.
 
     // ── Workflow transformation (as-is → to-be) ──────────────────
     // Transforms unifies TransformsStep / TransformsWorkflow / ReplacesWorkflow

package/src/architecture/realization/deployment/memo_deployment.sysml

@@ -1,10 +1,10 @@
-// Deployment (allocation) view: SoftwareModule buildsInto DeploymentUnit;
-// DeploymentUnit deploysTo ProcessingNode. Software deploys only to capable
+// Deployment (allocation) view: SoftwareModule buildsInto SoftwareDeploymentUnit;
+// SoftwareDeploymentUnit deploysTo ProcessingNode. Software deploys only to capable
 // execution nodes (rules/crosslayer).
 //
 // `HostedBy` is NOT part of that chain, and this comment used to claim it was
 // ("SoftwareComponent hostedBy ProcessingNode"). It is
-// `processingNode : ArchitectureElement -> hostAssembly : ArchitectureElement`:
+// `processingNode : ProcessingNode -> hostAssembly : PhysicalAssembly`:
 // physical hosting of a node by the assembly it is mounted in, running the
 // other way and between different things. Software reaches a node through
 // DeploysTo.
@@ -26,39 +26,44 @@ package memo_architecture_realization_deployment {
     private import memo_architecture_logical_structure::*;
     private import memo_architecture_logical_interfaces::*;                   // ComponentExchange
 
-    part def DeploymentUnit specializes ArchitectureElement {
+    part def SoftwareDeploymentUnit specializes MemoPart {
         attribute unitKind : String;
         attribute version : String;
         attribute integrityProtection : String;
         attribute installationMechanism : String;
     }
 
-    part def RuntimeEnvironment specializes ArchitectureElement {
+    part def RuntimeEnvironment specializes MemoPart {
         attribute environmentKind : String;
         attribute osOrRtos : String;
         attribute providedServices : String;
         attribute certificationEvidence : String;
     }
 
-    connection def BuildsInto :> MemoRelationship {
+        // A module BUILDS INTO a deployment unit: that is an allocation, and the
+    // language has one. Rooted like MemoryBinding / ConnectionBinding below,
+    // so the whole deployment family spells allocation the same way.
+    allocation def BuildsInto :> MemoRelationship, Allocations::Allocation {
         end module : SoftwareModule :>> source;
-        end deploymentUnit : DeploymentUnit :>> target;
+        end deploymentUnit : SoftwareDeploymentUnit :>> target;
     }
     abstract connection buildsIntoLinks : BuildsInto[*];
     metadata def <buildsInto> BuildsIntoMetadata :> SemanticMetadata {
-        :> annotatedElement : SysML::ConnectionDefinition;
-        :> annotatedElement : SysML::ConnectionUsage;
+        :> annotatedElement : SysML::AllocationDefinition;
+        :> annotatedElement : SysML::AllocationUsage;
         :>> baseType = buildsIntoLinks meta SysML::Usage;
     }
-    connection def DeploysTo :> MemoRelationship {
+        // Every usage of this already writes `allocation x : DeploysTo allocate a
+    // to b;` -- the declaration was the only part still saying `connection`.
+    allocation def DeploysTo :> MemoRelationship, Allocations::Allocation {
         attribute deploymentKind : DeploymentKind;
-        end deploymentUnit : DeploymentUnit :>> source;
+        end deploymentUnit : SoftwareDeploymentUnit :>> source;
         end node : ProcessingNode :>> target;
     }
     abstract connection deploysToLinks : DeploysTo[*];
     metadata def <deploysTo> DeploysToMetadata :> SemanticMetadata {
-        :> annotatedElement : SysML::ConnectionDefinition;
-        :> annotatedElement : SysML::ConnectionUsage;
+        :> annotatedElement : SysML::AllocationDefinition;
+        :> annotatedElement : SysML::AllocationUsage;
         :>> baseType = deploysToLinks meta SysML::Usage;
     }
     connection def ProvidesEnvironment :> MemoRelationship {
@@ -140,7 +145,7 @@ package memo_architecture_realization_deployment {
         enum path;
     }
     // A flow declared at a logical component boundary (in-port → out-port).
-    part def FlowSpecification specializes ArchitectureElement {
+    part def FlowSpecification specializes MemoPart {
         attribute flowKind : FlowSpecKind;
         ref inPort : LogicalPort[0..1];
         ref outPort : LogicalPort[0..1];
@@ -148,7 +153,7 @@ package memo_architecture_realization_deployment {
     // A complete source→sink flow traced across the layers and the software→
     // hardware binding it traverses. `latencyBudgetMs` and `analysisPurpose`
     // (latency | fault-propagation | security) drive the AADL-style analysis.
-    part def EndToEndFlow specializes ArchitectureElement {
+    part def EndToEndFlow specializes MemoPart {
         attribute latencyBudgetMs : Real;
         attribute analysisPurpose : String;
         ref sourceFunction : MemoFunction[0..1];
@@ -172,14 +177,16 @@ package memo_architecture_realization_deployment {
         :>> baseType = flowComprisesSpecLinks meta SysML::Usage;
     }
     // The flow traverses a software→hardware binding; latency accrues here.
-    connection def FlowTraversesBinding :> MemoRelationship {
+        // A binding IS an allocation, exactly as MemoryBinding and
+    // ConnectionBinding already declare.
+    allocation def FlowTraversesBinding :> MemoRelationship, Allocations::Allocation {
         end endToEndFlow : EndToEndFlow :>> source;
-        end deploymentUnit : DeploymentUnit :>> target;
+        end deploymentUnit : SoftwareDeploymentUnit :>> target;
     }
     abstract connection flowTraversesBindingLinks : FlowTraversesBinding[*];
     metadata def <flowTraversesBinding> FlowTraversesBindingMetadata :> SemanticMetadata {
-        :> annotatedElement : SysML::ConnectionDefinition;
-        :> annotatedElement : SysML::ConnectionUsage;
+        :> annotatedElement : SysML::AllocationDefinition;
+        :> annotatedElement : SysML::AllocationUsage;
         :>> baseType = flowTraversesBindingLinks meta SysML::Usage;
     }
 }

package/src/architecture/realization/physical/memo_physical_architecture.sysml

@@ -6,7 +6,13 @@ package memo_architecture_realization_physical {
 
     private import memo_core_common::*;
     private import memo_core_enumerations::*;
-    part def ProcessingNode specializes ArchitectureElement {
+    // For PhysicalElement: a processing node and a memory device ARE physical
+    // things — a board and a chip — and specialized MemoPart directly only
+    // because the physical family had no shared root until CR-ONT-079 needed
+    // one. Their home package reflects their ROLE (deployment target), not
+    // their nature.
+    private import memo_architecture_implementation_hardware_common::PhysicalElement;
+    part def ProcessingNode specializes PhysicalElement {
         attribute nodeKind : ProcessingNodeKind;
         attribute processorArchitecture : String;
         attribute memoryMB : String;
@@ -17,7 +23,7 @@ package memo_architecture_realization_physical {
         attribute supportsContainerization : Boolean;
         attribute realTimeCapable : Boolean;
     }
-    part def MemoryDevice specializes ArchitectureElement {
+    part def MemoryDevice specializes PhysicalElement {
         attribute memoryKind : String;
         attribute capacityMB : String;
         attribute nonVolatile : Boolean;

package/src/artifacts/standards/cfr_21_820.sysml

@@ -15,102 +15,93 @@ package memo_artifacts_standards_cfr_21_820 {
     private import memo_core_relationships::*;
     private import memo_artifacts_standards_traceability::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     item cfr21Part820 : RegulatoryStandard {
-        attribute :>> id = "STD-21-CFR-820";
+        @MemoIdentity { :>> providedId = "STD-21-CFR-820"; }
         attribute :>> name = "CFR21Part820";
         attribute :>> designation = "21 CFR Part 820";
         attribute :>> issuer = "FDA";
         attribute :>> appliesToRegime = (RegulatoryRegimeKind::FDA_510k, RegulatoryRegimeKind::FDA_PMA);
+        item cfr820_30 : StandardClause {
+            @MemoIdentity { :>> providedId = "STD-21-CFR-820-30"; }
+            attribute :>> name = "CFR820_30";
+            attribute :>> clauseNumber = "820.30";
+            attribute :>> title = "design controls";
+            attribute :>> normativeStrength = "shall";
+            item cfr820_30a : StandardClause {
+                @MemoIdentity { :>> providedId = "STD-21-CFR-820-30-A"; }
+                attribute :>> name = "CFR820_30a";
+                attribute :>> clauseNumber = "820.30(a)";
+                attribute :>> title = "general design control applicability";
+                attribute :>> normativeStrength = "shall";
+            }
+            item cfr820_30b : StandardClause {
+                @MemoIdentity { :>> providedId = "STD-21-CFR-820-30-B"; }
+                attribute :>> name = "CFR820_30b";
+                attribute :>> clauseNumber = "820.30(b)";
+                attribute :>> title = "design and development planning";
+                attribute :>> normativeStrength = "shall";
+            }
+            item cfr820_30c : StandardClause {
+                @MemoIdentity { :>> providedId = "STD-21-CFR-820-30-C"; }
+                attribute :>> name = "CFR820_30c";
+                attribute :>> clauseNumber = "820.30(c)";
+                attribute :>> title = "design input";
+                attribute :>> normativeStrength = "shall";
+            }
+            item cfr820_30d : StandardClause {
+                @MemoIdentity { :>> providedId = "STD-21-CFR-820-30-D"; }
+                attribute :>> name = "CFR820_30d";
+                attribute :>> clauseNumber = "820.30(d)";
+                attribute :>> title = "design output";
+                attribute :>> normativeStrength = "shall";
+            }
+            item cfr820_30e : StandardClause {
+                @MemoIdentity { :>> providedId = "STD-21-CFR-820-30-E"; }
+                attribute :>> name = "CFR820_30e";
+                attribute :>> clauseNumber = "820.30(e)";
+                attribute :>> title = "design review";
+                attribute :>> normativeStrength = "shall";
+            }
+            item cfr820_30f : StandardClause {
+                @MemoIdentity { :>> providedId = "STD-21-CFR-820-30-F"; }
+                attribute :>> name = "CFR820_30f";
+                attribute :>> clauseNumber = "820.30(f)";
+                attribute :>> title = "design verification";
+                attribute :>> normativeStrength = "shall";
+            }
+            item cfr820_30g : StandardClause {
+                @MemoIdentity { :>> providedId = "STD-21-CFR-820-30-G"; }
+                attribute :>> name = "CFR820_30g";
+                attribute :>> clauseNumber = "820.30(g)";
+                attribute :>> title = "design validation";
+                attribute :>> normativeStrength = "shall";
+            }
+            item cfr820_30h : StandardClause {
+                @MemoIdentity { :>> providedId = "STD-21-CFR-820-30-H"; }
+                attribute :>> name = "CFR820_30h";
+                attribute :>> clauseNumber = "820.30(h)";
+                attribute :>> title = "design transfer";
+                attribute :>> normativeStrength = "shall";
+            }
+            item cfr820_30i : StandardClause {
+                @MemoIdentity { :>> providedId = "STD-21-CFR-820-30-I"; }
+                attribute :>> name = "CFR820_30i";
+                attribute :>> clauseNumber = "820.30(i)";
+                attribute :>> title = "design changes";
+                attribute :>> normativeStrength = "shall";
+            }
+            item cfr820_30j : StandardClause {
+                @MemoIdentity { :>> providedId = "STD-21-CFR-820-30-J"; }
+                attribute :>> name = "CFR820_30j";
+                attribute :>> clauseNumber = "820.30(j)";
+                attribute :>> title = "design history file";
+                attribute :>> normativeStrength = "shall";
+            }
+        }
     }
 
-    item cfr820_30 : StandardClause {
-        attribute :>> id = "STD-21-CFR-820-30";
-        attribute :>> name = "CFR820_30";
-        attribute :>> clauseNumber = "820.30";
-        attribute :>> title = "design controls";
-        attribute :>> normativeStrength = "shall";
-    }
-    item cfr820_30a : StandardClause {
-        attribute :>> id = "STD-21-CFR-820-30-A";
-        attribute :>> name = "CFR820_30a";
-        attribute :>> clauseNumber = "820.30(a)";
-        attribute :>> title = "general design control applicability";
-        attribute :>> normativeStrength = "shall";
-    }
-    item cfr820_30b : StandardClause {
-        attribute :>> id = "STD-21-CFR-820-30-B";
-        attribute :>> name = "CFR820_30b";
-        attribute :>> clauseNumber = "820.30(b)";
-        attribute :>> title = "design and development planning";
-        attribute :>> normativeStrength = "shall";
-    }
-    item cfr820_30c : StandardClause {
-        attribute :>> id = "STD-21-CFR-820-30-C";
-        attribute :>> name = "CFR820_30c";
-        attribute :>> clauseNumber = "820.30(c)";
-        attribute :>> title = "design input";
-        attribute :>> normativeStrength = "shall";
-    }
-    item cfr820_30d : StandardClause {
-        attribute :>> id = "STD-21-CFR-820-30-D";
-        attribute :>> name = "CFR820_30d";
-        attribute :>> clauseNumber = "820.30(d)";
-        attribute :>> title = "design output";
-        attribute :>> normativeStrength = "shall";
-    }
-    item cfr820_30e : StandardClause {
-        attribute :>> id = "STD-21-CFR-820-30-E";
-        attribute :>> name = "CFR820_30e";
-        attribute :>> clauseNumber = "820.30(e)";
-        attribute :>> title = "design review";
-        attribute :>> normativeStrength = "shall";
-    }
-    item cfr820_30f : StandardClause {
-        attribute :>> id = "STD-21-CFR-820-30-F";
-        attribute :>> name = "CFR820_30f";
-        attribute :>> clauseNumber = "820.30(f)";
-        attribute :>> title = "design verification";
-        attribute :>> normativeStrength = "shall";
-    }
-    item cfr820_30g : StandardClause {
-        attribute :>> id = "STD-21-CFR-820-30-G";
-        attribute :>> name = "CFR820_30g";
-        attribute :>> clauseNumber = "820.30(g)";
-        attribute :>> title = "design validation";
-        attribute :>> normativeStrength = "shall";
-    }
-    item cfr820_30h : StandardClause {
-        attribute :>> id = "STD-21-CFR-820-30-H";
-        attribute :>> name = "CFR820_30h";
-        attribute :>> clauseNumber = "820.30(h)";
-        attribute :>> title = "design transfer";
-        attribute :>> normativeStrength = "shall";
-    }
-    item cfr820_30i : StandardClause {
-        attribute :>> id = "STD-21-CFR-820-30-I";
-        attribute :>> name = "CFR820_30i";
-        attribute :>> clauseNumber = "820.30(i)";
-        attribute :>> title = "design changes";
-        attribute :>> normativeStrength = "shall";
-    }
-    item cfr820_30j : StandardClause {
-        attribute :>> id = "STD-21-CFR-820-30-J";
-        attribute :>> name = "CFR820_30j";
-        attribute :>> clauseNumber = "820.30(j)";
-        attribute :>> title = "design history file";
-        attribute :>> normativeStrength = "shall";
-    }
 
-    connection cfr820Has30 : Composes connect parent ::> cfr21Part820 to child ::> cfr820_30;
 
-    connection cfr820_30HasA : Composes connect parent ::> cfr820_30 to child ::> cfr820_30a;
-    connection cfr820_30HasB : Composes connect parent ::> cfr820_30 to child ::> cfr820_30b;
-    connection cfr820_30HasC : Composes connect parent ::> cfr820_30 to child ::> cfr820_30c;
-    connection cfr820_30HasD : Composes connect parent ::> cfr820_30 to child ::> cfr820_30d;
-    connection cfr820_30HasE : Composes connect parent ::> cfr820_30 to child ::> cfr820_30e;
-    connection cfr820_30HasF : Composes connect parent ::> cfr820_30 to child ::> cfr820_30f;
-    connection cfr820_30HasG : Composes connect parent ::> cfr820_30 to child ::> cfr820_30g;
-    connection cfr820_30HasH : Composes connect parent ::> cfr820_30 to child ::> cfr820_30h;
-    connection cfr820_30HasI : Composes connect parent ::> cfr820_30 to child ::> cfr820_30i;
-    connection cfr820_30HasJ : Composes connect parent ::> cfr820_30 to child ::> cfr820_30j;
 }

package/src/artifacts/standards/fda_cybersecurity_2023.sysml

@@ -18,63 +18,59 @@ package memo_artifacts_standards_fda_cybersecurity_2023 {
     private import memo_core_relationships::*;
     private import memo_artifacts_standards_traceability::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     item fdaCybersecurity2023 : RegulatoryStandard {
-        attribute :>> id = "STD-FDA-CYBER-2023";
+        @MemoIdentity { :>> providedId = "STD-FDA-CYBER-2023"; }
         attribute :>> name = "FDACybersecurity2023";
         attribute :>> designation = "FDA Cybersecurity Guidance 2023";
         attribute :>> edition = "2023-09";
         attribute :>> issuer = "FDA";
         attribute :>> appliesToRegime = (RegulatoryRegimeKind::FDA_510k, RegulatoryRegimeKind::FDA_PMA);
+        item fdaCyberSection4 : StandardClause {
+            @MemoIdentity { :>> providedId = "STD-FDA-CYBER-2023-IV"; }
+            attribute :>> name = "FDACyberSectionIV";
+            attribute :>> clauseNumber = "IV";
+            attribute :>> title = "general cybersecurity principles";
+            attribute :>> normativeStrength = "informative";
+        }
+        item fdaCyberSection5 : StandardClause {
+            @MemoIdentity { :>> providedId = "STD-FDA-CYBER-2023-V"; }
+            attribute :>> name = "FDACyberSectionV";
+            attribute :>> clauseNumber = "V";
+            attribute :>> title = "secure product development framework";
+            attribute :>> normativeStrength = "informative";
+            item fdaCyberSection5A : StandardClause {
+                @MemoIdentity { :>> providedId = "STD-FDA-CYBER-2023-V-A"; }
+                attribute :>> name = "FDACyberSectionVA";
+                attribute :>> clauseNumber = "V.A";
+                attribute :>> title = "security risk management";
+                attribute :>> normativeStrength = "informative";
+            }
+            item fdaCyberSection5B : StandardClause {
+                @MemoIdentity { :>> providedId = "STD-FDA-CYBER-2023-V-B"; }
+                attribute :>> name = "FDACyberSectionVB";
+                attribute :>> clauseNumber = "V.B";
+                attribute :>> title = "security architecture";
+                attribute :>> normativeStrength = "informative";
+            }
+            item fdaCyberSection5C : StandardClause {
+                @MemoIdentity { :>> providedId = "STD-FDA-CYBER-2023-V-C"; }
+                attribute :>> name = "FDACyberSectionVC";
+                attribute :>> clauseNumber = "V.C";
+                attribute :>> title = "cybersecurity testing";
+                attribute :>> normativeStrength = "informative";
+            }
+        }
+        item fdaCyberSection6 : StandardClause {
+            @MemoIdentity { :>> providedId = "STD-FDA-CYBER-2023-VI"; }
+            attribute :>> name = "FDACyberSectionVI";
+            attribute :>> clauseNumber = "VI";
+            attribute :>> title = "cybersecurity transparency and vulnerability management";
+            attribute :>> normativeStrength = "informative";
+        }
     }
 
-    item fdaCyberSection4 : StandardClause {
-        attribute :>> id = "STD-FDA-CYBER-2023-IV";
-        attribute :>> name = "FDACyberSectionIV";
-        attribute :>> clauseNumber = "IV";
-        attribute :>> title = "general cybersecurity principles";
-        attribute :>> normativeStrength = "informative";
-    }
-    item fdaCyberSection5 : StandardClause {
-        attribute :>> id = "STD-FDA-CYBER-2023-V";
-        attribute :>> name = "FDACyberSectionV";
-        attribute :>> clauseNumber = "V";
-        attribute :>> title = "secure product development framework";
-        attribute :>> normativeStrength = "informative";
-    }
-    item fdaCyberSection5A : StandardClause {
-        attribute :>> id = "STD-FDA-CYBER-2023-V-A";
-        attribute :>> name = "FDACyberSectionVA";
-        attribute :>> clauseNumber = "V.A";
-        attribute :>> title = "security risk management";
-        attribute :>> normativeStrength = "informative";
-    }
-    item fdaCyberSection5B : StandardClause {
-        attribute :>> id = "STD-FDA-CYBER-2023-V-B";
-        attribute :>> name = "FDACyberSectionVB";
-        attribute :>> clauseNumber = "V.B";
-        attribute :>> title = "security architecture";
-        attribute :>> normativeStrength = "informative";
-    }
-    item fdaCyberSection5C : StandardClause {
-        attribute :>> id = "STD-FDA-CYBER-2023-V-C";
-        attribute :>> name = "FDACyberSectionVC";
-        attribute :>> clauseNumber = "V.C";
-        attribute :>> title = "cybersecurity testing";
-        attribute :>> normativeStrength = "informative";
-    }
-    item fdaCyberSection6 : StandardClause {
-        attribute :>> id = "STD-FDA-CYBER-2023-VI";
-        attribute :>> name = "FDACyberSectionVI";
-        attribute :>> clauseNumber = "VI";
-        attribute :>> title = "cybersecurity transparency and vulnerability management";
-        attribute :>> normativeStrength = "informative";
-    }
 
-    connection fdaCyberHas4 : Composes connect parent ::> fdaCybersecurity2023 to child ::> fdaCyberSection4;
-    connection fdaCyberHas5 : Composes connect parent ::> fdaCybersecurity2023 to child ::> fdaCyberSection5;
-    connection fdaCyberHas6 : Composes connect parent ::> fdaCybersecurity2023 to child ::> fdaCyberSection6;
 
-    connection fdaCyberHas5A : Composes connect parent ::> fdaCyberSection5 to child ::> fdaCyberSection5A;
-    connection fdaCyberHas5B : Composes connect parent ::> fdaCyberSection5 to child ::> fdaCyberSection5B;
-    connection fdaCyberHas5C : Composes connect parent ::> fdaCyberSection5 to child ::> fdaCyberSection5C;
 }