@memoarchitect/ontology 0.12.1 → 0.15.0

package/examples/gpca-pump/model/catalog/viewpoints/logical/views/document_architecture_description_view.sysml

@@ -11,10 +11,9 @@ package memo_examples_gpca_pump_viewpoints_logical_views_document_architecture_d
     private import memo_core_common::MemoIdentity;
     view architectureDescriptionView : MemoDocumentView {
         expose memo_examples_gpca_pump_viewpoints_logical_views_document_architecture_description_view::*;
-        @MemoIdentity { :>> providedId = "DOC-005"; }
-        attribute :>> name = "ArchitectureDescriptionView";
+        @MemoIdentity { :>> providedId = "DOC-005"; :>> label = "ArchitectureDescriptionView"; }
         @MemoIdentity { :>> shortDescription = "ISO/IEC/IEEE 42010 architecture description across all layers."; }
-        attribute :>> description = "Aggregates context, operational, functional, logical, software, and physical layers with their views and correspondences for the system architecture description.";
+        doc /* Aggregates context, operational, functional, logical, software, and physical layers with their views and correspondences for the system architecture description. */
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> viewKind = DocumentViewKind::architectureDescription;
@@ -24,9 +23,8 @@ package memo_examples_gpca_pump_viewpoints_logical_views_document_architecture_d
         ref vpSoftware :> viewpointDefinition = softwareViewpoint;
         ref vpPhysical :> viewpointDefinition = physicalViewpoint;
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-DOC-005"; }
-            attribute :>> name = "architectureDescriptionViewQuery";
-            attribute :>> includeElementKinds = ("LogicalComponent", "SystemFunction", "ComponentExchange", "SoftwareSystem", "SoftwareModule", "HardwareAssembly", "ProcessingNode", "PhysicalPort", "FunctionalFlow", "FunctionalFlowStep");
+            @MemoIdentity { :>> providedId = "QRY-DOC-005"; :>> label = "architectureDescriptionViewQuery"; }
+            attribute :>> includeElementKinds = ("LogicalComponent", "SystemFunction", "ComponentExchange", "SoftwareSystem", "SoftwareModule", "HardwareAssembly", "ProcessingNode", "PhysicalPort", "FunctionalFlow");
             attribute :>> includeRelationshipKinds = ("Composes", "AllocatedTo", "Realizes", "BindsToInterface", "Performs", "Succession", "DeploysTo", "HostedBy");
             attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
         }

package/examples/gpca-pump/model/catalog/viewpoints/logical/views/logical_device_interconnect_view.sysml

@@ -18,10 +18,9 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_device_intercon
     view gpcaDeviceInterconnectView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_logical_views_logical_device_interconnect_view::*;
         attribute depth = 2;
-        @MemoIdentity { :>> providedId = "VIEW-LOG-003"; }
-        attribute :>> name = "GPCA_DeviceInterconnectView";
+        @MemoIdentity { :>> providedId = "VIEW-LOG-003"; :>> label = "GPCA_DeviceInterconnectView"; }
         @MemoIdentity { :>> shortDescription = "AADL device-level interconnection: GPCA_HW_Sensors, GPCA_SW, and GPCA_HW_Actuators with their declared boundary features."; }
-        attribute :>> description = "Source-faithful interconnection view of GPCA_Device.Impl: exactly the three AADL subcomponents (GPCA_HW_Sensors, GPCA_SW, GPCA_HW_Actuators), the device and subsystem boundary ports, and the twelve declared port connections. MEMO physical-design additions such as the controller board, power sources, enclosure, and individual sensors/actuators are intentionally excluded because the published AADL v2.0 model does not declare them as GPCA_Device.Impl subcomponents. Drill into GPCA_SW to inspect its eight subcomponents and 42 internal connections; use the connection-density control to switch between bundled summary and full fidelity.";
+        doc /* Source-faithful interconnection view of GPCA_Device.Impl: exactly the three AADL subcomponents (GPCA_HW_Sensors, GPCA_SW, GPCA_HW_Actuators), the device and subsystem boundary ports, and the twelve declared port connections. MEMO physical-design additions such as the controller board, power sources, enclosure, and individual sensors/actuators are intentionally excluded because the published AADL v2.0 model does not declare them as GPCA_Device.Impl subcomponents. Drill into GPCA_SW to inspect its eight subcomponents and 42 internal connections; use the connection-density control to switch between bundled summary and full fidelity. */
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::internalDiagram);
         attribute :>> viewKind = DiagramViewKind::interconnection;
@@ -30,8 +29,7 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_device_intercon
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include hardware assemblies, the software system with its components and boundary ports, and the exchange topology between them.";
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-LOG-003"; }
-            attribute :>> name = "GPCA_DeviceInterconnectQuery";
+            @MemoIdentity { :>> providedId = "QRY-LOG-003"; :>> label = "GPCA_DeviceInterconnectQuery"; }
             attribute :>> includeElementIds = ("gpcaDevice", "gpcaDeviceSensors", "gpcaSoftware", "gpcaActuators", "devOpCmdIn", "devDbIn", "devPresIn", "devPatientIn", "devGpcaOut", "snsOpCmdIn", "snsDbIn", "snsPresIn", "snsPatientIn", "snsOpCmdOut", "snsPresOut", "snsPatientOut", "snsSensorOut", "snsConstOut", "snsDbOut", "portOpCmdIn", "portPresIn", "portPatientIn", "portSensorIn", "portConstIn", "portDbIn", "portGpcaSwOut", "actGpcaSwIn", "actGpcaOut", "tlm", "systemStatus", "alarm", "config", "infusionMgr", "systemMonitor", "logging", "outputBus");
             attribute :>> includeRelationshipKinds = ("flow", "bind", "Composes");
             attribute :>> includeLayers = ("logical_structure", "software_structure", "interfaces");

