@memoarchitect/ontology 0.13.2 → 0.15.1

package/examples/ivd-laboratory-system/model/{catalog → methodology}/project.sysml

@@ -1,4 +1,4 @@
-// Ivd Laboratory System — project identity and method binding.
+// Ivd Laboratory System — model identity and method binding.
 //
 // The native entrypoint. The imports name what this project contains and the
 // binding names the methodology it is governed by. No YAML file participates.
@@ -16,10 +16,9 @@ package memo_examples_ivd_laboratory_system_project {
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
-    part projectBinding : ProjectMethodBinding {
-        @MemoIdentity { :>> providedId = "PMB-LABORATORY-SYSTEM-001"; }
-        attribute :>> name = "IvdLaboratorySystemProjectMethodBinding";
-        attribute :>> projectName = "Ivd Laboratory System";
+    part projectBinding : ModelMethodBinding {
+        @MemoIdentity { :>> providedId = "PMB-LABORATORY-SYSTEM-001"; :>> label = "IvdLaboratorySystemModelMethodBinding"; }
+        attribute :>> modelName = "Ivd Laboratory System";
         ref :>> selectedMethodology = mdDefaultDefinition;
         attribute :>> scopeMode = ScopeModeKind::explicit;
     }

package/examples/manual-surgical-instrument/memo.package.yaml

@@ -1,3 +1,5 @@
 name: manual-surgical-instrument
-entrypoint: model/catalog/project.sysml
+entrypoint: model/methodology/project.sysml
 include: [model]
+toolchain:
+  packager: internal

package/examples/manual-surgical-instrument/model/catalog/manual_surgical_instrument.sysml

@@ -15,12 +15,10 @@ package memo_examples_manual_surgical_instrument {
     // ── Modeled product and physical structure ──────────────────
     part needleHolder : PhysicalAssembly {
         @MemoIdentity { :>> providedId = "MSI-DEV-001"; }
-        attribute :>> name = "NeedleHolder";
         attribute :>> responsibility = "grasp and drive a suture needle";
     }
     part jawAssembly : MechanicalPart {
-        @MemoIdentity { :>> providedId = "MSI-PART-001"; }
-        attribute :>> name = "TungstenCarbideJaws";
+        @MemoIdentity { :>> providedId = "MSI-PART-001"; :>> label = "TungstenCarbideJaws"; }
         attribute :>> mechanicalFunction = "serrated needle grip";
         attribute :>> patientContact = true;
         attribute :>> contactNature = "intact tissue / surgical site, indirect";
@@ -28,7 +26,6 @@ package memo_examples_manual_surgical_instrument {
     }
     part ratchetLock : MechanicalPart {
         @MemoIdentity { :>> providedId = "MSI-PART-002"; }
-        attribute :>> name = "RatchetLock";
         attribute :>> mechanicalFunction = "maintains jaw clamping force without continuous grip";
         attribute :>> patientContact = false;
     }
@@ -38,8 +35,7 @@ package memo_examples_manual_surgical_instrument {
     // A task may be traced to the architecture later when the project has a
     // specific allocation or interaction claim to make.
     action taskPlaceSutures : OperativeAction {
-        @MemoIdentity { :>> providedId = "MSI-TASK-001"; }
-        attribute :>> name = "PlaceSutures";
+        @MemoIdentity { :>> providedId = "MSI-TASK-001"; :>> label = "PlaceSutures"; }
         attribute :>> taskGoal = "place interrupted sutures";
     }
 }

package/examples/manual-surgical-instrument/model/{catalog → methodology}/project.sysml

@@ -1,4 +1,4 @@
-// Manual Surgical Instrument — project identity and method binding.
+// Manual Surgical Instrument — model identity and method binding.
 //
 // The native entrypoint. The imports name what this project contains and the
 // binding names the methodology it is governed by. No YAML file participates.
@@ -16,10 +16,9 @@ package memo_examples_manual_surgical_instrument_project {
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
-    part projectBinding : ProjectMethodBinding {
-        @MemoIdentity { :>> providedId = "PMB-SURGICAL-INSTRUMENT-001"; }
-        attribute :>> name = "ManualSurgicalInstrumentProjectMethodBinding";
-        attribute :>> projectName = "Manual Surgical Instrument";
+    part projectBinding : ModelMethodBinding {
+        @MemoIdentity { :>> providedId = "PMB-SURGICAL-INSTRUMENT-001"; :>> label = "ManualSurgicalInstrumentModelMethodBinding"; }
+        attribute :>> modelName = "Manual Surgical Instrument";
         ref :>> selectedMethodology = mdDefaultDefinition;
         attribute :>> scopeMode = ScopeModeKind::explicit;
     }

package/examples/multidimensional-layers/memo.package.yaml

@@ -1,3 +1,5 @@
 name: multidimensional-layers
-entrypoint: model/catalog/project.sysml
+entrypoint: model/methodology/project.sysml
 include: [model]
+toolchain:
+  packager: internal

package/examples/multidimensional-layers/model/catalog/multidimensional_layers.sysml

@@ -21,7 +21,6 @@ package memo_examples_multidimensional_layers {
     private import memo_core_common::MemoIdentity;
     part doseLimitChecker : SoftwareModule {
         @MemoIdentity { :>> providedId = "MDL-SW-001"; }
-        attribute :>> name = "DoseLimitChecker";
         attribute :>> responsibility = "Reject therapy parameters outside the drug library's hard limits.";
         attribute :>> safetyClass = SafetyClassKind::C;
         // Axis ownership is this element's package (implementation layer) — not
@@ -35,8 +34,7 @@ package memo_examples_multidimensional_layers {
     // The SAME identity progresses through realization stages — a deployed
     // configuration is a stage of the element, not a second element.
     part doseLimitCheckerRuntime : SoftwareComponent {
-        @MemoIdentity { :>> providedId = "MDL-RT-001"; }
-        attribute :>> name = "DoseLimitCheckerTask";
+        @MemoIdentity { :>> providedId = "MDL-RT-001"; :>> label = "DoseLimitCheckerTask"; }
         attribute :>> periodMs = 50.0;
         attribute :>> deadlineMs = 50.0;
         attribute :>> wcetMs = 8.0;
@@ -47,7 +45,7 @@ package memo_examples_multidimensional_layers {
     #refinement dependency doseLimitCheckerRuntime to doseLimitChecker;
 
     verification vcLimitEnforcement : VerificationCase {
-        @MemoIdentity { :>> providedId = "MDL-VC-001"; } attribute :>> name = "VerifyHardLimitEnforcement";
+        @MemoIdentity { :>> providedId = "MDL-VC-001"; :>> label = "VerifyHardLimitEnforcement"; }
         attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "all out-of-limit programs rejected across the equivalence classes";
 

package/examples/multidimensional-layers/model/{catalog → methodology}/project.sysml

@@ -1,4 +1,4 @@
-// Multidimensional Layers — project identity and method binding.
+// Multidimensional Layers — model identity and method binding.
 //
 // The native entrypoint. The imports name what this project contains and the
 // binding names the methodology it is governed by. No YAML file participates.
@@ -16,10 +16,9 @@ package memo_examples_multidimensional_layers_project {
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
-    part projectBinding : ProjectMethodBinding {
-        @MemoIdentity { :>> providedId = "PMB-MULTIDIMENSIONAL-LAYERS-001"; }
-        attribute :>> name = "MultidimensionalLayersProjectMethodBinding";
-        attribute :>> projectName = "Multidimensional Layers";
+    part projectBinding : ModelMethodBinding {
+        @MemoIdentity { :>> providedId = "PMB-MULTIDIMENSIONAL-LAYERS-001"; :>> label = "MultidimensionalLayersModelMethodBinding"; }
+        attribute :>> modelName = "Multidimensional Layers";
         ref :>> selectedMethodology = mdDefaultDefinition;
         attribute :>> scopeMode = ScopeModeKind::explicit;
     }

package/examples/nested-architecture-dsm/memo.identity.yaml

@@ -20,6 +20,24 @@ elements:
   "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnDeliverTherapy":
     shortId: "SYS-5"
     uuid: "97af02c1-1869-51cd-b6a3-3d9b0803cac0"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnDeliverTherapy::fnControlDose":
+    shortId: "SYS-4"
+    uuid: "02ff5db5-4708-5084-8b09-2700ddb32faf"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnDeliverTherapy::fnControlDose::fnComputeRate":
+    shortId: "SYS-3"
+    uuid: "88ffa158-7036-55a6-910f-72ebeff80d8c"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnDeliverTherapy::fnControlDose::fnValidatePrescription":
+    shortId: "SYS-18"
+    uuid: "a8c04e09-7dfe-50ae-8b7e-184964772b59"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnDeliverTherapy::fnMeterFluid":
+    shortId: "SYS-14"
+    uuid: "ad2c6549-6cde-5d0c-972d-121765bad784"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnDeliverTherapy::fnMeterFluid::fnDriveActuator":
+    shortId: "SYS-8"
+    uuid: "cafa121a-9376-543e-b16f-3e1755ca2aa6"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnDeliverTherapy::fnMeterFluid::fnMeasureDelivered":
+    shortId: "SYS-13"
+    uuid: "e9e92f6d-4d74-5ab2-8a04-3a8a502db932"
   "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnDetectAirInLine":
     shortId: "SYS-6"
     uuid: "01cc8a11-19d1-598f-a56f-f7cf5ba0d243"
@@ -35,12 +53,36 @@ elements:
   "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnEnsureSafety":
     shortId: "SYS-10"
     uuid: "4c0057ea-363a-534f-b3cb-d939e9b9f22d"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnEnsureSafety::fnDetectAirInLine":
+    shortId: "SYS-6"
+    uuid: "01cc8a11-19d1-598f-a56f-f7cf5ba0d243"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnEnsureSafety::fnDetectOcclusion":
+    shortId: "SYS-7"
+    uuid: "a1c87fbc-9933-5b07-a7a4-faa2a1b53589"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnEnsureSafety::fnEnforceDoseLimits":
+    shortId: "SYS-9"
+    uuid: "e3f15682-175f-550c-9daa-305017c19b54"
   "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnInformUser":
     shortId: "SYS-11"
     uuid: "c0d2ae2a-c619-552c-ad94-67a87d75a5f0"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnInformUser::fnAcceptInput":
+    shortId: "SYS-1"
+    uuid: "743bc427-3611-54b4-b02f-f30d4474e8be"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnInformUser::fnAnnunciateAlarm":
+    shortId: "SYS-2"
+    uuid: "38a50787-f2bd-51ee-9b90-6e0e6695b9f6"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnInformUser::fnRenderStatus":
+    shortId: "SYS-16"
+    uuid: "2f581251-4e2e-5e0c-b937-e668d7abb1df"
   "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnManagePower":
     shortId: "SYS-12"
     uuid: "7306642f-c2c8-53ed-bf55-4369cdec0373"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnManagePower::fnMonitorBattery":
+    shortId: "SYS-15"
+    uuid: "fa001550-9cd2-5118-880b-16dcc35f11e9"
+  "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnManagePower::fnSelectPowerSource":
+    shortId: "SYS-17"
+    uuid: "96806e2b-9dad-5a25-906e-097da793517f"
   "memo_examples_nested_architecture_dsm_architecture_functional_functions::fnMeasureDelivered":
     shortId: "SYS-13"
     uuid: "e9e92f6d-4d74-5ab2-8a04-3a8a502db932"
@@ -113,6 +155,57 @@ elements:
   "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery":
     shortId: "SYS-19"
     uuid: "523429e1-0a24-5aa6-b5c0-47c7eb82f4df"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery::subControl":
+    shortId: "SBS-1"
+    uuid: "077d4a45-b168-52a4-9641-17c1f5b600ff"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery::subControl::lcDoseController":
+    shortId: "LGC-4"
+    uuid: "3b49ad97-598e-5474-aae7-e1b378be185d"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery::subControl::lcTherapyStateStore":
+    shortId: "LGC-11"
+    uuid: "59faa354-00b6-542a-9097-8b54c7cfa0a4"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery::subControl::subSafetyMonitor":
+    shortId: "SBS-4"
+    uuid: "c22054ce-e7da-5a61-8d9e-3dc1c364baba"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery::subControl::subSafetyMonitor::lcPressureIntegrityChannel":
+    shortId: "LGC-8"
+    uuid: "45f4a37a-5d78-5b1c-8638-e3df1bdcfedf"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery::subControl::subSafetyMonitor::lcWatchdogChannel":
+    shortId: "LGC-12"
+    uuid: "11ebfa38-f25a-5d86-a3fe-0daf3bbf37ae"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery::subFluidPath":
+    shortId: "SBS-2"
+    uuid: "43548a32-68a1-51bf-ab90-378990d36d2c"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery::subFluidPath::lcOcclusionChannel":
+    shortId: "LGC-6"
+    uuid: "f1964871-b8a4-510d-b946-c962847f61d4"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery::subFluidPath::lcPumpMechanism":
+    shortId: "LGC-9"
+    uuid: "630e869e-ef26-52f5-85a4-a9ab0e045006"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery::subFluidPath::lcReservoirInterface":
+    shortId: "LGC-10"
+    uuid: "8bf720eb-227b-59bc-a8bd-17597157badf"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery::subPower":
+    shortId: "SBS-3"
+    uuid: "aa677b1f-eddb-5436-9c6f-85221b3b77aa"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery::subPower::lcBatteryManager":
+    shortId: "LGC-2"
+    uuid: "d6971bce-148e-5366-ab22-f80166c10b3f"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery::subPower::lcPowerRailMonitor":
+    shortId: "LGC-7"
+    uuid: "4deb4ccd-b9f0-5ff4-904e-cf88beff861d"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery::subUserInterface":
+    shortId: "SBS-5"
+    uuid: "d549ae19-f954-5553-98bc-2aae381754ae"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery::subUserInterface::lcAlarmAnnunciator":
+    shortId: "LGC-1"
+    uuid: "4a3bc844-d379-53a5-bd07-45cfddbb306f"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery::subUserInterface::lcDisplayManager":
+    shortId: "LGC-3"
+    uuid: "429d103c-969c-53fc-a447-2a0a9bb74764"
+  "memo_examples_nested_architecture_dsm_architecture_logical_structure::sysTherapyDelivery::subUserInterface::lcKeypadHandler":
+    shortId: "LGC-5"
+    uuid: "69673dde-9347-5e7b-a896-6ee9e9069a86"
   "memo_examples_nested_architecture_dsm_architecture_operational_context::ctxIntraHospitalTransport":
     shortId: "USE-1"
     uuid: "a4ec22e7-25cb-54f8-b606-397da672af36"

package/examples/nested-architecture-dsm/memo.package.yaml

@@ -1,3 +1,5 @@
 name: nested-architecture-dsm
-entrypoint: model/catalog/project.sysml
+entrypoint: model/methodology/project.sysml
 include: [model]
+toolchain:
+  packager: internal

package/examples/nested-architecture-dsm/model/catalog/architecture/functional/functions.sysml

@@ -18,28 +18,28 @@ package memo_examples_nested_architecture_dsm_architecture_functional_functions
     private import memo_core_common::MemoIdentity;
     // ── Deliver therapy ──────────────────────────────────────────
     action fnDeliverTherapy : SystemFunction {
-        @MemoIdentity { :>> providedId = "NDS-FN-001"; } attribute :>> name = "DeliverTherapy";
+        @MemoIdentity { :>> providedId = "NDS-FN-001"; :>> label = "DeliverTherapy"; }
         attribute :>> functionCategory = "therapy";
         attribute :>> criticality = CriticalityKind::catastrophic;
         attribute :>> concernKind = ConcernKind::safety;
         attribute :>> outputSummary = "fluid delivered to the patient line at the prescribed rate";
 
         action fnMeterFluid : SystemFunction {
-            @MemoIdentity { :>> providedId = "NDS-FN-002"; } attribute :>> name = "MeterFluid";
+            @MemoIdentity { :>> providedId = "NDS-FN-002"; :>> label = "MeterFluid"; }
             attribute :>> functionCategory = "therapy";
             attribute :>> criticality = CriticalityKind::catastrophic;
             attribute :>> concernKind = ConcernKind::safety;
             attribute :>> outputSummary = "measured volume displaced per control period";
 
             action fnDriveActuator : SystemFunction {
-                @MemoIdentity { :>> providedId = "NDS-FN-003"; } attribute :>> name = "DriveActuator";
+                @MemoIdentity { :>> providedId = "NDS-FN-003"; :>> label = "DriveActuator"; }
                 attribute :>> functionCategory = "therapy";
                 attribute :>> criticality = CriticalityKind::catastrophic;
                 attribute :>> trigger = "rate command from the dose control loop";
                 attribute :>> concernKind = ConcernKind::safety;
             }
             action fnMeasureDelivered : SystemFunction {
-                @MemoIdentity { :>> providedId = "NDS-FN-004"; } attribute :>> name = "MeasureDeliveredVolume";
+                @MemoIdentity { :>> providedId = "NDS-FN-004"; :>> label = "MeasureDeliveredVolume"; }
                 attribute :>> functionCategory = "therapy";
                 attribute :>> criticality = CriticalityKind::high;
                 attribute :>> concernKind = ConcernKind::safety;
@@ -47,20 +47,20 @@ package memo_examples_nested_architecture_dsm_architecture_functional_functions
             }
         }
         action fnControlDose : SystemFunction {
-            @MemoIdentity { :>> providedId = "NDS-FN-005"; } attribute :>> name = "ControlDose";
+            @MemoIdentity { :>> providedId = "NDS-FN-005"; :>> label = "ControlDose"; }
             attribute :>> functionCategory = "therapy";
             attribute :>> criticality = CriticalityKind::catastrophic;
             attribute :>> concernKind = ConcernKind::safety;
 
             action fnComputeRate : SystemFunction {
-                @MemoIdentity { :>> providedId = "NDS-FN-006"; } attribute :>> name = "ComputeInfusionRate";
+                @MemoIdentity { :>> providedId = "NDS-FN-006"; :>> label = "ComputeInfusionRate"; }
                 attribute :>> functionCategory = "therapy";
                 attribute :>> criticality = CriticalityKind::catastrophic;
                 attribute :>> concernKind = ConcernKind::safety;
                 attribute :>> outputSummary = "rate command, saturated at the prescribed ceiling";
             }
             action fnValidatePrescription : SystemFunction {
-                @MemoIdentity { :>> providedId = "NDS-FN-007"; } attribute :>> name = "ValidatePrescription";
+                @MemoIdentity { :>> providedId = "NDS-FN-007"; :>> label = "ValidatePrescription"; }
                 attribute :>> functionCategory = "therapy";
                 attribute :>> criticality = CriticalityKind::high;
                 attribute :>> concernKind = ConcernKind::clinical;
@@ -71,27 +71,27 @@ package memo_examples_nested_architecture_dsm_architecture_functional_functions
 
     // ── Ensure safety ────────────────────────────────────────────
     action fnEnsureSafety : SystemFunction {
-        @MemoIdentity { :>> providedId = "NDS-FN-008"; } attribute :>> name = "EnsureSafety";
+        @MemoIdentity { :>> providedId = "NDS-FN-008"; :>> label = "EnsureSafety"; }
         attribute :>> functionCategory = "protection";
         attribute :>> criticality = CriticalityKind::catastrophic;
         attribute :>> concernKind = ConcernKind::safety;
 
         action fnDetectOcclusion : SystemFunction {
-            @MemoIdentity { :>> providedId = "NDS-FN-009"; } attribute :>> name = "DetectOcclusion";
+            @MemoIdentity { :>> providedId = "NDS-FN-009"; :>> label = "DetectOcclusion"; }
             attribute :>> functionCategory = "protection";
             attribute :>> criticality = CriticalityKind::catastrophic;
             attribute :>> trigger = "line pressure above the occlusion threshold";
             attribute :>> concernKind = ConcernKind::safety;
         }
         action fnDetectAirInLine : SystemFunction {
-            @MemoIdentity { :>> providedId = "NDS-FN-010"; } attribute :>> name = "DetectAirInLine";
+            @MemoIdentity { :>> providedId = "NDS-FN-010"; :>> label = "DetectAirInLine"; }
             attribute :>> functionCategory = "protection";
             attribute :>> criticality = CriticalityKind::catastrophic;
             attribute :>> trigger = "air bolus detected in the patient line";
             attribute :>> concernKind = ConcernKind::safety;
         }
         action fnEnforceDoseLimits : SystemFunction {
-            @MemoIdentity { :>> providedId = "NDS-FN-011"; } attribute :>> name = "EnforceDoseLimits";
+            @MemoIdentity { :>> providedId = "NDS-FN-011"; :>> label = "EnforceDoseLimits"; }
             attribute :>> functionCategory = "protection";
             attribute :>> criticality = CriticalityKind::catastrophic;
             attribute :>> concernKind = ConcernKind::safety;
@@ -101,27 +101,27 @@ package memo_examples_nested_architecture_dsm_architecture_functional_functions
 
     // ── Inform the user ──────────────────────────────────────────
     action fnInformUser : SystemFunction {
-        @MemoIdentity { :>> providedId = "NDS-FN-012"; } attribute :>> name = "InformUser";
+        @MemoIdentity { :>> providedId = "NDS-FN-012"; :>> label = "InformUser"; }
         attribute :>> functionCategory = "interaction";
         attribute :>> criticality = CriticalityKind::high;
         attribute :>> concernKind = ConcernKind::usability;
 
         action fnRenderStatus : SystemFunction {
-            @MemoIdentity { :>> providedId = "NDS-FN-013"; } attribute :>> name = "RenderTherapyStatus";
+            @MemoIdentity { :>> providedId = "NDS-FN-013"; :>> label = "RenderTherapyStatus"; }
             attribute :>> functionCategory = "interaction";
             attribute :>> criticality = CriticalityKind::high;
             attribute :>> concernKind = ConcernKind::usability;
             attribute :>> outputSummary = "rate, volume delivered and time remaining";
         }
         action fnAnnunciateAlarm : SystemFunction {
-            @MemoIdentity { :>> providedId = "NDS-FN-014"; } attribute :>> name = "AnnunciateAlarm";
+            @MemoIdentity { :>> providedId = "NDS-FN-014"; :>> label = "AnnunciateAlarm"; }
             attribute :>> functionCategory = "interaction";
             attribute :>> criticality = CriticalityKind::catastrophic;
             attribute :>> trigger = "any active alarm condition";
             attribute :>> concernKind = ConcernKind::safety;
         }
         action fnAcceptInput : SystemFunction {
-            @MemoIdentity { :>> providedId = "NDS-FN-015"; } attribute :>> name = "AcceptClinicianInput";
+            @MemoIdentity { :>> providedId = "NDS-FN-015"; :>> label = "AcceptClinicianInput"; }
             attribute :>> functionCategory = "interaction";
             attribute :>> criticality = CriticalityKind::high;
             attribute :>> concernKind = ConcernKind::usability;
@@ -131,20 +131,20 @@ package memo_examples_nested_architecture_dsm_architecture_functional_functions
 
     // ── Manage power ─────────────────────────────────────────────
     action fnManagePower : SystemFunction {
-        @MemoIdentity { :>> providedId = "NDS-FN-016"; } attribute :>> name = "ManagePower";
+        @MemoIdentity { :>> providedId = "NDS-FN-016"; :>> label = "ManagePower"; }
         attribute :>> functionCategory = "platform";
         attribute :>> criticality = CriticalityKind::high;
         attribute :>> concernKind = ConcernKind::reliability;
 
         action fnMonitorBattery : SystemFunction {
-            @MemoIdentity { :>> providedId = "NDS-FN-017"; } attribute :>> name = "MonitorBatteryState";
+            @MemoIdentity { :>> providedId = "NDS-FN-017"; :>> label = "MonitorBatteryState"; }
             attribute :>> functionCategory = "platform";
             attribute :>> criticality = CriticalityKind::high;
             attribute :>> concernKind = ConcernKind::reliability;
             attribute :>> outputSummary = "state of charge and remaining run time";
         }
         action fnSelectPowerSource : SystemFunction {
-            @MemoIdentity { :>> providedId = "NDS-FN-018"; } attribute :>> name = "SelectPowerSource";
+            @MemoIdentity { :>> providedId = "NDS-FN-018"; :>> label = "SelectPowerSource"; }
             attribute :>> functionCategory = "platform";
             attribute :>> criticality = CriticalityKind::high;
             attribute :>> trigger = "mains loss or rail brownout";
@@ -155,18 +155,18 @@ package memo_examples_nested_architecture_dsm_architecture_functional_functions
     // ── Functional exchange ──────────────────────────────────────
     // Cross-tree marks are the interesting ones: they are what a collapsed DSM
     // rolls up into a single number between two capabilities.
-    flow from fnDeliverTherapy.fnMeterFluid.fnMeasureDelivered to fnDeliverTherapy.fnControlDose.fnComputeRate;
-    flow from fnDeliverTherapy.fnControlDose.fnComputeRate to fnDeliverTherapy.fnMeterFluid.fnDriveActuator;
-    flow from fnDeliverTherapy.fnMeterFluid.fnDriveActuator to fnDeliverTherapy.fnMeterFluid.fnMeasureDelivered;
-    flow from fnDeliverTherapy.fnControlDose.fnValidatePrescription to fnDeliverTherapy.fnControlDose.fnComputeRate;
-    flow from fnInformUser.fnAcceptInput to fnDeliverTherapy.fnControlDose.fnValidatePrescription;
-    flow from fnEnsureSafety.fnDetectOcclusion to fnEnsureSafety.fnEnforceDoseLimits;
-    flow from fnEnsureSafety.fnDetectAirInLine to fnInformUser.fnAnnunciateAlarm;
-    flow from fnEnsureSafety.fnEnforceDoseLimits to fnDeliverTherapy.fnMeterFluid.fnDriveActuator;
-    flow from fnDeliverTherapy.fnMeterFluid.fnMeasureDelivered to fnInformUser.fnRenderStatus;
-    flow from fnManagePower.fnMonitorBattery to fnInformUser.fnAnnunciateAlarm;
-    flow from fnManagePower.fnSelectPowerSource to fnDeliverTherapy.fnMeterFluid.fnDriveActuator;
-    flow from fnEnsureSafety.fnDetectOcclusion to fnInformUser.fnAnnunciateAlarm;
+    flow fnMeasureDeliveredToFnComputeRate from fnDeliverTherapy.fnMeterFluid.fnMeasureDelivered to fnDeliverTherapy.fnControlDose.fnComputeRate;
+    flow fnComputeRateToFnDriveActuator from fnDeliverTherapy.fnControlDose.fnComputeRate to fnDeliverTherapy.fnMeterFluid.fnDriveActuator;
+    flow fnDriveActuatorToFnMeasureDelivered from fnDeliverTherapy.fnMeterFluid.fnDriveActuator to fnDeliverTherapy.fnMeterFluid.fnMeasureDelivered;
+    flow fnValidatePrescriptionToFnComputeRate from fnDeliverTherapy.fnControlDose.fnValidatePrescription to fnDeliverTherapy.fnControlDose.fnComputeRate;
+    flow fnAcceptInputToFnValidatePrescription from fnInformUser.fnAcceptInput to fnDeliverTherapy.fnControlDose.fnValidatePrescription;
+    flow fnDetectOcclusionToFnEnforceDoseLimits from fnEnsureSafety.fnDetectOcclusion to fnEnsureSafety.fnEnforceDoseLimits;
+    flow fnDetectAirInLineToFnAnnunciateAlarm from fnEnsureSafety.fnDetectAirInLine to fnInformUser.fnAnnunciateAlarm;
+    flow fnEnforceDoseLimitsToFnDriveActuator from fnEnsureSafety.fnEnforceDoseLimits to fnDeliverTherapy.fnMeterFluid.fnDriveActuator;
+    flow fnMeasureDeliveredToFnRenderStatus from fnDeliverTherapy.fnMeterFluid.fnMeasureDelivered to fnInformUser.fnRenderStatus;
+    flow fnMonitorBatteryToFnAnnunciateAlarm from fnManagePower.fnMonitorBattery to fnInformUser.fnAnnunciateAlarm;
+    flow fnSelectPowerSourceToFnDriveActuator from fnManagePower.fnSelectPowerSource to fnDeliverTherapy.fnMeterFluid.fnDriveActuator;
+    flow fnDetectOcclusionToFnAnnunciateAlarm from fnEnsureSafety.fnDetectOcclusion to fnInformUser.fnAnnunciateAlarm;
     satisfy reqDoseAccuracy by fnDeliverTherapy.fnControlDose.fnComputeRate;
     satisfy reqDoseAccuracy by fnDeliverTherapy.fnMeterFluid.fnDriveActuator;
     satisfy reqOcclusionDetection by fnEnsureSafety.fnDetectOcclusion;

package/examples/nested-architecture-dsm/model/catalog/architecture/logical/structure.sysml

@@ -16,7 +16,7 @@ package memo_examples_nested_architecture_dsm_architecture_logical_structure {
     private import memo_core_common::MemoIdentity;
     // ── Level 0: the system ──────────────────────────────────────
     part sysTherapyDelivery : System {
-        @MemoIdentity { :>> providedId = "NDS-SYS-001"; } attribute :>> name = "TherapyDeliverySystem";
+        @MemoIdentity { :>> providedId = "NDS-SYS-001"; :>> label = "TherapyDeliverySystem"; }
         attribute :>> componentRole = ComponentRoleKind::generic;
         attribute :>> systemType = SystemTypeKind::logical;
         attribute :>> systemBoundaryDescription = "Everything inside the pump enclosure, including its power path and user interface.";
@@ -24,35 +24,35 @@ package memo_examples_nested_architecture_dsm_architecture_logical_structure {
 
         // ── Level 1: subsystems ──────────────────────────────────
         part subFluidPath : Subsystem {
-            @MemoIdentity { :>> providedId = "NDS-SUB-001"; } attribute :>> name = "FluidPathSubsystem";
+            @MemoIdentity { :>> providedId = "NDS-SUB-001"; :>> label = "FluidPathSubsystem"; }
             attribute :>> componentRole = ComponentRoleKind::generic;
             attribute :>> systemType = SystemTypeKind::hardware;
             attribute :>> responsibility = "Move fluid from the reservoir to the patient line at a commanded rate.";
 
             // ── Level 2/3: components ─────────────────────────────
             part lcPumpMechanism : LogicalComponent {
-                @MemoIdentity { :>> providedId = "NDS-LC-001"; } attribute :>> name = "PumpMechanism";
+                @MemoIdentity { :>> providedId = "NDS-LC-001"; :>> label = "PumpMechanism"; }
                 attribute :>> componentRole = ComponentRoleKind::controlElement;
                 attribute :>> systemType = SystemTypeKind::hardware;
                 attribute :>> responsibility = "Displace fluid under command.";
                 attribute :>> controlledVariable = "delivered volume per stroke";
             }
             part lcOcclusionChannel : LogicalComponent {
-                @MemoIdentity { :>> providedId = "NDS-LC-002"; } attribute :>> name = "OcclusionSensingChannel";
+                @MemoIdentity { :>> providedId = "NDS-LC-002"; :>> label = "OcclusionSensingChannel"; }
                 attribute :>> componentRole = ComponentRoleKind::channel;
                 attribute :>> systemType = SystemTypeKind::hardware;
                 attribute :>> responsibility = "Sense line pressure and air in line.";
                 attribute :>> channelRole = ChannelRoleKind::primary;
             }
             part lcReservoirInterface : LogicalComponent {
-                @MemoIdentity { :>> providedId = "NDS-LC-003"; } attribute :>> name = "ReservoirInterface";
+                @MemoIdentity { :>> providedId = "NDS-LC-003"; :>> label = "ReservoirInterface"; }
                 attribute :>> componentRole = ComponentRoleKind::generic;
                 attribute :>> systemType = SystemTypeKind::hardware;
                 attribute :>> responsibility = "Seat the reservoir and expose its remaining volume.";
             }
         }
         part subControl : Subsystem {
-            @MemoIdentity { :>> providedId = "NDS-SUB-002"; } attribute :>> name = "ControlSubsystem";
+            @MemoIdentity { :>> providedId = "NDS-SUB-002"; :>> label = "ControlSubsystem"; }
             attribute :>> componentRole = ComponentRoleKind::controlElement;
             attribute :>> systemType = SystemTypeKind::software;
             attribute :>> responsibility = "Decide what the fluid path should do, and hold the therapy state.";
@@ -62,14 +62,14 @@ package memo_examples_nested_architecture_dsm_architecture_logical_structure {
             // which is what makes a collapsed ControlSubsystem row a genuine
             // roll-up rather than a rename of its children.
             part subSafetyMonitor : Subsystem {
-                @MemoIdentity { :>> providedId = "NDS-SUB-005"; } attribute :>> name = "SafetyMonitorSubsystem";
+                @MemoIdentity { :>> providedId = "NDS-SUB-005"; :>> label = "SafetyMonitorSubsystem"; }
                 attribute :>> componentRole = ComponentRoleKind::channel;
                 attribute :>> systemType = SystemTypeKind::software;
                 attribute :>> responsibility = "Watch the control path from outside it and stop delivery on breach.";
                 attribute :>> safetyPartition = "monitor partition, separate MPU region from the control partition";
 
                 part lcWatchdogChannel : LogicalComponent {
-                    @MemoIdentity { :>> providedId = "NDS-LC-006"; } attribute :>> name = "WatchdogChannel";
+                    @MemoIdentity { :>> providedId = "NDS-LC-006"; :>> label = "WatchdogChannel"; }
                     attribute :>> componentRole = ComponentRoleKind::channel;
                     attribute :>> systemType = SystemTypeKind::software;
                     attribute :>> responsibility = "Reset to the safe state when the control loop misses its deadline.";
@@ -77,7 +77,7 @@ package memo_examples_nested_architecture_dsm_architecture_logical_structure {
                     attribute :>> diversityBasis = "independent time base from the control partition";
                 }
                 part lcPressureIntegrityChannel : LogicalComponent {
-                    @MemoIdentity { :>> providedId = "NDS-LC-007"; } attribute :>> name = "PressureIntegrityChannel";
+                    @MemoIdentity { :>> providedId = "NDS-LC-007"; :>> label = "PressureIntegrityChannel"; }
                     attribute :>> componentRole = ComponentRoleKind::channel;
                     attribute :>> systemType = SystemTypeKind::software;
                     attribute :>> responsibility = "Cross-check pressure against the commanded rate and stop on divergence.";
@@ -86,7 +86,7 @@ package memo_examples_nested_architecture_dsm_architecture_logical_structure {
                 }
             }
             part lcDoseController : LogicalComponent {
-                @MemoIdentity { :>> providedId = "NDS-LC-004"; } attribute :>> name = "DoseController";
+                @MemoIdentity { :>> providedId = "NDS-LC-004"; :>> label = "DoseController"; }
                 attribute :>> componentRole = ComponentRoleKind::controlElement;
                 attribute :>> systemType = SystemTypeKind::software;
                 attribute :>> responsibility = "Turn a prescription into rate commands.";
@@ -94,7 +94,7 @@ package memo_examples_nested_architecture_dsm_architecture_logical_structure {
                 attribute :>> controlledVariable = "infusion rate";
             }
             part lcTherapyStateStore : LogicalComponent {
-                @MemoIdentity { :>> providedId = "NDS-LC-005"; } attribute :>> name = "TherapyStateStore";
+                @MemoIdentity { :>> providedId = "NDS-LC-005"; :>> label = "TherapyStateStore"; }
                 attribute :>> componentRole = ComponentRoleKind::dataStore;
                 attribute :>> systemType = SystemTypeKind::software;
                 attribute :>> responsibility = "Hold the active therapy record across power cycles.";
@@ -103,27 +103,27 @@ package memo_examples_nested_architecture_dsm_architecture_logical_structure {
             }
         }
         part subUserInterface : Subsystem {
-            @MemoIdentity { :>> providedId = "NDS-SUB-003"; } attribute :>> name = "UserInterfaceSubsystem";
+            @MemoIdentity { :>> providedId = "NDS-SUB-003"; :>> label = "UserInterfaceSubsystem"; }
             attribute :>> componentRole = ComponentRoleKind::userInterface;
             attribute :>> systemType = SystemTypeKind::software;
             attribute :>> responsibility = "Present therapy state to the clinician and accept their input.";
 
             part lcDisplayManager : LogicalComponent {
-                @MemoIdentity { :>> providedId = "NDS-LC-008"; } attribute :>> name = "DisplayManager";
+                @MemoIdentity { :>> providedId = "NDS-LC-008"; :>> label = "DisplayManager"; }
                 attribute :>> componentRole = ComponentRoleKind::userInterface;
                 attribute :>> systemType = SystemTypeKind::software;
                 attribute :>> responsibility = "Render therapy state on the main screen.";
                 attribute :>> interactionSummary = "read-only status surface, refreshed once per second";
             }
             part lcAlarmAnnunciator : LogicalComponent {
-                @MemoIdentity { :>> providedId = "NDS-LC-009"; } attribute :>> name = "AlarmAnnunciator";
+                @MemoIdentity { :>> providedId = "NDS-LC-009"; :>> label = "AlarmAnnunciator"; }
                 attribute :>> componentRole = ComponentRoleKind::userInterface;
                 attribute :>> systemType = SystemTypeKind::software;
                 attribute :>> responsibility = "Raise audible and visible alarms by priority.";
                 attribute :>> interactionSummary = "IEC 60601-1-8 alarm signals";
             }
             part lcKeypadHandler : LogicalComponent {
-                @MemoIdentity { :>> providedId = "NDS-LC-010"; } attribute :>> name = "KeypadHandler";
+                @MemoIdentity { :>> providedId = "NDS-LC-010"; :>> label = "KeypadHandler"; }
                 attribute :>> componentRole = ComponentRoleKind::userInterface;
                 attribute :>> systemType = SystemTypeKind::software;
                 attribute :>> responsibility = "Debounce and interpret key presses.";
@@ -131,19 +131,19 @@ package memo_examples_nested_architecture_dsm_architecture_logical_structure {
             }
         }
         part subPower : Subsystem {
-            @MemoIdentity { :>> providedId = "NDS-SUB-004"; } attribute :>> name = "PowerSubsystem";
+            @MemoIdentity { :>> providedId = "NDS-SUB-004"; :>> label = "PowerSubsystem"; }
             attribute :>> componentRole = ComponentRoleKind::generic;
             attribute :>> systemType = SystemTypeKind::hardware;
             attribute :>> responsibility = "Supply and monitor power across mains and battery operation.";
 
             part lcBatteryManager : LogicalComponent {
-                @MemoIdentity { :>> providedId = "NDS-LC-011"; } attribute :>> name = "BatteryManager";
+                @MemoIdentity { :>> providedId = "NDS-LC-011"; :>> label = "BatteryManager"; }
                 attribute :>> componentRole = ComponentRoleKind::generic;
                 attribute :>> systemType = SystemTypeKind::hardware;
                 attribute :>> responsibility = "Charge, gauge and protect the battery.";
             }
             part lcPowerRailMonitor : LogicalComponent {
-                @MemoIdentity { :>> providedId = "NDS-LC-012"; } attribute :>> name = "PowerRailMonitor";
+                @MemoIdentity { :>> providedId = "NDS-LC-012"; :>> label = "PowerRailMonitor"; }
                 attribute :>> componentRole = ComponentRoleKind::channel;
                 attribute :>> systemType = SystemTypeKind::hardware;
                 attribute :>> responsibility = "Detect rail brownout and request a source switch.";
@@ -153,15 +153,15 @@ package memo_examples_nested_architecture_dsm_architecture_logical_structure {
 
         // ── Component-to-component dependency ─────────────────────
         // What the DSM plots when both axes are architecture: who needs whom.
-        flow from subFluidPath.lcOcclusionChannel to subControl.lcDoseController;
-        flow from subControl.lcDoseController to subFluidPath.lcPumpMechanism;
-        flow from subFluidPath.lcPumpMechanism to subControl.lcTherapyStateStore;
-        flow from subControl.lcTherapyStateStore to subUserInterface.lcDisplayManager;
-        flow from subControl.subSafetyMonitor.lcWatchdogChannel to subControl.lcDoseController;
-        flow from subControl.subSafetyMonitor.lcPressureIntegrityChannel to subUserInterface.lcAlarmAnnunciator;
-        flow from subUserInterface.lcKeypadHandler to subControl.lcDoseController;
-        flow from subFluidPath.lcReservoirInterface to subFluidPath.lcPumpMechanism;
-        flow from subPower.lcBatteryManager to subPower.lcPowerRailMonitor;
-        flow from subPower.lcPowerRailMonitor to subUserInterface.lcAlarmAnnunciator;
+        flow lcOcclusionChannelToLcDoseController from subFluidPath.lcOcclusionChannel to subControl.lcDoseController;
+        flow lcDoseControllerToLcPumpMechanism from subControl.lcDoseController to subFluidPath.lcPumpMechanism;
+        flow lcPumpMechanismToLcTherapyStateStore from subFluidPath.lcPumpMechanism to subControl.lcTherapyStateStore;
+        flow lcTherapyStateStoreToLcDisplayManager from subControl.lcTherapyStateStore to subUserInterface.lcDisplayManager;
+        flow lcWatchdogChannelToLcDoseController from subControl.subSafetyMonitor.lcWatchdogChannel to subControl.lcDoseController;
+        flow lcPressureIntegrityChannelToLcAlarmAnnunciator from subControl.subSafetyMonitor.lcPressureIntegrityChannel to subUserInterface.lcAlarmAnnunciator;
+        flow lcKeypadHandlerToLcDoseController from subUserInterface.lcKeypadHandler to subControl.lcDoseController;
+        flow lcReservoirInterfaceToLcPumpMechanism from subFluidPath.lcReservoirInterface to subFluidPath.lcPumpMechanism;
+        flow lcBatteryManagerToLcPowerRailMonitor from subPower.lcBatteryManager to subPower.lcPowerRailMonitor;
+        flow lcPowerRailMonitorToLcAlarmAnnunciator from subPower.lcPowerRailMonitor to subUserInterface.lcAlarmAnnunciator;
     }
 }