@memoarchitect/ontology 0.8.24 → 0.10.9

package/examples/connected-patient-monitor/model/catalog/connected_patient_monitor.sysml

@@ -11,22 +11,24 @@ package memo_examples_connected_patient_monitor {
     private import memo_architecture_logical_interfaces::*;
     private import memo_assurance_cybersecurity::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part lcMonitor : LogicalComponent {
-        attribute :>> id = "CPM-LC-001"; attribute :>> name = "BedsideMonitor";
+        @MemoIdentity { :>> providedId = "CPM-LC-001"; } attribute :>> name = "BedsideMonitor";
         attribute :>> responsibility = "Acquire and display vitals; publish measurements.";
     }
     part lcGateway : LogicalComponent {
-        attribute :>> id = "CPM-LC-002"; attribute :>> name = "WardGateway";
+        @MemoIdentity { :>> providedId = "CPM-LC-002"; } attribute :>> name = "WardGateway";
         attribute :>> responsibility = "Aggregate device data; bridge device LAN to hospital network.";
     }
     part lcCdrService : LogicalComponent {
-        attribute :>> id = "CPM-LC-003"; attribute :>> name = "ClinicalDataRepository";
+        @MemoIdentity { :>> providedId = "CPM-LC-003"; } attribute :>> name = "ClinicalDataRepository";
         attribute :>> externalOwner = "hospital IT";
     }
 
     // Typed measurement item, coded against ISO/IEEE 11073-10101.
     item spo2Item : LogicalExchangeItem {
-        attribute :>> id = "CPM-IT-001"; attribute :>> name = "SpO2Measurement";
+        @MemoIdentity { :>> providedId = "CPM-IT-001"; } attribute :>> name = "SpO2Measurement";
         attribute :>> contentKind = FlowContentKind::measurement;
         attribute :>> unit = "%";
         attribute :>> timestampRequired = true;
@@ -39,7 +41,7 @@ package memo_examples_connected_patient_monitor {
     }
 
     part exSpo2ToGateway : LogicalExchange {
-        attribute :>> id = "CPM-EX-001"; attribute :>> name = "SpO2ToGateway";
+        @MemoIdentity { :>> providedId = "CPM-EX-001"; } attribute :>> name = "SpO2ToGateway";
         attribute :>> contentKind = FlowContentKind::measurement;
         attribute :>> direction = DirectionKind::output;
         ref :>> exchangedItem = spo2Item;
@@ -56,13 +58,13 @@ package memo_examples_connected_patient_monitor {
     // Network interface with cybersecurity properties; trust boundary at the
     // hospital network edge.
     interface ifHl7Feed : Interface {
-        attribute :>> id = "CPM-IF-001"; attribute :>> name = "GatewayToCdrFeed";
+        @MemoIdentity { :>> providedId = "CPM-IF-001"; } attribute :>> name = "GatewayToCdrFeed";
         attribute :>> protocol = "HL7 FHIR REST over TLS 1.3";
         attribute :>> securityCriticality = CriticalityKind::high;
         attribute :>> patientContactInterface = false;
     }
     part tbHospitalEdge : TrustBoundary {
-        attribute :>> id = "CPM-TB-001"; attribute :>> name = "DeviceLanToHospitalNetwork";
+        @MemoIdentity { :>> providedId = "CPM-TB-001"; } attribute :>> name = "DeviceLanToHospitalNetwork";
     }
     connection : CrossesTrustBoundary connect boundary ::> tbHospitalEdge to crossingItem ::> ifHl7Feed {
         attribute :>> crossingKind = InterfaceKind::network;

package/examples/connected-patient-monitor/model/catalog/project.sysml

@@ -14,8 +14,10 @@ package memo_examples_connected_patient_monitor_project {
     private import memo_examples_connected_patient_monitor_viewpoints_unassigned::*;
     private import memo_examples_connected_patient_monitor_viewpoints_unassigned_views_connected_patient_monitor_overview::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part projectBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-PATIENT-MONITOR-001";
+        @MemoIdentity { :>> providedId = "PMB-PATIENT-MONITOR-001"; }
         attribute :>> name = "ConnectedPatientMonitorProjectMethodBinding";
         attribute :>> projectName = "Connected Patient Monitor";
         ref :>> selectedMethodology = mdDefaultDefinition;

package/examples/embedded-infusion-pump/model/catalog/embedded_infusion_pump.sysml

@@ -13,16 +13,18 @@ package memo_examples_embedded_infusion_pump {
     private import memo_architecture_realization_deployment::*;
     private import memo_architecture_realization_physical::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // Module view (IEC 62304).
     part swInfusionControl : SoftwareModule {
         attribute :>> moduleKind = ModuleKind::'item';
-        attribute :>> id = "EIP-SW-001"; attribute :>> name = "InfusionControlItem";
+        @MemoIdentity { :>> providedId = "EIP-SW-001"; } attribute :>> name = "InfusionControlItem";
         attribute :>> iec62304Role = "software item, class C";
         attribute :>> safetyClass = SafetyClassKind::C;
     }
     part swMotorDriver : SoftwareModule {
         attribute :>> moduleKind = ModuleKind::unit;
-        attribute :>> id = "EIP-SW-002"; attribute :>> name = "MotorDriverUnit";
+        @MemoIdentity { :>> providedId = "EIP-SW-002"; } attribute :>> name = "MotorDriverUnit";
         attribute :>> implementationLanguage = "C";
         attribute :>> safetyClass = SafetyClassKind::C;
     }
@@ -31,7 +33,7 @@ package memo_examples_embedded_infusion_pump {
     // Runtime view.
     part rtControlLoop : SoftwareComponent {
         attribute :>> runtimeKind = RuntimeKind::task;
-        attribute :>> id = "EIP-RT-001"; attribute :>> name = "ControlLoopTask";
+        @MemoIdentity { :>> providedId = "EIP-RT-001"; } attribute :>> name = "ControlLoopTask";
         attribute :>> periodMs = 10.0;
         attribute :>> deadlineMs = 10.0;
         attribute :>> wcetMs = 2.5;
@@ -44,25 +46,25 @@ package memo_examples_embedded_infusion_pump {
 
     // Deployment view.
     part duControlImage : SoftwareDeploymentUnit {
-        attribute :>> id = "EIP-DU-001"; attribute :>> name = "ControlFirmwareImage";
+        @MemoIdentity { :>> providedId = "EIP-DU-001"; } attribute :>> name = "ControlFirmwareImage";
         attribute :>> unitKind = "signed firmware image";
         attribute :>> version = "3.1.0";
         attribute :>> integrityProtection = "signature verified by boot loader";
     }
     part mcuSafety : ProcessingNode {
-        attribute :>> id = "EIP-HW-001"; attribute :>> name = "SafetyMCU";
+        @MemoIdentity { :>> providedId = "EIP-HW-001"; } attribute :>> name = "SafetyMCU";
         attribute :>> nodeKind = ProcessingNodeKind::microcontroller;
         attribute :>> realTimeCapable = true;
         attribute :>> supportsContainerization = false;
     }
     part rteBareMetal : RuntimeEnvironment {
-        attribute :>> id = "EIP-RTE-001"; attribute :>> name = "StaticRTOS";
+        @MemoIdentity { :>> providedId = "EIP-RTE-001"; } attribute :>> name = "StaticRTOS";
         attribute :>> osOrRtos = "static-priority RTOS, no dynamic allocation";
     }
     allocation swInfusionControlBuild : BuildsInto allocate swInfusionControl to duControlImage;
     allocation duControlImageDeployment : DeploysTo allocate duControlImage to mcuSafety {
         attribute :>> deploymentKind = DeploymentKind::embedded;
     }
-    connection : HostedBy connect hostAssembly ::> mcuSafety to processingNode ::> rtControlLoop;
+    allocation : HostedBy allocate rtControlLoop to mcuSafety;
     connection : ProvidesEnvironment connect node ::> mcuSafety to environment ::> rteBareMetal;
 }

package/examples/embedded-infusion-pump/model/catalog/project.sysml

@@ -14,8 +14,10 @@ package memo_examples_embedded_infusion_pump_project {
     private import memo_examples_embedded_infusion_pump_viewpoints_unassigned::*;
     private import memo_examples_embedded_infusion_pump_viewpoints_unassigned_views_embedded_infusion_pump_overview::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part projectBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-INFUSION-PUMP-001";
+        @MemoIdentity { :>> providedId = "PMB-INFUSION-PUMP-001"; }
         attribute :>> name = "EmbeddedInfusionPumpProjectMethodBinding";
         attribute :>> projectName = "Embedded Infusion Pump";
         ref :>> selectedMethodology = mdDefaultDefinition;

package/examples/functional-logical-physical/model/catalog/functional_logical_physical.sysml

@@ -14,34 +14,36 @@ package memo_examples_functional_logical_physical {
     private import memo_architecture_implementation_software_structure::*;
     private import memo_architecture_implementation_hardware_structure::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     // Operational world: what the clinician does.
     action actOcclusionResponse : OperativeAction {
-        attribute :>> id = "FLP-ACT-001"; attribute :>> name = "RespondToLineOcclusion";
+        @MemoIdentity { :>> providedId = "FLP-ACT-001"; } attribute :>> name = "RespondToLineOcclusion";
         attribute :>> criticality = CriticalityKind::high;
     }
 
     // Functional: technology-independent responsibility.
     action fnLimitLinePressure : SystemFunction {
-        attribute :>> id = "FLP-FN-001"; attribute :>> name = "LimitLinePressure";
+        @MemoIdentity { :>> providedId = "FLP-FN-001"; } attribute :>> name = "LimitLinePressure";
         attribute :>> criticality = CriticalityKind::high;
     }
-    connection : Enables connect enabling ::> fnLimitLinePressure to enabled ::> actOcclusionResponse;
+    dependency from fnLimitLinePressure to actOcclusionResponse;
 
     // Logical: solution structure, still technology-independent.
     part lcPressureProtection : LogicalComponent {
-        attribute :>> id = "FLP-LC-001"; attribute :>> name = "PressureProtectionElement";
+        @MemoIdentity { :>> providedId = "FLP-LC-001"; } attribute :>> name = "PressureProtectionElement";
         attribute :>> controlledVariable = "line pressure";
     }
     allocate fnLimitLinePressure to lcPressureProtection;
     // Implementation: the SAME logical element is realized by software
     // (pressure-limit supervision) AND mechanics (mechanical relief valve).
     part swPressureSupervisor : SoftwareModule {
-        attribute :>> id = "FLP-SW-001"; attribute :>> name = "PressureSupervisor";
+        @MemoIdentity { :>> providedId = "FLP-SW-001"; } attribute :>> name = "PressureSupervisor";
         attribute :>> responsibility = "Pause pumping when measured pressure exceeds threshold.";
         attribute :>> safetyClass = SafetyClassKind::C;
     }
     part mechReliefValve : MechanicalPart {
-        attribute :>> id = "FLP-HW-001"; attribute :>> name = "MechanicalReliefValve";
+        @MemoIdentity { :>> providedId = "FLP-HW-001"; } attribute :>> name = "MechanicalReliefValve";
         attribute :>> mechanicalFunction = "vents line pressure above mechanical set point, independent of software";
         attribute :>> patientContact = false;
     }

package/examples/functional-logical-physical/model/catalog/project.sysml

@@ -14,8 +14,10 @@ package memo_examples_functional_logical_physical_project {
     private import memo_examples_functional_logical_physical_viewpoints_unassigned::*;
     private import memo_examples_functional_logical_physical_viewpoints_unassigned_views_functional_logical_physical_overview::*;
 
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
     part projectBinding : ProjectMethodBinding {
-        attribute :>> id = "PMB-LOGICAL-PHYSICAL-001";
+        @MemoIdentity { :>> providedId = "PMB-LOGICAL-PHYSICAL-001"; }
         attribute :>> name = "FunctionalLogicalPhysicalProjectMethodBinding";
         attribute :>> projectName = "Functional Logical Physical";
         ref :>> selectedMethodology = mdDefaultDefinition;