package/examples/gpca-pump/model/catalog/viewpoints/logical/views/logical_logical_architecture_view.sysml

@@ -18,10 +18,9 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_logical_archite
     view gpcaLogicalArchitectureView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_logical_views_logical_logical_architecture_view::*;
         attribute depth = 2;
-        @MemoIdentity { :>> providedId = "VIEW-LOG-001"; }
-        attribute :>> name = "GPCA_LogicalArchitectureView";
+        @MemoIdentity { :>> providedId = "VIEW-LOG-001"; :>> label = "GPCA_LogicalArchitectureView"; }
         @MemoIdentity { :>> shortDescription = "Logical decomposition of the GPCA system."; }
-        attribute :>> description = "Product-specific logical architecture view that references the default logical architecture viewpoint and is intended for design description and architecture communication.";
+        doc /* Product-specific logical architecture view that references the default logical architecture viewpoint and is intended for design description and architecture communication. */
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
         attribute :>> viewKind = DiagramViewKind::general;
@@ -30,9 +29,8 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_logical_archite
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include GPCA logical components and key interfaces relevant to therapy control.";
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-LOG-001"; }
-            attribute :>> name = "GPCA_LogicalArchitectureQuery";
-            attribute :>> includeElementKinds = ("LogicalComponent", "Interface", "Function");
+            @MemoIdentity { :>> providedId = "QRY-LOG-001"; :>> label = "GPCA_LogicalArchitectureQuery"; }
+            attribute :>> includeElementKinds = ("LogicalComponent", "Interface", "MemoFunction");
             attribute :>> includeLayers = ("functions", "logical_structure", "interfaces");
             attribute :>> selectionExpression = "product == 'GPCA' and concern contains therapy control";
             attribute :>> rationaleText = "Auto-populate the GPCA logical architecture view from the core product model.";

package/examples/gpca-pump/model/catalog/viewpoints/logical/views/logical_mode_state_view.sysml

@@ -18,10 +18,9 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_mode_state_view
     view gpcaModeStateView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_logical_views_logical_mode_state_view::*;
         attribute depth = 2;
-        @MemoIdentity { :>> providedId = "VIEW-BHV-001"; }
-        attribute :>> name = "GPCA_ModeStateView";
+        @MemoIdentity { :>> providedId = "VIEW-BHV-001"; :>> label = "GPCA_ModeStateView"; }
         @MemoIdentity { :>> shortDescription = "The CriSys Fig 4.1 mode hierarchy (OFF, ON, IDLE, THERAPY, PAUSED, ACTIVE, BASAL, SQUARE_BOLUS, PATIENT_BOLUS) and all guarded transitions."; }
-        attribute :>> description = "Hierarchical state diagram per CriSys §4.1 Fig 4.1: OFF and ON at top level, IDLE and THERAPY under ON, PAUSED (KVO delivery) and ACTIVE under THERAPY, and BASAL / SQUARE_BOLUS (auto-scheduled) / PATIENT_BOLUS under ACTIVE — with the REQ 4-47 transitions, Inhibited_* macro guards, and same-step-critical markings.";
+        doc /* Hierarchical state diagram per CriSys §4.1 Fig 4.1: OFF and ON at top level, IDLE and THERAPY under ON, PAUSED (KVO delivery) and ACTIVE under THERAPY, and BASAL / SQUARE_BOLUS (auto-scheduled) / PATIENT_BOLUS under ACTIVE — with the REQ 4-47 transitions, Inhibited_* macro guards, and same-step-critical markings. */
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::stateDiagram);
         attribute :>> viewKind = DiagramViewKind::statetransition;
@@ -30,9 +29,8 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_mode_state_view
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include the mode machine, the Fig 4.1 mode tree (Composes edges), transitions, and safety properties.";
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-BHV-101"; }
-            attribute :>> name = "GPCA_ModeStateQuery";
-            attribute :>> includeElementKinds = ("StateMachine", "MemoState[stateKind=mode]", "Transition", "BehaviorProperty", "TimingConstraint");
+            @MemoIdentity { :>> providedId = "QRY-BHV-101"; :>> label = "GPCA_ModeStateQuery"; }
+            attribute :>> includeElementKinds = ("StateMachine", "MemoState", "BehaviorProperty", "TimingConstraint");
             attribute :>> includeLayers = ("behavior");
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Auto-populate the mode state view from the behavior layer.";

package/examples/gpca-pump/model/catalog/viewpoints/logical/views/logical_system_decomposition_view.sysml

@@ -18,10 +18,9 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_system_decompos
     view gpcaSystemDecompositionView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_logical_views_logical_system_decomposition_view::*;
         attribute depth = 2;
-        @MemoIdentity { :>> providedId = "VIEW-LOG-002"; }
-        attribute :>> name = "GPCA_SystemDecompositionView";
+        @MemoIdentity { :>> providedId = "VIEW-LOG-002"; :>> label = "GPCA_SystemDecompositionView"; }
         @MemoIdentity { :>> shortDescription = "Nested containment of the GPCA device: hardware assemblies and the software system."; }
-        attribute :>> description = "General-kind membership structure of the GPCA device per the AADL GPCA_Device.Impl decomposition: sensor and actuator assemblies with their subcomponents, supporting hardware, and the GPCA software system with its eight AADL subcomponents. Rendered through the KK-2 General view template in containment mode (nested blocks with expand/collapse; the tree mode shows the same hierarchy as a decomposition tree).";
+        doc /* General-kind membership structure of the GPCA device per the AADL GPCA_Device.Impl decomposition: sensor and actuator assemblies with their subcomponents, supporting hardware, and the GPCA software system with its eight AADL subcomponents. Rendered through the KK-2 General view template in containment mode (nested blocks with expand/collapse; the tree mode shows the same hierarchy as a decomposition tree). */
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
         attribute :>> viewKind = DiagramViewKind::general;
