@memoarchitect/ontology 0.8.22 → 0.10.9

package/README.md

@@ -23,7 +23,7 @@ pin an exact release; the package has no repository or runtime dependency on Mem
 Tools or Memo Architect.
 
 ```bash
-pnpm add @memoarchitect/ontology@0.8.22
+pnpm add @memoarchitect/ontology@0.8.24
 ```
 
 > **Pre-1.0 notice:** ontology names, relationships, and package layout may

package/examples/connected-patient-monitor/memo.package.yaml

@@ -0,0 +1,3 @@
+name: connected-patient-monitor
+entrypoint: model/catalog/project.sysml
+include: [model]

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/connected-patient-monitor/model/catalog/viewpoints/unassigned/views/connected_patient_monitor_overview.sysml

@@ -2,5 +2,5 @@ package memo_examples_connected_patient_monitor_viewpoints_unassigned_views_conn
     private import memo_examples_connected_patient_monitor::*;
     private import memo_viewpoints_definitions::*;
     private import memo_core_enumerations::*;
-    view connectedPatientMonitorOverview : MemoDiagramView { expose memo_examples_connected_patient_monitor::*; attribute depth = 2; attribute :>> title = "Connected Patient Monitor Overview"; attribute :>> viewKind = DiagramViewKind::interconnection; attribute :>> diagramType = "ibd"; }
+    view connectedPatientMonitorOverview : MemoDiagramView { expose memo_examples_connected_patient_monitor::*; attribute depth = 2; attribute :>> viewKind = DiagramViewKind::interconnection; attribute :>> diagramType = "ibd"; }
 }

package/examples/embedded-infusion-pump/memo.package.yaml

@@ -0,0 +1,3 @@
+name: embedded-infusion-pump
+entrypoint: model/catalog/project.sysml
+include: [model]

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

@@ -1,6 +1,6 @@
 // Focused example: embedded programmable device — the three software views
 // (module / runtime / deployment) on a minimal infusion pump.
-// SoftwareElement buildsInto DeploymentUnit deploysTo ProcessingNode;
+// SoftwareElement buildsInto SoftwareDeploymentUnit deploysTo ProcessingNode;
 // SoftwareComponent hostedBy ProcessingNode with scheduling properties.
 package memo_examples_embedded_infusion_pump {
     private import ScalarValues::*;
@@ -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;
@@ -43,26 +45,26 @@ package memo_examples_embedded_infusion_pump {
     #refinement dependency rtControlLoop to swInfusionControl;
 
     // Deployment view.
-    part duControlImage : DeploymentUnit {
-        attribute :>> id = "EIP-DU-001"; attribute :>> name = "ControlFirmwareImage";
+    part duControlImage : SoftwareDeploymentUnit {
+        @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/embedded-infusion-pump/model/catalog/viewpoints/unassigned/views/embedded_infusion_pump_overview.sysml

@@ -2,5 +2,5 @@ package memo_examples_embedded_infusion_pump_viewpoints_unassigned_views_embedde
     private import memo_examples_embedded_infusion_pump::*;
     private import memo_viewpoints_definitions::*;
     private import memo_core_enumerations::*;
-    view embeddedInfusionPumpOverview : MemoDiagramView { expose memo_examples_embedded_infusion_pump::*; attribute depth = 2; attribute :>> title = "Embedded Infusion Pump Overview"; attribute :>> viewKind = DiagramViewKind::general; attribute :>> diagramType = "bdd"; }
+    view embeddedInfusionPumpOverview : MemoDiagramView { expose memo_examples_embedded_infusion_pump::*; attribute depth = 2; attribute :>> viewKind = DiagramViewKind::general; attribute :>> diagramType = "bdd"; }
 }

package/examples/functional-logical-physical/memo.package.yaml

@@ -0,0 +1,3 @@
+name: functional-logical-physical
+entrypoint: model/catalog/project.sysml
+include: [model]

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 : OperationalActivity {
-        attribute :>> id = "FLP-ACT-001"; attribute :>> name = "RespondToLineOcclusion";
+    action actOcclusionResponse : OperativeAction {
+        @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;

package/examples/functional-logical-physical/model/catalog/viewpoints/unassigned/views/functional_logical_physical_overview.sysml

@@ -2,5 +2,5 @@ package memo_examples_functional_logical_physical_viewpoints_unassigned_views_fu
     private import memo_examples_functional_logical_physical::*;
     private import memo_viewpoints_definitions::*;
     private import memo_core_enumerations::*;
-    view functionalLogicalPhysicalOverview : MemoDiagramView { expose memo_examples_functional_logical_physical::*; attribute depth = 2; attribute :>> title = "Function to Physical Realization"; attribute :>> viewKind = DiagramViewKind::general; attribute :>> diagramType = "bdd"; }
+    view functionalLogicalPhysicalOverview : MemoDiagramView { expose memo_examples_functional_logical_physical::*; attribute depth = 2; attribute :>> viewKind = DiagramViewKind::general; attribute :>> diagramType = "bdd"; }
 }