@memoarchitect/ontology 0.12.1 → 0.15.0

package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/tree_view.sysml

@@ -1,4 +1,5 @@
-package diagram_samples {
+package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_tree_view {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
     private import ScalarValues::*;
     private import memo_architecture_implementation_hardware_structure::*;
 
@@ -11,39 +12,25 @@ package diagram_samples {
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     part rootA : HardwareAssembly {
-        attribute :>> name = "Root A";
+@MemoIdentity { :>> label = "Root A"; }
         part branchA1 : HardwareAssembly {
-            attribute :>> name = "Branch A.1";
+@MemoIdentity { :>> label = "Branch A.1"; }
             part leafA11 : HardwareAssembly {
-                attribute :>> name = "Leaf A.1.1";
+@MemoIdentity { :>> label = "Leaf A.1.1"; }
                 attribute :>> partNumber = "PN-1";
             }
-            part leafA12 : HardwareAssembly { attribute :>> name = "Leaf A.1.2"; }
+            part leafA12 : HardwareAssembly {@MemoIdentity { :>> label = "Leaf A.1.2"; } }
         }
         part branchA2 : HardwareAssembly {
-            attribute :>> name = "Branch A.2 With A Deliberately Long Label";
-            part leafA21 : HardwareAssembly { attribute :>> name = "Leaf A.2.1"; }
+@MemoIdentity { :>> label = "Branch A.2 With A Deliberately Long Label"; }
+            part leafA21 : HardwareAssembly {@MemoIdentity { :>> label = "Leaf A.2.1"; } }
         }
         part rootB : HardwareAssembly {
-            attribute :>> name = "Root B";
+@MemoIdentity { :>> label = "Root B"; }
             part branchB1 : HardwareAssembly {
-                attribute :>> name = "Branch B.1";
-                part leafB11 : HardwareAssembly { attribute :>> name = "Leaf B.1.1"; }
+@MemoIdentity { :>> label = "Branch B.1"; }
+                part leafB11 : HardwareAssembly {@MemoIdentity { :>> label = "Leaf B.1.1"; } }
             }
         }
     }
-
-    view blockDecomposition : MemoDiagramView {
-        expose rootA::**;
-        attribute depth = 2;
-        @MemoIdentity { :>> shortDescription = "Block decomposition tree — hardware assemblies with varied branch depths."; }
-        attribute :>> viewKind = DiagramViewKind::general;
-        attribute :>> diagramType = "bdd";
-        ref :>> viewpointDefinition = treeViewpoint;
-        attribute :>> layoutHint = "tree";
-        attribute :>> styleHint = "expanded:rootA,rootB,branchA1,branchB1";
-        part :>> selectionQuery {
-            attribute :>> includeRelationshipKinds = ("Composes");
-        }
-    }
 }

package/examples/sysml-diagram-samples/model/catalog/viewpoints/unassigned/views/use_case_view.sysml

@@ -1,4 +1,5 @@
-package diagram_samples {
+package memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case_view {
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
     private import ScalarValues::*;
     private import memo_architecture_operational_context_actors::*;
     private import memo_architecture_operational_use_cases::*;
@@ -21,32 +22,28 @@ package diagram_samples {
     // Product-neutral fixture for the UML-style use-case presentation.
     part patient : User {
         attribute :>> actorKind = ActorKind::patient;
-        attribute :>> name = "Patient";
     }
     part clinician : User {
         attribute :>> actorKind = ActorKind::clinician;
-        attribute :>> name = "Clinician";
     }
     part serviceTechnician : User {
         attribute :>> actorKind = ActorKind::technician;
-        attribute :>> name = "Service Technician";
+@MemoIdentity { :>> label = "Service Technician"; }
     }
     part nursingStaff : User {
         attribute :>> actorKind = ActorKind::clinician;
-        attribute :>> name = "Nursing Staff";
+@MemoIdentity { :>> label = "Nursing Staff"; }
     }
 
     use case reviewStatus : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-1"; }
-        attribute :>> name = "Review Device Status";
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-1"; :>> label = "Review Device Status"; }
         attribute :>> useCaseKind = UseCaseKind::clinical;
         include validateTherapySettings;
         subject supportingSystem;
         actor patientActor = patient;
     }
     use case configureTherapy : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-2"; }
-        attribute :>> name = "Configure Therapy";
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-2"; :>> label = "Configure Therapy"; }
         attribute :>> useCaseKind = UseCaseKind::clinical;
         include reviewStatus;
         subject supportingSystem;
@@ -54,23 +51,20 @@ package diagram_samples {
         actor patientActor = patient;
     }
     use case maintainDevice : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-3"; }
-        attribute :>> name = "Maintain Device";
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-3"; :>> label = "Maintain Device"; }
         attribute :>> useCaseKind = UseCaseKind::service;
         subject supportingSystem;
         actor serviceTechnicianActor = serviceTechnician;
     }
 
     use case documentTreatment : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-4"; }
-        attribute :>> name = "Document Treatment";
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-4"; :>> label = "Document Treatment"; }
         attribute :>> useCaseKind = UseCaseKind::clinical;
     }
 
     // L2 child of Review Device Status: makes L0 → L1 → L2 selectable.
     use case validateTherapySettings : UseCase {
-        @MemoIdentity { :>> providedId = "UC-SAMPLE-5"; }
-        attribute :>> name = "Validate Therapy Settings";
+        @MemoIdentity { :>> providedId = "UC-SAMPLE-5"; :>> label = "Validate Therapy Settings"; }
         attribute :>> useCaseKind = UseCaseKind::clinical;
         subject supportingSystem;
         actor clinicianActor = clinician;
@@ -89,25 +83,4 @@ package diagram_samples {
     // Status — the general case is browsing status; configuring therapy is a
     // more specific variant.
     connection : Specialization connect configureTherapy to reviewStatus;
-
-    view deviceUseCases : MemoDiagramView {
-        expose patient;
-        expose clinician;
-        expose serviceTechnician;
-        expose nursingStaff;
-        expose reviewStatus;
-        expose configureTherapy;
-        expose maintainDevice;
-        expose documentTreatment;
-        expose validateTherapySettings;
-        @MemoIdentity { :>> shortDescription = "Actors outside a device boundary with include, extend, generalization, hierarchy-level, and orthogonal-routing presentation."; }
-        attribute :>> viewKind = DiagramViewKind::general;
-        attribute :>> diagramType = "ucd";
-        ref :>> viewpointDefinition = useCaseViewpoint;
-        part :>> selectionQuery {
-            attribute :>> includeElementKinds = ("User", "UseCase");
-            attribute :>> includeRelationshipKinds = ("ParticipatesIn", "IncludesStep", "Extends", "Specialization");
-        }
-        attribute :>> layoutHint = "usecase:level=all;edge=rounded";
-    }
 }

package/examples/sysml-diagram-samples/model/methodology/project.sysml

@@ -0,0 +1,40 @@
+// Sysml Diagram Samples — 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.
+package memo_examples_sysml_diagram_samples_project {
+    private import ScalarValues::*;
+
+    private import memo_core_enumerations::*;
+    private import memo_methodology_core::*;
+    private import memo_methodology_profiles::*;
+
+    // The project's own content, imported so the catalog is one reachable
+    // closure from a single entrypoint.
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned::*;
+    private import diagram_samples::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_action_flow_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_browser_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_context_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_functional_flow_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_grid_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_interconnection_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_drill_down_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_operational_behaviour_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_package_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_requirements_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_sequence_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_standard_activity_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_state_transition_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_tree_view::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_use_case_view::*;
+
+    private import memo_core_common::*;
+    private import memo_core_common::MemoIdentity;
+    part projectBinding : ModelMethodBinding {
+        @MemoIdentity { :>> providedId = "PMB-DIAGRAM-SAMPLES-1"; :>> label = "SysmlDiagramSamplesModelMethodBinding"; }
+        attribute :>> modelName = "Sysml Diagram Samples";
+        ref :>> selectedMethodology = mdDefaultDefinition;
+        attribute :>> scopeMode = ScopeModeKind::explicit;
+    }
+}

package/examples/sysml-diagram-samples/model/sysml_v2_activity_example.sysml

@@ -25,7 +25,7 @@ package activity_example {
 
         succession first start then receiveOrder;
         succession first receiveOrder then validateOrder;
-        flow of Order from receiveOrder.order to validateOrder.order;
+        flow orderFlow of Order from receiveOrder.order to validateOrder.order;
         succession first validateOrder then routeOrder;
         succession first routeOrder if true then processOrder;
         succession first routeOrder if false then rejectOrder;

package/examples/temperature-alarm/memo.identity.yaml

@@ -8,6 +8,9 @@ elements:
   "memo_examples_temperature_alarm::actAcknowledgeAlarm":
     shortId: "OPR-1"
     uuid: "ea2b4f6a-a25b-5c93-84a2-2c149dc5b870"
+  "memo_examples_temperature_alarm::actAcknowledgeAlarm::taskAckAlarm":
+    shortId: "OPR-2"
+    uuid: "2a25bec5-50f6-5bef-ad59-750b277515db"
   "memo_examples_temperature_alarm::chMonitor":
     shortId: "LGC-1"
     uuid: "0f804fdc-4ead-5205-a108-91ce7e4b4d04"
@@ -50,6 +53,9 @@ elements:
   "memo_examples_temperature_alarm::uvAckTask":
     shortId: "MMX-3"
     uuid: "d268c19e-41da-5657-ac04-2f9bcdc29713"
+  "memo_examples_temperature_alarm::valAckTask":
+    shortId: "VLD-1"
+    uuid: "0cf87665-ade5-5bb2-9fd5-081e946aeb07"
   "memo_examples_temperature_alarm::vcAlarmLatency":
     shortId: "VRF-1"
     uuid: "e4853bd5-0672-5040-af70-0c7f9177ee7a"

package/examples/temperature-alarm/memo.package.yaml

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

package/examples/temperature-alarm/model/catalog/temperature_alarm.sysml

@@ -27,64 +27,70 @@ package memo_examples_temperature_alarm {
 
     private import memo_core_common::MemoIdentity;
     // ── Operational intent ──────────────────────────────────────
+    // --8<-- [start:operational]
     part icuNurse : User {
         attribute :>> actorKind = ActorKind::clinician;
-        @MemoIdentity { :>> providedId = "TA-USR-001"; } attribute :>> name = "ICUNurse";
+        @MemoIdentity { :>> providedId = "TA-USR-001"; }
     }
     use case ucMonitorTemp : UseCase {
         attribute :>> useCaseKind = UseCaseKind::clinical;
-        @MemoIdentity { :>> providedId = "TA-UC-001"; }
-        attribute :>> name = "MonitorPatientTemperature";
+        @MemoIdentity { :>> providedId = "TA-UC-001"; :>> label = "MonitorPatientTemperature"; }
         attribute :>> goalStatement = "Continuously monitor core temperature and be alerted when it leaves the safe range.";
         subject supportingSystem;
         actor icuNurseInitiator = icuNurse;
     }
     action actAcknowledgeAlarm : OperativeAction {
-        @MemoIdentity { :>> providedId = "TA-ACT-001"; } attribute :>> name = "ReviewAndAcknowledgeAlarm";
+        @MemoIdentity { :>> providedId = "TA-ACT-001"; :>> label = "ReviewAndAcknowledgeAlarm"; }
         attribute :>> criticality = CriticalityKind::high;
 
         action taskAckAlarm : OperativeAction {
             attribute :>> criticality = CriticalityKind::high;
-            @MemoIdentity { :>> providedId = "TA-TASK-001"; } attribute :>> name = "AcknowledgeTemperatureAlarm";
+            @MemoIdentity { :>> providedId = "TA-TASK-001"; :>> label = "AcknowledgeTemperatureAlarm"; }
             attribute :>> taskGoal = "recognize, assess, and acknowledge the alarm";
             attribute :>> potentialHarm = "delayed intervention for hypo-/hyperthermia";
             attribute :>> severityIfFailed = SeverityKind::serious;
+    // --8<-- [end:operational]
         }
     }
 
     // ── Functional and logical slices ───────────────────────────
+    // --8<-- [start:functional]
     action fnDetectDeviation : SystemFunction {
-        @MemoIdentity { :>> providedId = "TA-FN-001"; } attribute :>> name = "DetectTemperatureDeviation";
+        @MemoIdentity { :>> providedId = "TA-FN-001"; :>> label = "DetectTemperatureDeviation"; }
         attribute :>> criticality = CriticalityKind::high;
         // This function is owned by the functional architecture layer (its
         // package). Its safety and verification character are typed
         // relationships to assurance-owned elements, not tags on the function.
+    // --8<-- [end:functional]
     }
+    // --8<-- [start:logical]
     part chMonitor : LogicalComponent {
-        @MemoIdentity { :>> providedId = "TA-LC-001"; } attribute :>> name = "TemperatureMonitorChannel";
+        @MemoIdentity { :>> providedId = "TA-LC-001"; :>> label = "TemperatureMonitorChannel"; }
         attribute :>> channelRole = ChannelRoleKind::monitor;
     }
     part chPrimary : LogicalComponent {
-        @MemoIdentity { :>> providedId = "TA-LC-002"; } attribute :>> name = "MeasurementChannel";
+        @MemoIdentity { :>> providedId = "TA-LC-002"; :>> label = "MeasurementChannel"; }
         attribute :>> channelRole = ChannelRoleKind::primary;
     }
     connection : IndependentOf connect channel ::> chMonitor to otherChannel ::> chPrimary {
         attribute :>> independenceBasis = "separate sensing element and power rail";
     }
     allocate fnDetectDeviation to chMonitor;
+    // --8<-- [end:logical]
     // ── UI: alarm element and acknowledgement action ────────────
+    // --8<-- [start:implementation]
     part uiBedside : UserInterface {
-        @MemoIdentity { :>> providedId = "TA-UI-001"; } attribute :>> name = "BedsideDisplay";
+        @MemoIdentity { :>> providedId = "TA-UI-001"; :>> label = "BedsideDisplay"; }
         attribute :>> modality = "visual + audible";
     }
     part elAlarmBanner : UIElement {
-        @MemoIdentity { :>> providedId = "TA-EL-001"; } attribute :>> name = "TempAlarmBanner";
+        @MemoIdentity { :>> providedId = "TA-EL-001"; :>> label = "TempAlarmBanner"; }
         attribute :>> alarmPriority = NotificationPriorityKind::high;
         attribute :>> annunciationModality = "flashing banner + tone";
         attribute :>> silenceable = true;
     }
     action uiaAcknowledge : UIAction {
-        @MemoIdentity { :>> providedId = "TA-UIA-001"; } attribute :>> name = "AcknowledgeAlarm";
+        @MemoIdentity { :>> providedId = "TA-UIA-001"; :>> label = "AcknowledgeAlarm"; }
         attribute :>> intent = InteractionIntentKind::acknowledgement;
         attribute :>> confirmationRequired = true;
         perform fnDetectDeviation;
@@ -93,36 +99,42 @@ package memo_examples_temperature_alarm {
     // Was `Supports`, a zero-attribute duplicate of both `Enables` and the
     // native `dependency`.
     dependency from uiBedside to actAcknowledgeAlarm::taskAckAlarm;
+    // --8<-- [end:implementation]
 
     // ── Risk chain with use error ───────────────────────────────
+    // --8<-- [start:human-factors]
     part ueSilenceAndForget : UseError {
-        @MemoIdentity { :>> providedId = "TA-UE-001"; } attribute :>> name = "SilenceWithoutAssessment";
+        @MemoIdentity { :>> providedId = "TA-UE-001"; :>> label = "SilenceWithoutAssessment"; }
         attribute :>> errorCategory = UseErrorCategoryKind::memoryRecall;
         attribute :>> severity = SeverityKind::serious;
     }
+    // --8<-- [start:safety-risk]
     item hzUndetectedDeviation : Hazard {
-        @MemoIdentity { :>> providedId = "TA-HZ-001"; } attribute :>> name = "UndetectedTemperatureDeviation";
+        @MemoIdentity { :>> providedId = "TA-HZ-001"; :>> label = "UndetectedTemperatureDeviation"; }
         attribute :>> hazardType = HazardTypeKind::informationError;
         attribute :>> severity = SeverityKind::serious;
         attribute :>> foreseeable = true;
     }
     part rcReAnnunciate : RiskControlMeasure {
-        @MemoIdentity { :>> providedId = "TA-RC-001"; } attribute :>> name = "AutoReAnnunciationAfterSilence";
+        @MemoIdentity { :>> providedId = "TA-RC-001"; :>> label = "AutoReAnnunciationAfterSilence"; }
         attribute :>> controlKind = RiskControlKind::alarm;
         attribute :>> implementationKind = RiskControlImplementationKind::softwareDesign;
     }
     connection : CommitsUseError connect task ::> actAcknowledgeAlarm.taskAckAlarm to useError ::> ueSilenceAndForget;
-    connection : Causes { attribute :>> causeKind = CauseKind::useErrorLeadsToHazard; connect cause ::> ueSilenceAndForget to effect ::> hzUndetectedDeviation; }
-    connection : Mitigates { attribute :>> mitigationKind = MitigationKind::hazard; connect control ::> rcReAnnunciate to mitigatedElement ::> hzUndetectedDeviation; }
+    // --8<-- [end:human-factors]
+    connection : Causes connect cause ::> ueSilenceAndForget to effect ::> hzUndetectedDeviation { attribute :>> causeKind = CauseKind::useErrorLeadsToHazard; }
+    connection : Mitigates connect control ::> rcReAnnunciate to mitigatedElement ::> hzUndetectedDeviation { attribute :>> mitigationKind = MitigationKind::hazard; }
     connection : ControlImplementedBy connect riskControl ::> rcReAnnunciate to implementingElement ::> elAlarmBanner;
+    // --8<-- [end:safety-risk]
 
     // ── Verification, validation, evidence ──────────────────────
+    // --8<-- [start:verification-validation]
     action vsAlarmLatency : OperativeScenario {
-        @MemoIdentity { :>> providedId = "TA-VS-001"; } attribute :>> name = "AlarmLatencyScenario";
+        @MemoIdentity { :>> providedId = "TA-VS-001"; :>> label = "AlarmLatencyScenario"; }
         attribute :>> pathSummary = "Induce out-of-range temperature; measure detection-to-annunciation latency.";
     }
     verification vcAlarmLatency : VerificationCase {
-        @MemoIdentity { :>> providedId = "TA-VC-001"; } attribute :>> name = "VerifyAlarmLatency";
+        @MemoIdentity { :>> providedId = "TA-VC-001"; :>> label = "VerifyAlarmLatency"; }
         attribute :>> methodKind = MemoVerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "annunciation within 2 s of sustained deviation";
 
@@ -134,16 +146,26 @@ package memo_examples_temperature_alarm {
     }
     part uvAckTask : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::usabilityValidation;
-        @MemoIdentity { :>> providedId = "TA-UV-001"; } attribute :>> name = "SummativeAlarmAcknowledgement";
+        @MemoIdentity { :>> providedId = "TA-UV-001"; :>> label = "SummativeAlarmAcknowledgement"; }
         attribute :>> participantProfile = "15 ICU nurses, representative shift conditions";
         attribute :>> participantCount = 15;
         attribute :>> acceptanceCriteria = "no critical-task failures; all alarms assessed before silencing";
     }
     part evLatencyReport : MemoEvidence {
         attribute :>> evidenceKind = EvidenceKind::evidence;
-        @MemoIdentity { :>> providedId = "TA-EV-001"; } attribute :>> name = "AlarmLatencyTestReport";
+        @MemoIdentity { :>> providedId = "TA-EV-001"; :>> label = "AlarmLatencyTestReport"; }
         attribute :>> evidenceType = "test report";
     }
-    connection : Validates connect validationTarget ::> actAcknowledgeAlarm.taskAckAlarm to validationCase ::> uvAckTask;
+    // The summative test is the validation case; uvAckTask is the record it
+    // produced. Validates ends at a case, never at the evidence itself.
+    verification valAckTask : ValidationCase {
+        @MemoIdentity { :>> providedId = "TA-VAL-001"; :>> label = "SummativeAlarmAcknowledgementTest"; }
+        attribute :>> validationMethod = ValidationMethodKind::summativeUsabilityTest;
+        attribute :>> userParticipation = "15 ICU nurses, representative shift conditions";
+        attribute :>> acceptanceCriteria = "no critical-task failures; all alarms assessed before silencing";
+    }
+    connection : Validates connect validationTarget ::> actAcknowledgeAlarm.taskAckAlarm to validationCase ::> valAckTask;
+    connection : ProducesEvidence connect producer ::> valAckTask to producedEvidence ::> uvAckTask;
     connection : ProducesEvidence connect producer ::> vcAlarmLatency to producedEvidence ::> evLatencyReport;
+    // --8<-- [end:verification-validation]
 }

package/examples/temperature-alarm/model/{catalog → methodology}/project.sysml

@@ -1,4 +1,4 @@
-// Temperature Alarm — project identity and method binding.
+// Temperature Alarm — 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_temperature_alarm_project {
 
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
-    part projectBinding : ProjectMethodBinding {
-        @MemoIdentity { :>> providedId = "PMB-TEMPERATURE-ALARM-001"; }
-        attribute :>> name = "TemperatureAlarmProjectMethodBinding";
-        attribute :>> projectName = "Temperature Alarm";
+    part projectBinding : ModelMethodBinding {
+        @MemoIdentity { :>> providedId = "PMB-TEMPERATURE-ALARM-001"; :>> label = "TemperatureAlarmModelMethodBinding"; }
+        attribute :>> modelName = "Temperature Alarm";
         ref :>> selectedMethodology = mdDefaultDefinition;
         attribute :>> scopeMode = ScopeModeKind::explicit;
     }

package/examples/ui-screen-regions/memo.identity.yaml

@@ -8,6 +8,21 @@ elements:
   "memo_examples_ui_screen_regions_architecture_functional_functions::fnManageInfusionDisplay":
     shortId: "SYS-1"
     uuid: "9b45772b-7d7d-53e2-97b6-f10d92dc10e4"
+  "memo_examples_ui_screen_regions_architecture_functional_functions::fnManageInfusionDisplay::fnPresentBatteryStatus":
+    shortId: "SYS-2"
+    uuid: "96aa292d-dbbf-514d-be51-baa7c23b4a4b"
+  "memo_examples_ui_screen_regions_architecture_functional_functions::fnManageInfusionDisplay::fnPresentDeliveryStatus":
+    shortId: "SYS-3"
+    uuid: "0b73c191-7803-58ab-a4d1-4630b3528825"
+  "memo_examples_ui_screen_regions_architecture_functional_functions::fnManageInfusionDisplay::fnPresentLocalTime":
+    shortId: "SYS-4"
+    uuid: "daa13f3a-026a-5208-bbda-c6d4ef7f4684"
+  "memo_examples_ui_screen_regions_architecture_functional_functions::fnManageInfusionDisplay::fnSetInfusionRate":
+    shortId: "SYS-5"
+    uuid: "84ed7035-7c68-51e5-bf83-bb64d76f2df4"
+  "memo_examples_ui_screen_regions_architecture_functional_functions::fnManageInfusionDisplay::fnValidateDrugSelection":
+    shortId: "SYS-6"
+    uuid: "710bc732-5946-52ab-a720-ad7284248936"
   "memo_examples_ui_screen_regions_architecture_functional_functions::fnPresentBatteryStatus":
     shortId: "SYS-2"
     uuid: "96aa292d-dbbf-514d-be51-baa7c23b4a4b"
@@ -35,12 +50,27 @@ elements:
   "memo_examples_ui_screen_regions_architecture_implementation_ui::elMainScreen":
     shortId: "UIE-4"
     uuid: "20084808-1df8-5082-a777-5630903a9d17"
+  "memo_examples_ui_screen_regions_architecture_implementation_ui::elMainScreen::elDrugSelectorRegion":
+    shortId: "UIE-3"
+    uuid: "d920531b-65e4-5b63-a450-fc5c3bd33646"
+  "memo_examples_ui_screen_regions_architecture_implementation_ui::elMainScreen::elDrugSelectorRegion::elDrugMenuExpanded":
+    shortId: "UIE-1"
+    uuid: "efcfbe2b-af48-51dc-81e2-e46c067bbf46"
+  "memo_examples_ui_screen_regions_architecture_implementation_ui::elMainScreen::elDrugSelectorRegion::elDrugSelectorClosed":
+    shortId: "UIE-2"
+    uuid: "7b27669f-d11c-5580-91cd-9353ef088458"
+  "memo_examples_ui_screen_regions_architecture_implementation_ui::elMainScreen::uiElement12":
+    shortId: "UIE-7"
+    uuid: "1b7cc4c8-3e31-5ba8-b99b-5069491aeb0a"
   "memo_examples_ui_screen_regions_architecture_implementation_ui::elRateConfirmDialog":
     shortId: "UIE-5"
     uuid: "5a7e1a4a-a1af-5294-817e-2dcf64f7717e"
   "memo_examples_ui_screen_regions_architecture_implementation_ui::elSettingsScreen":
     shortId: "UIE-6"
     uuid: "61a7a5d8-ab25-5fc7-b41f-340ab47b7b56"
+  "memo_examples_ui_screen_regions_architecture_implementation_ui::elSettingsScreen::elRateConfirmDialog":
+    shortId: "UIE-5"
+    uuid: "5a7e1a4a-a1af-5294-817e-2dcf64f7717e"
   "memo_examples_ui_screen_regions_architecture_implementation_ui::uiElement12":
     shortId: "UIE-7"
     uuid: "1b7cc4c8-3e31-5ba8-b99b-5069491aeb0a"
@@ -74,6 +104,9 @@ elements:
   "memo_examples_ui_screen_regions_artifacts_reviews_comments::cmtStatusBarScope":
     shortId: "MDL-3"
     uuid: "b9b7b12d-f223-57ea-8d1b-da58b140b671"
+  "memo_examples_ui_screen_regions_artifacts_reviews_comments::cmtStatusBarScope::cmtStatusBarReply":
+    shortId: "MDL-2"
+    uuid: "d99e8642-f5e1-5d31-8cb0-174b25cd1249"
   "memo_examples_ui_screen_regions_artifacts_reviews_notes::noteCaptureReview":
     shortId: "MDL-4"
     uuid: "0e6d1f04-2e80-52dd-90f3-4eeed99b5799"

package/examples/ui-screen-regions/memo.package.yaml

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

package/examples/ui-screen-regions/model/catalog/architecture/functional/functions.sysml

@@ -19,43 +19,43 @@ package memo_examples_ui_screen_regions_architecture_functional_functions {
     private import memo_core_common::*;
     private import memo_core_common::MemoIdentity;
     action fnManageInfusionDisplay : SystemFunction {
-        @MemoIdentity { :>> providedId = "UIR-FN-002"; } attribute :>> name = "ManageInfusionDisplay";
+        @MemoIdentity { :>> providedId = "UIR-FN-002"; :>> label = "ManageInfusionDisplay"; }
         @MemoIdentity { :>> shortDescription = "Coordinate the running-infusion display and its interactive regions."; }
-        attribute :>> description = "Maintains the clinician-facing infusion state and delegates rate programming, drug selection, and status presentation to focused child functions.";
+        doc /* Maintains the clinician-facing infusion state and delegates rate programming, drug selection, and status presentation to focused child functions. */
         attribute :>> criticality = CriticalityKind::high;
 
         action fnSetInfusionRate : SystemFunction {
-            @MemoIdentity { :>> providedId = "UIR-FN-001"; } attribute :>> name = "SetInfusionRate";
+            @MemoIdentity { :>> providedId = "UIR-FN-001"; :>> label = "SetInfusionRate"; }
             @MemoIdentity { :>> shortDescription = "Apply a clinician-entered rate to the pump controller."; }
-            attribute :>> description = "Validates a requested infusion rate against the drug library limits and the pump's mechanical range, then commits it to the controller as the active setpoint.";
+            doc /* Validates a requested infusion rate against the drug library limits and the pump's mechanical range, then commits it to the controller as the active setpoint. */
             attribute :>> criticality = CriticalityKind::high;
         }
 
         action fnValidateDrugSelection : SystemFunction {
-            @MemoIdentity { :>> providedId = "UIR-FN-003"; } attribute :>> name = "ValidateDrugSelection";
+            @MemoIdentity { :>> providedId = "UIR-FN-003"; :>> label = "ValidateDrugSelection"; }
             @MemoIdentity { :>> shortDescription = "Validate a selected drug and concentration against the active care-area library."; }
-            attribute :>> description = "Accepts only a drug and concentration present in the active drug library, then supplies its dosing limits to rate validation.";
+            doc /* Accepts only a drug and concentration present in the active drug library, then supplies its dosing limits to rate validation. */
             attribute :>> criticality = CriticalityKind::high;
         }
 
         action fnPresentDeliveryStatus : SystemFunction {
-            @MemoIdentity { :>> providedId = "UIR-FN-004"; } attribute :>> name = "PresentDeliveryStatus";
+            @MemoIdentity { :>> providedId = "UIR-FN-004"; :>> label = "PresentDeliveryStatus"; }
             @MemoIdentity { :>> shortDescription = "Present current rate and cumulative delivered volume."; }
-            attribute :>> description = "Refreshes the rate and volume-delivered indicators from controller state at the specified display update interval.";
+            doc /* Refreshes the rate and volume-delivered indicators from controller state at the specified display update interval. */
             attribute :>> criticality = CriticalityKind::medium;
         }
 
         action fnPresentLocalTime : SystemFunction {
-            @MemoIdentity { :>> providedId = "UIR-FN-005"; } attribute :>> name = "PresentLocalTime";
+            @MemoIdentity { :>> providedId = "UIR-FN-005"; :>> label = "PresentLocalTime"; }
             @MemoIdentity { :>> shortDescription = "Read the synchronized clock and present local time."; }
-            attribute :>> description = "Formats the device clock as local 24-hour time and refreshes the status-bar value once per second.";
+            doc /* Formats the device clock as local 24-hour time and refreshes the status-bar value once per second. */
             attribute :>> criticality = CriticalityKind::medium;
         }
 
         action fnPresentBatteryStatus : SystemFunction {
-            @MemoIdentity { :>> providedId = "UIR-FN-006"; } attribute :>> name = "PresentBatteryStatus";
+            @MemoIdentity { :>> providedId = "UIR-FN-006"; :>> label = "PresentBatteryStatus"; }
             @MemoIdentity { :>> shortDescription = "Present battery state of charge and low-battery status."; }
-            attribute :>> description = "Converts battery telemetry into percentage, icon state, and low-battery prominence for the running-infusion screen.";
+            doc /* Converts battery telemetry into percentage, icon state, and low-battery prominence for the running-infusion screen. */
             attribute :>> criticality = CriticalityKind::medium;
         }