@@ -31,8 +30,7 @@ package memo_examples_gpca_pump_viewpoints_logical_views_logical_system_decompos
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include hardware assemblies, the software system, and software components; the Composes topology supplies the nesting.";
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-LOG-002"; }
-            attribute :>> name = "GPCA_SystemDecompositionQuery";
+            @MemoIdentity { :>> providedId = "QRY-LOG-002"; :>> label = "GPCA_SystemDecompositionQuery"; }
             attribute :>> includeElementKinds = ("HardwareAssembly", "SoftwareSystem", "SoftwareModule");
             attribute :>> includeRelationshipKinds = ("Composes");
             attribute :>> includeLayers = ("logical_structure", "software_structure");

package/examples/gpca-pump/model/catalog/viewpoints/operational/views/operational_scenario_sequence_view.sysml

@@ -18,8 +18,7 @@ package memo_examples_gpca_pump_viewpoints_operational_views_operational_scenari
     view gpcaScenarioSequenceView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_operational_views_operational_scenario_sequence_view::*;
         attribute depth = 2;
-        @MemoIdentity { :>> providedId = "VIEW-BHV-002"; }
-        attribute :>> name = "GPCA_ScenarioSequenceView";
+        @MemoIdentity { :>> providedId = "VIEW-BHV-002"; :>> label = "GPCA_ScenarioSequenceView"; }
         @MemoIdentity { :>> shortDescription = "Key therapy and alarm scenarios rendered as sequences over the functional chains."; }
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::activityDiagram);
@@ -29,9 +28,8 @@ package memo_examples_gpca_pump_viewpoints_operational_views_operational_scenari
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include system scenarios with the functional chains and steps that realize them.";
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-BHV-102"; }
-            attribute :>> name = "GPCA_ScenarioSequenceQuery";
-            attribute :>> includeElementKinds = ("OperativeScenario[scenarioKind=functional]", "OperativeScenario[scenarioKind=operative]", "FunctionalFlow", "FunctionalFlowStep");
+            @MemoIdentity { :>> providedId = "QRY-BHV-102"; :>> label = "GPCA_ScenarioSequenceQuery"; }
+            attribute :>> includeElementKinds = ("OperativeScenario", "FunctionalFlow");
             attribute :>> includeLayers = ("operational", "system");
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Auto-populate scenario sequences from the system layer.";

package/examples/gpca-pump/model/catalog/viewpoints/operational/views/operational_use_case_view.sysml

@@ -18,10 +18,9 @@ package memo_examples_gpca_pump_viewpoints_operational_views_operational_use_cas
     view gpcaUseCaseView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_operational_views_operational_use_case_view::*;
         attribute depth = 2;
-        @MemoIdentity { :>> providedId = "VIEW-OPS-101"; }
-        attribute :>> name = "GPCA_UseCaseView";
+        @MemoIdentity { :>> providedId = "VIEW-OPS-101"; :>> label = "GPCA_UseCaseView"; }
         @MemoIdentity { :>> shortDescription = "Actors connected to the patient-controlled analgesia use case."; }
-        attribute :>> description = "Connects the nurse, patient, prescriber, and pharmacist to the patient-controlled analgesia use case.";
+        doc /* Connects the nurse, patient, prescriber, and pharmacist to the patient-controlled analgesia use case. */
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::custom);
         attribute :>> viewKind = DiagramViewKind::general;
@@ -30,9 +29,8 @@ package memo_examples_gpca_pump_viewpoints_operational_views_operational_use_cas
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include actors, use cases, and their participation relationships.";
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-OPS-101"; }
-            attribute :>> name = "GPCA_UseCaseQuery";
-            attribute :>> includeElementKinds = ("Actor", "User", "UseCase");
+            @MemoIdentity { :>> providedId = "QRY-OPS-101"; :>> label = "GPCA_UseCaseQuery"; }
+            attribute :>> includeElementKinds = ("OperationalParticipant", "UseCase");
             attribute :>> includeRelationshipKinds = ("ParticipatesIn");
             attribute :>> includeLayers = ("context", "operational");
             attribute :>> selectionExpression = "product == 'GPCA'";

package/examples/gpca-pump/model/catalog/viewpoints/physical/views/physical_physical_bom_view.sysml

@@ -18,8 +18,7 @@ package memo_examples_gpca_pump_viewpoints_physical_views_physical_physical_bom_
     view gpcaPhysicalBomView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_physical_views_physical_physical_bom_view::*;
         attribute depth = 2;
-        @MemoIdentity { :>> providedId = "VIEW-PHY-101"; }
-        attribute :>> name = "GPCA_PhysicalBomView";
+        @MemoIdentity { :>> providedId = "VIEW-PHY-101"; :>> label = "GPCA_PhysicalBomView"; }
         @MemoIdentity { :>> shortDescription = "Hardware assemblies, processing node, physical ports, and part numbers."; }
         attribute :>> outputKind = (ViewOutputKind::table);
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
@@ -29,8 +28,7 @@ package memo_examples_gpca_pump_viewpoints_physical_views_physical_physical_bom_
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include hardware assemblies with part numbers, the MCU node, and external ports.";
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-PHY-101"; }
-            attribute :>> name = "GPCA_PhysicalBomQuery";
+            @MemoIdentity { :>> providedId = "QRY-PHY-101"; :>> label = "GPCA_PhysicalBomQuery"; }
             attribute :>> includeElementKinds = ("HardwareAssembly", "ProcessingNode", "PhysicalPort", "Interface");
             attribute :>> includeLayers = ("hardware_structure", "physical", "interfaces");
             attribute :>> selectionExpression = "product == 'GPCA'";

package/examples/gpca-pump/model/catalog/viewpoints/requirements/views/document_dhf_index_view.sysml

@@ -11,10 +11,9 @@ package memo_examples_gpca_pump_viewpoints_requirements_views_document_dhf_index
     private import memo_core_common::MemoIdentity;
     view dhfIndexView : MemoDocumentView {
         expose memo_examples_gpca_pump_viewpoints_requirements_views_document_dhf_index_view::*;
-        @MemoIdentity { :>> providedId = "DOC-007"; }
-        attribute :>> name = "DesignHistoryFileIndexView";
+        @MemoIdentity { :>> providedId = "DOC-007"; :>> label = "DesignHistoryFileIndexView"; }
         @MemoIdentity { :>> shortDescription = "Index of design inputs, outputs, reviews, and V&V records for the DHF."; }
-        attribute :>> description = "Collects the document-backed views (requirements, architecture, SDD, RMF, VV, usability, cybersecurity) into the design history file index required by 21 CFR 820.30(j).";
+        doc /* Collects the document-backed views (requirements, architecture, SDD, RMF, VV, usability, cybersecurity) into the design history file index required by 21 CFR 820.30(j). */
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> viewKind = DocumentViewKind::DHF;
@@ -24,8 +23,7 @@ package memo_examples_gpca_pump_viewpoints_requirements_views_document_dhf_index
         ref vpRisk :> viewpointDefinition = riskViewpoint;
         ref vpVerification :> viewpointDefinition = verificationViewpoint;
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-DOC-007"; }
-            attribute :>> name = "dhfIndexViewQuery";
+            @MemoIdentity { :>> providedId = "QRY-DOC-007"; :>> label = "dhfIndexViewQuery"; }
             attribute :>> includeElementKinds = ("MemoDocumentView", "MemoDiagramView", "MemoUsabilityEngineeringView", "MemoCybersecurityThreatModelView", "MemoCybersecurityAssessmentView", "MemoEvidence", "Citation");
             attribute :>> includeRelationshipKinds = ("ProducesEvidence");
             attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";

package/examples/gpca-pump/model/catalog/viewpoints/requirements/views/requirements_requirements_trace_view.sysml

@@ -18,8 +18,7 @@ package memo_examples_gpca_pump_viewpoints_requirements_views_requirements_requi
     view gpcaRequirementsTraceView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_requirements_views_requirements_requirements_trace_view::*;
         attribute depth = 2;
-        @MemoIdentity { :>> providedId = "VIEW-REQ-101"; }
-        attribute :>> name = "GPCA_RequirementsTraceabilityView";
+        @MemoIdentity { :>> providedId = "VIEW-REQ-101"; :>> label = "GPCA_RequirementsTraceabilityView"; }
         @MemoIdentity { :>> shortDescription = "Needs to system/software/hardware requirements to satisfying components and verification."; }
         attribute :>> outputKind = (ViewOutputKind::matrix);
         attribute :>> presentationKind = (PresentationKind::traceMatrix);
@@ -29,8 +28,7 @@ package memo_examples_gpca_pump_viewpoints_requirements_views_requirements_requi
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include all needs and requirements with derivation, satisfaction, and verification links.";
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-REQ-101"; }
-            attribute :>> name = "GPCA_RequirementsTraceQuery";
+            @MemoIdentity { :>> providedId = "QRY-REQ-101"; :>> label = "GPCA_RequirementsTraceQuery"; }
             attribute :>> includeElementKinds = ("Need", "Requirement", "VerificationCase");
             attribute :>> includeRelationshipKinds = ("DerivesFrom", "SatisfiedBy", "VerifiedBy");
             attribute :>> includeLayers = ("requirements", "assurance");

package/examples/gpca-pump/model/catalog/viewpoints/risk/views/document_hazard_analysis_view.sysml

@@ -12,10 +12,9 @@ package memo_examples_gpca_pump_viewpoints_risk_views_document_hazard_analysis_v
         expose memo_examples_gpca_pump_viewpoints_risk_views_document_hazard_analysis_view::*;
         expose fmeaDelivery;
         expose ftaOverdose;
-        @MemoIdentity { :>> providedId = "DOC-009"; }
-        attribute :>> name = "HazardAnalysisReportView";
+        @MemoIdentity { :>> providedId = "DOC-009"; :>> label = "HazardAnalysisReportView"; }
         @MemoIdentity { :>> shortDescription = "Hazard analysis report aligned to the UMN CriSys GPCA hazard tables."; }
-        attribute :>> description = "Aggregates the five hazard chains, the FMEA worksheet, and the overdose fault tree with their controls and verification pointers.";
+        doc /* Aggregates the five hazard chains, the FMEA worksheet, and the overdose fault tree with their controls and verification pointers. */
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> viewKind = DocumentViewKind::RMF;
@@ -23,10 +22,9 @@ package memo_examples_gpca_pump_viewpoints_risk_views_document_hazard_analysis_v
         attribute :>> marketScope = "generic";
         ref :>> viewpointDefinition = riskViewpoint;
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-DOC-003"; }
-            attribute :>> name = "hazardAnalysisViewQuery";
+            @MemoIdentity { :>> providedId = "QRY-DOC-003"; :>> label = "hazardAnalysisViewQuery"; }
             attribute :>> includeElementKinds = ("FMEAWorksheet", "FailureMode", "FailureCause", "FailureEffect", "DetectionMethod", "FMEAAction", "FaultTree", "FaultTreeNode", "MinimalCutSet", "Hazard", "HazardCause", "SequenceOfEvents");
-            attribute :>> includeRelationshipKinds = ("HasFailureMode", "Causes", "DetectedBy", "Mitigates", "InputToGate", "ContainsEvent", "Mitigates");
+            attribute :>> includeRelationshipKinds = ("HasFailureMode", "Causes", "DetectedBy", "Mitigates", "InputToGate", "ContainsEvent");
             attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
         }
     }

package/examples/gpca-pump/model/catalog/viewpoints/risk/views/document_rmf_view.sysml

@@ -11,10 +11,9 @@ package memo_examples_gpca_pump_viewpoints_risk_views_document_rmf_view {
     view rmfView : MemoDocumentView {
         expose memo_examples_gpca_pump_viewpoints_risk_views_document_rmf_view::*;
         expose evidenceLockout;
-        @MemoIdentity { :>> providedId = "DOC-001"; }
-        attribute :>> name = "RiskManagementFileView";
+        @MemoIdentity { :>> providedId = "DOC-001"; :>> label = "RiskManagementFileView"; }
         @MemoIdentity { :>> shortDescription = "Document-backed risk view for GPCA."; }
-        attribute :>> description = "Aggregates the risk chain, controls, verification, residual risk, and cybersecurity links needed for the GPCA risk management file.";
+        doc /* Aggregates the risk chain, controls, verification, residual risk, and cybersecurity links needed for the GPCA risk management file. */
         attribute :>> version = "0.2";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> viewKind = DocumentViewKind::RMF;
@@ -22,10 +21,9 @@ package memo_examples_gpca_pump_viewpoints_risk_views_document_rmf_view {
         attribute :>> marketScope = "generic";
         ref :>> viewpointDefinition = riskViewpoint;
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-DOC-001"; }
-            attribute :>> name = "rmfViewQuery";
+            @MemoIdentity { :>> providedId = "QRY-DOC-001"; :>> label = "rmfViewQuery"; }
             attribute :>> includeElementKinds = ("IntendedUse", "ReasonablyForeseeableMisuse", "SafetyRelatedCharacteristic", "Hazard", "HazardCause", "SequenceOfEvents", "HazardousSituation", "Harm", "Risk", "RiskControlMeasure", "ResidualRisk", "Benefit", "OverallResidualRiskEvaluation", "VerificationCase", "MemoEvidence");
-            attribute :>> includeRelationshipKinds = ("Causes", "Mitigates", "Mitigates", "TracesRisk", "AssessedAgainst", "VerifiedBy", "ProducesEvidence");
+            attribute :>> includeRelationshipKinds = ("Causes", "Mitigates", "TracesRisk", "EstimatedFor", "ReducedBy", "EvaluatedIn", "AssessedAgainst", "VerifiedBy", "ProducesEvidence");
             attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
         }
     }

package/examples/gpca-pump/model/catalog/viewpoints/risk/views/risk_fmea_view.sysml

@@ -18,8 +18,7 @@ package memo_examples_gpca_pump_viewpoints_risk_views_risk_fmea_view {
     view gpcaFmeaView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_risk_views_risk_fmea_view::*;
         attribute depth = 2;
-        @MemoIdentity { :>> providedId = "VIEW-RISK-102"; }
-        attribute :>> name = "GPCA_FmeaView";
+        @MemoIdentity { :>> providedId = "VIEW-RISK-102"; :>> label = "GPCA_FmeaView"; }
         @MemoIdentity { :>> shortDescription = "Failure modes with causes, effects, detection, RPN, and the overdose fault tree."; }
         attribute :>> outputKind = (ViewOutputKind::table);
         attribute :>> presentationKind = (PresentationKind::riskTable);
@@ -29,8 +28,7 @@ package memo_examples_gpca_pump_viewpoints_risk_views_risk_fmea_view {
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include FMEA worksheet rows and the overdose fault tree structure.";
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-RISK-102"; }
-            attribute :>> name = "GPCA_FmeaQuery";
+            @MemoIdentity { :>> providedId = "QRY-RISK-102"; :>> label = "GPCA_FmeaQuery"; }
             attribute :>> includeElementKinds = ("FMEAWorksheet", "FailureMode", "FailureEffect", "FailureCause", "DetectionMethod", "FMEAAction", "FaultTree", "FaultTreeNode", "MinimalCutSet");
             attribute :>> includeLayers = ("analysis", "risk");
             attribute :>> includeConcerns = (ConcernKind::safety, ConcernKind::reliability);

package/examples/gpca-pump/model/catalog/viewpoints/risk/views/risk_risk_chain_view.sysml

@@ -18,10 +18,9 @@ package memo_examples_gpca_pump_viewpoints_risk_views_risk_risk_chain_view {
     view gpcaRiskChainView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_risk_views_risk_risk_chain_view::*;
         attribute depth = 2;
-        @MemoIdentity { :>> providedId = "VIEW-RISK-101"; }
-        attribute :>> name = "GPCA_RiskChainView";
+        @MemoIdentity { :>> providedId = "VIEW-RISK-101"; :>> label = "GPCA_RiskChainView"; }
         @MemoIdentity { :>> shortDescription = "All seven hazard causal trees from categorized cause through harm with controls and residual risk."; }
-        attribute :>> description = "Opioid over-infusion, under-infusion, air embolism, misprogramming, free-flow, reverse-delivery, and VTBI over-infusion causal trees (GIIP cause-source structure): categorized causes converging on each hazard, sequences of events, hazardous situations, harms, risk estimates, controls, and residual evaluations.";
+        doc /* Opioid over-infusion, under-infusion, air embolism, misprogramming, free-flow, reverse-delivery, and VTBI over-infusion causal trees (GIIP cause-source structure): categorized causes converging on each hazard, sequences of events, hazardous situations, harms, risk estimates, controls, and residual evaluations. */
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
         attribute :>> viewKind = DiagramViewKind::general;
@@ -30,10 +29,9 @@ package memo_examples_gpca_pump_viewpoints_risk_views_risk_risk_chain_view {
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include hazards, sequences, situations, harms, risks before/after, controls, and residual evaluation.";
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-RISK-101"; }
-            attribute :>> name = "GPCA_RiskChainQuery";
+            @MemoIdentity { :>> providedId = "QRY-RISK-101"; :>> label = "GPCA_RiskChainQuery"; }
             attribute :>> includeElementKinds = ("SafetyRelatedCharacteristic", "Hazard", "HazardCause", "SequenceOfEvents", "HazardousSituation", "Harm", "Risk", "RiskControlMeasure", "ResidualRisk", "Benefit", "OverallResidualRiskEvaluation");
-            attribute :>> includeRelationshipKinds = ("TracesRisk", "Mitigates", "Causes", "Mitigates");
+            attribute :>> includeRelationshipKinds = ("TracesRisk", "Mitigates", "Causes", "EstimatedFor", "ReducedBy", "EvaluatedIn");
             attribute :>> includeLayers = ("risk", "assurance");
             attribute :>> includeConcerns = (ConcernKind::safety);
             attribute :>> selectionExpression = "product == 'GPCA'";

package/examples/gpca-pump/model/catalog/viewpoints/software/views/document_sdd_view.sysml

@@ -9,10 +9,9 @@ package memo_examples_gpca_pump_viewpoints_software_views_document_sdd_view {
     private import memo_core_common::MemoIdentity;
     view sddView : MemoDocumentView {
         expose memo_examples_gpca_pump_viewpoints_software_views_document_sdd_view::*;
-        @MemoIdentity { :>> providedId = "DOC-004"; }
-        attribute :>> name = "SoftwareDesignDescriptionView";
+        @MemoIdentity { :>> providedId = "DOC-004"; :>> label = "SoftwareDesignDescriptionView"; }
         @MemoIdentity { :>> shortDescription = "IEC 62304 software design description for the GPCA software system."; }
-        attribute :>> description = "Aggregates the software system, its six components with safety classes and scheduling attributes, mode machine and transitions, interfaces, and function allocations for the SDD.";
+        doc /* Aggregates the software system, its six components with safety classes and scheduling attributes, mode machine and transitions, interfaces, and function allocations for the SDD. */
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> viewKind = DocumentViewKind::SDD;
@@ -20,9 +19,8 @@ package memo_examples_gpca_pump_viewpoints_software_views_document_sdd_view {
         attribute :>> marketScope = "generic";
         ref :>> viewpointDefinition = softwareViewpoint;
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-DOC-004"; }
-            attribute :>> name = "sddViewQuery";
-            attribute :>> includeElementKinds = ("SoftwareSystem", "SoftwareModule", "MemoState[stateKind=mode]", "Transition", "Interface", "SystemFunction", "TimingConstraint", "SoftwareModule[moduleKind=soup]");
+            @MemoIdentity { :>> providedId = "QRY-DOC-004"; :>> label = "sddViewQuery"; }
+            attribute :>> includeElementKinds = ("SoftwareSystem", "SoftwareModule", "MemoState", "Interface", "SystemFunction", "TimingConstraint");
             attribute :>> includeRelationshipKinds = ("Composes", "AllocatedTo", "BindsToInterface", "Realizes", "DependsOnSoup", "Changes");
             attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
         }

package/examples/gpca-pump/model/catalog/viewpoints/software/views/software_software_architecture_view.sysml

@@ -18,10 +18,9 @@ package memo_examples_gpca_pump_viewpoints_software_views_software_software_arch
     view gpcaSoftwareArchitectureView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_software_views_software_software_architecture_view::*;
         attribute depth = 2;
-        @MemoIdentity { :>> providedId = "VIEW-SW-101"; }
-        attribute :>> name = "GPCA_SoftwareArchitectureView";
+        @MemoIdentity { :>> providedId = "VIEW-SW-101"; :>> label = "GPCA_SoftwareArchitectureView"; }
         @MemoIdentity { :>> shortDescription = "The eight AADL GPCA_SW.Impl subcomponents, top-level ports, and the full inter-component connection topology."; }
-        attribute :>> description = "Top_Level_Mode, System_Status, Alarm, Config, Infusion_Manager, System_Monitor, Logging, and OutputBus inside the GPCA_Software system, wired per GPCA_SW.Impl with the seven top-level ports (OP_CMD_IN, PRES_IN, PATIENT_IN, SENSOR_IN, CONST_IN, DB_IN, GPCA_SW_OUT). Connections are synchronous with AADL immediate port semantics.";
+        doc /* Top_Level_Mode, System_Status, Alarm, Config, Infusion_Manager, System_Monitor, Logging, and OutputBus inside the GPCA_Software system, wired per GPCA_SW.Impl with the seven top-level ports (OP_CMD_IN, PRES_IN, PATIENT_IN, SENSOR_IN, CONST_IN, DB_IN, GPCA_SW_OUT). Connections are synchronous with AADL immediate port semantics. */
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::internalDiagram);
         attribute :>> viewKind = DiagramViewKind::interconnection;
@@ -30,8 +29,7 @@ package memo_examples_gpca_pump_viewpoints_software_views_software_software_arch
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include the software system, its eight components, its boundary ports, and the flow and delegation topology between them.";
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-SW-101"; }
-            attribute :>> name = "GPCA_SoftwareArchitectureQuery";
+            @MemoIdentity { :>> providedId = "QRY-SW-101"; :>> label = "GPCA_SoftwareArchitectureQuery"; }
             attribute :>> includeElementKinds = ("SoftwareSystem", "SoftwareModule", "SoftwarePort");
             attribute :>> includeRelationshipKinds = ("flow", "bind", "Composes");
             attribute :>> includeLayers = ("software_structure", "interfaces");

package/examples/gpca-pump/model/catalog/viewpoints/usability/views/document_usability_view.sysml

@@ -12,18 +12,16 @@ package memo_examples_gpca_pump_viewpoints_usability_views_document_usability_vi
     view usabilityView : MemoUsabilityEngineeringView {
         expose memo_examples_gpca_pump_viewpoints_usability_views_document_usability_view::*;
         expose evidenceUsability;
-        @MemoIdentity { :>> providedId = "DOC-008"; }
-        attribute :>> name = "UsabilityEngineeringFileView";
+        @MemoIdentity { :>> providedId = "DOC-008"; :>> label = "UsabilityEngineeringFileView"; }
         @MemoIdentity { :>> shortDescription = "IEC 62366-1 usability engineering file content for GPCA."; }
-        attribute :>> description = "Aggregates intended use, use contexts, actors, foreseeable use errors, related risk chains, usability requirements, and the summative usability validation case.";
+        doc /* Aggregates intended use, use contexts, actors, foreseeable use errors, related risk chains, usability requirements, and the summative usability validation case. */
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> marketScope = "generic";
         ref :>> viewpointDefinition = usabilityViewpoint;
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-DOC-002"; }
-            attribute :>> name = "usabilityViewQuery";
-            attribute :>> includeElementKinds = ("UseError", "UseContext", "Actor", "ValidationCase", "OperativeScenario[scenarioKind=operative]", "IntendedUse", "ReasonablyForeseeableMisuse");
+            @MemoIdentity { :>> providedId = "QRY-DOC-002"; :>> label = "usabilityViewQuery"; }
+            attribute :>> includeElementKinds = ("UseError", "UseContext", "OperationalParticipant", "ValidationCase", "OperativeScenario", "IntendedUse", "ReasonablyForeseeableMisuse");
             attribute :>> includeRelationshipKinds = ("TestedByUsability", "RealizedByScenario", "connect");
             attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
         }

package/examples/gpca-pump/model/catalog/viewpoints/verification/views/document_vv_view.sysml

@@ -11,10 +11,9 @@ package memo_examples_gpca_pump_viewpoints_verification_views_document_vv_view {
     view vvView : MemoDocumentView {
         expose memo_examples_gpca_pump_viewpoints_verification_views_document_vv_view::*;
         expose evidenceSafetyAlarmSuite;
-        @MemoIdentity { :>> providedId = "DOC-006"; }
-        attribute :>> name = "VerificationValidationView";
+        @MemoIdentity { :>> providedId = "DOC-006"; :>> label = "VerificationValidationView"; }
         @MemoIdentity { :>> shortDescription = "V&V plan and coverage for requirements and risk controls."; }
-        attribute :>> description = "Aggregates verification cases, validation cases, test artifacts, and evidence with their coverage of requirements, risk controls, behavior properties, and timing constraints.";
+        doc /* Aggregates verification cases, validation cases, test artifacts, and evidence with their coverage of requirements, risk controls, behavior properties, and timing constraints. */
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> viewKind = DocumentViewKind::VV;
@@ -22,8 +21,7 @@ package memo_examples_gpca_pump_viewpoints_verification_views_document_vv_view {
         attribute :>> marketScope = "generic";
         ref :>> viewpointDefinition = verificationViewpoint;
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-DOC-006"; }
-            attribute :>> name = "vvViewQuery";
+            @MemoIdentity { :>> providedId = "QRY-DOC-006"; :>> label = "vvViewQuery"; }
             attribute :>> includeElementKinds = ("VerificationCase", "ValidationCase", "MemoEvidence", "Requirement", "RiskControlMeasure");
             attribute :>> includeRelationshipKinds = ("VerifiedBy", "Validates", "TestedByUsability", "ProducesEvidence");
             attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";

package/examples/gpca-pump/model/catalog/viewpoints/verification/views/verification_verification_coverage_view.sysml

@@ -18,8 +18,7 @@ package memo_examples_gpca_pump_viewpoints_verification_views_verification_verif
     view gpcaVerificationCoverageView : MemoDiagramView {
         expose memo_examples_gpca_pump_viewpoints_verification_views_verification_verification_coverage_view::*;
         attribute depth = 2;
-        @MemoIdentity { :>> providedId = "VIEW-VER-101"; }
-        attribute :>> name = "GPCA_VerificationCoverageView";
+        @MemoIdentity { :>> providedId = "VIEW-VER-101"; :>> label = "GPCA_VerificationCoverageView"; }
         @MemoIdentity { :>> shortDescription = "Requirements and risk controls against verification cases, validation cases, and evidence."; }
         attribute :>> outputKind = (ViewOutputKind::matrix);
         attribute :>> presentationKind = (PresentationKind::traceMatrix);
@@ -29,8 +28,7 @@ package memo_examples_gpca_pump_viewpoints_verification_views_verification_verif
         attribute :>> autoPopulate = true;
         attribute :>> queryDescription = "Include every requirement and risk control with its verification/validation status and produced evidence.";
         part :>> selectionQuery {
-            @MemoIdentity { :>> providedId = "QRY-VER-101"; }
-            attribute :>> name = "GPCA_VerificationCoverageQuery";
+            @MemoIdentity { :>> providedId = "QRY-VER-101"; :>> label = "GPCA_VerificationCoverageQuery"; }
             attribute :>> includeElementKinds = ("Requirement", "RiskControlMeasure", "VerificationCase", "ValidationCase", "MemoEvidence");
             attribute :>> includeRelationshipKinds = ("VerifiedBy", "Validates", "ProducesEvidence");
             attribute :>> includeLayers = ("requirements", "risk", "assurance");

package/examples/gpca-pump/model/{catalog → methodology}/project.sysml

@@ -1,4 +1,4 @@
-// GPCA project identity and method binding.
+// GPCA model identity and method binding.
 //
 // This file is the project's native entrypoint. It imports the methodology it
 // selects and states the selection as a typed SysML reference — no YAML field
@@ -8,14 +8,16 @@ package memo_examples_gpca_pump_project {
 
     private import memo_methodology_core::*;
     private import memo_core_enumerations::*;
-    private import memo_examples_gpca_pump_methodology_gpca_profiles::*;
+    // The methodology, by the one name the binding needs. What it selects is
+    // what its package publicly imports; the resolver reads that from the
+    // package, so this import does not have to bring the selection in too.
+    private import memo_examples_gpca_pump_methodology_gpca_profiles::gpcaMethodDefinition;
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
-    part gpcaProjectBinding : ProjectMethodBinding {
-        @MemoIdentity { :>> providedId = "PMB-GPCA-001"; }
-        attribute :>> name = "GPCAProjectMethodBinding";
-        attribute :>> projectName = "GPCA Infusion Pump";
+    part gpcaProjectBinding : ModelMethodBinding {
+        @MemoIdentity { :>> providedId = "PMB-GPCA-001"; :>> label = "GPCAModelMethodBinding"; }
+        attribute :>> modelName = "GPCA Infusion Pump";
         ref :>> selectedMethodology = gpcaMethodDefinition;
         // The project adds nothing to the methodology's selection.
         attribute :>> scopeMode = ScopeModeKind::explicit;

package/examples/ivd-laboratory-system/memo.package.yaml

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

package/examples/ivd-laboratory-system/model/catalog/ivd_laboratory_system.sysml

@@ -10,37 +10,40 @@ package memo_examples_ivd_laboratory_system {
     private import memo_architecture_operational_activities::*;
     private import memo_architecture_logical_structure::*;
     private import memo_architecture_implementation_hardware_structure::*;
+    private import memo_architecture_realization_physical::*;
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     part analyzer : PhysicalAssembly {
-        @MemoIdentity { :>> providedId = "IVD-DEV-001"; } attribute :>> name = "ChemAnalyzer";
+        @MemoIdentity { :>> providedId = "IVD-DEV-001"; :>> label = "ChemAnalyzer"; }
         attribute :>> responsibility = "automate clinical chemistry measurements";
     }
 
     // Specimen path: material flow through fluidic hardware.
     part fluidSampleProbe : FluidicComponent {
-        @MemoIdentity { :>> providedId = "IVD-HW-001"; } attribute :>> name = "SampleProbe";
+        @MemoIdentity { :>> providedId = "IVD-HW-001"; :>> label = "SampleProbe"; }
         attribute :>> fluidPathRole = "aspirates specimen from primary tube";
+        out port pSpecimenOut : PhysicalPort;
     }
     part fluidReactionCuvette : FluidicComponent {
-        @MemoIdentity { :>> providedId = "IVD-HW-002"; } attribute :>> name = "ReactionCuvette";
+        @MemoIdentity { :>> providedId = "IVD-HW-002"; :>> label = "ReactionCuvette"; }
         attribute :>> fluidPathRole = "holds specimen-reagent reaction mix";
+        in port pSpecimenIn : PhysicalPort;
     }
     part optPhotometer : OpticalComponent {
-        @MemoIdentity { :>> providedId = "IVD-HW-003"; } attribute :>> name = "PhotometerAssembly";
+        @MemoIdentity { :>> providedId = "IVD-HW-003"; :>> label = "PhotometerAssembly"; }
         attribute :>> opticalFunction = "absorbance measurement";
         attribute :>> wavelengthRange = "340-800 nm";
     }
-    part exSpecimenFlow : LogicalExchange {
-        @MemoIdentity { :>> providedId = "IVD-EX-001"; } attribute :>> name = "SpecimenTransfer";
+    // The probe dispenses the aspirated specimen into the cuvette.
+    flow exSpecimenFlow : LogicalExchange from fluidSampleProbe.pSpecimenOut to fluidReactionCuvette.pSpecimenIn {
+        @MemoIdentity { :>> providedId = "IVD-EX-001"; :>> label = "SpecimenTransfer"; }
         attribute :>> contentKind = FlowContentKind::material;
-        attribute :>> direction = DirectionKind::output;
     }
 
     // Result item coded with LOINC.
     item glucoseResult : LogicalExchangeItem {
-        @MemoIdentity { :>> providedId = "IVD-IT-001"; } attribute :>> name = "GlucoseResult";
+        @MemoIdentity { :>> providedId = "IVD-IT-001"; }
         attribute :>> contentKind = FlowContentKind::measurement;
         attribute :>> unit = "mg/dL";
         attribute :>> timestampRequired = true;
@@ -54,7 +57,7 @@ package memo_examples_ivd_laboratory_system {
 
     // Operating activity for the analyzer.
     action actRunPanel : OperativeAction {
-        @MemoIdentity { :>> providedId = "IVD-ACT-001"; } attribute :>> name = "RunChemistryPanel";
+        @MemoIdentity { :>> providedId = "IVD-ACT-001"; :>> label = "RunChemistryPanel"; }
         attribute :>> criticality = CriticalityKind::high;
     }
 }