@memoarchitect/ontology 0.6.5 → 0.8.22

package/examples/gpca-pump/model/catalog/gpca_verification.sysml

@@ -1,8 +1,16 @@
-package memo_examples_gpca_pump_model_catalog_gpca_verification {
+package memo_examples_gpca_pump_gpca_verification {
+    private import memo_examples_gpca_pump_gpca_requirements::*;
+    private import memo_examples_gpca_pump_gpca_formal_behavior::*;
+    private import memo_examples_gpca_pump_gpca_architecture::*;
+    private import memo_examples_gpca_pump_gpca_risk::*;
+    private import memo_examples_gpca_pump_gpca_behavior_modes::*;
+    private import memo_examples_sysml_diagram_samples_viewpoints_unassigned_views_requirements_view::*;
     private import ScalarValues::*;
+    private import memo_core_dimensions::*;   // ElementStatusKind
 
     private import memo_assurance_verification_validation::*;
     private import memo_core_enumerations::*;
+    private import memo_core_common::*;
 
     // ── Verification cases ──────────────────────────────────────
     verification vcModeRange : VerificationCase {
@@ -10,112 +18,155 @@ package memo_examples_gpca_pump_model_catalog_gpca_verification {
         attribute :>> name = "VerifyModeRange";
         attribute :>> methodKind = VerificationMethodKind::formalProof;
         attribute :>> acceptanceCriteria = "Current_System_mode only takes valid exclusive values";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqCs01; }
+        subject verified : Base::Anything[*] = (guaranteeExclusiveMode, gpcaDevice.gpcaSoftware.tlm, gpcaDevice.gpcaSoftware.outputBus);
     }
     verification vcLockout : VerificationCase {
         attribute :>> id = "VER-002";
         attribute :>> name = "VerifyBolusLockout";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "No patient bolus initiated when lockout or max bolus constraints active";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqCs25; }
+        subject verified : Base::Anything[*] = (lockoutControl, guaranteeLockoutPreventsBolus, tcBolusResponse, gpcaDevice.gpcaSoftware.infusionMgr);
     }
     verification vcSameStepAlarm : VerificationCase {
         attribute :>> id = "VER-003";
         attribute :>> name = "VerifySameStepAlarmStop";
         attribute :>> methodKind = VerificationMethodKind::modelChecking;
         attribute :>> acceptanceCriteria = "Alarm output affects infusion in same execution step";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqCs19; }
+        subject verified : Base::Anything[*] = (propAlarmStopsSameStep, guaranteeAlarmStopsSameStep, tcAlarmLatency, gpcaDevice.gpcaSoftware.alarm);
     }
     verification vcTemporalModeSafety : VerificationCase {
         attribute :>> id = "VER-004";
         attribute :>> name = "VerifyTemporalModeSafety";
         attribute :>> methodKind = VerificationMethodKind::modelChecking;
         attribute :>> acceptanceCriteria = "No invalid transitions and pause on critical alarms";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqCs75; verify reqDoorOpen; }
+        subject verified : Base::Anything[*] = (propLockoutTimerMonotonic, temporalNoInvalidTransition);
     }
     verification vcAirInLine : VerificationCase {
         attribute :>> id = "VER-005";
         attribute :>> name = "VerifyAirInLineStop";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Injected air above threshold pauses infusion and annunciates per the REQ 59 High-priority actions (REQ-CS-21)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqCs21; }
+        subject verified : Base::Anything[*] = (airDetectionControl);
     }
     verification vcOcclusion : VerificationCase {
         attribute :>> id = "VER-006";
         attribute :>> name = "VerifyOcclusionDetection";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Clamped line above pressure threshold pauses infusion and annunciates (REQ-X-04)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqOcclusion; }
+        subject verified : Base::Anything[*] = (occlusionAlarmControl);
     }
     verification vcEmptyReservoir : VerificationCase {
         attribute :>> id = "VER-007";
         attribute :>> name = "VerifyEmptyReservoirStop";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Reservoir-empty assertion transitions to PAUSED (KVO flow) and annunciates per the REQ 59 High-priority actions (REQ-CS-23)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqCs23; }
+        subject verified : Base::Anything[*] = (reservoirMonitorControl, gpcaDevice.gpcaSoftware.systemStatus);
     }
     verification vcPost : VerificationCase {
         attribute :>> id = "VER-008";
         attribute :>> name = "VerifyPowerOnSelfTest";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Each injected POST fault (CPU, RAM, ROM, watchdog, sensors) blocks therapy and alarms (REQ-X-02)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqPost; }
+        subject verified : Base::Anything[*] = (gpcaDevice.gpcaSoftware.systemMonitor);
     }
     verification vcPowerLoss : VerificationCase {
         attribute :>> id = "VER-009";
         attribute :>> name = "VerifyPowerLossRetentionAndResume";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Prescription and log intact after power cycle; therapy resumes only after confirmation (REQ-X-03)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqPowerLossRetention; verify reqBatteryBackup; }
     }
     verification vcWatchdog : VerificationCase {
         attribute :>> id = "VER-010";
         attribute :>> name = "VerifyWatchdogSafeState";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Induced CPU hang forces zero flow and continuous alarm within 60 ms (REQ-X-08, TC-003)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqWatchdogSafeState; }
+        subject verified : Base::Anything[*] = (watchdogControl, tcWatchdogTimeout);
     }
     verification vcHourlyMax : VerificationCase {
         attribute :>> id = "VER-011";
         attribute :>> name = "VerifyHourlyDoseCeiling";
         attribute :>> methodKind = VerificationMethodKind::simulation;
         attribute :>> acceptanceCriteria = "Randomized bolus/basal schedules never exceed hourly maximum in sliding window (REQ-X-06)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqMaxHourlyDose; }
     }
     verification vcPumpAccuracy : VerificationCase {
         attribute :>> id = "VER-012";
         attribute :>> name = "VerifyDeliveryAccuracy";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Gravimetric bench measurement within ±5% (Tolerance_Min_const) across rate range (REQ-X-11)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqPumpAccuracy; }
     }
     verification vcAlarmLoudness : VerificationCase {
         attribute :>> id = "VER-013";
         attribute :>> name = "VerifyAlarmSoundPressure";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Each priority tone meets Audio_level_const, 50 db for 2 s per I 8 (REQ-X-12)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqCs72; verify reqAlarmLoudness; }
     }
     verification vcFreeFlow : VerificationCase {
         attribute :>> id = "VER-014";
         attribute :>> name = "VerifyAntiFreeFlowValve";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "No gravity flow with set disengaged under worst-case head height (REQ-X-14)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqFreeFlowPrevention; }
+        subject verified : Base::Anything[*] = (freeFlowValveControl);
     }
     verification vcStuckButton : VerificationCase {
         attribute :>> id = "VER-015";
         attribute :>> name = "VerifyStuckButtonDetection";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Shorted pendant input yields no bolus and Medium-priority notification after 60 s (REQ-X-09)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqStuckButton; }
     }
     verification vcFlowCrossCheck : VerificationCase {
         attribute :>> id = "VER-016";
         attribute :>> name = "VerifyFlowCrossCheck";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Injected deviation beyond Tolerance_Min_const sustained past Max_Duration_OverInfusion_const pauses therapy and annunciates (REQ-X-10)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqFlowCrossCheck; }
+        subject verified : Base::Anything[*] = (flowCrossCheckControl);
     }
 
     verification vcDrugLibrary : VerificationCase {
@@ -123,56 +174,74 @@ package memo_examples_gpca_pump_model_catalog_gpca_verification {
         attribute :>> name = "VerifyDrugLibraryEnforcement";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Hard-limit entries rejected, soft-limit entries require confirmation, both logged (REQ-X-01)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqDrugLibraryLimits; }
+        subject verified : Base::Anything[*] = (drugLibraryControl, gpcaDevice.gpcaSoftware.config);
     }
     verification vcPrescriptionConfirm : VerificationCase {
         attribute :>> id = "VER-018";
         attribute :>> name = "VerifyPrescriptionConfirmation";
         attribute :>> methodKind = VerificationMethodKind::demonstration;
         attribute :>> acceptanceCriteria = "Therapy cannot start without distinct confirmation; displayed values equal stored values (REQ-CS-09)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqCs09; }
     }
     verification vcEventLog : VerificationCase {
         attribute :>> id = "VER-019";
         attribute :>> name = "VerifyEventLogIntegrity";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Operational/error log entries per REQ-CS-78..81; tampering detectable (REQ-X-07)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        objective { verify reqCs78; verify reqEventLogging; }
+        subject verified : Base::Anything[*] = (gpcaDevice.gpcaSoftware.logging);
     }
     verification vcReverseDeliveryPause : VerificationCase {
         attribute :>> id = "VER-020";
         attribute :>> name = "VerifyReverseDeliveryPause";
         attribute :>> methodKind = VerificationMethodKind::modelChecking;
         attribute :>> acceptanceCriteria = "Continuous or cumulative reverse delivery beyond the REQ-CS-22 duration limits transitions to PAUSED and raises the Reverse Delivery notification (NOTIF-04)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        subject verified : Base::Anything[*] = (reverseDeliveryPauseControl);
     }
     verification vcAntiRefluxMechanism : VerificationCase {
         attribute :>> id = "VER-021";
         attribute :>> name = "VerifyContinuousReverseDeliveryPrevention";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "During normal use and single fault condition, continuous reverse delivery is not possible (IEC 601-2-24 basis per GPCA safety requirements)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        subject verified : Base::Anything[*] = (antiRefluxDesignControl);
     }
     verification vcVtbiCeiling : VerificationCase {
         attribute :>> id = "VER-022";
         attribute :>> name = "VerifyVtbiCeilingPause";
         attribute :>> methodKind = VerificationMethodKind::modelChecking;
         attribute :>> acceptanceCriteria = "Actual volume infused above the drug-database maximum VTBI transitions to PAUSED with flow at most KVO (REQ-CS-20, AGREE GP-008) and raises NOTIF-06";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        subject verified : Base::Anything[*] = (vtbiLimitPauseControl);
     }
     verification vcInfusionComplete : VerificationCase {
         attribute :>> id = "VER-023";
         attribute :>> name = "VerifyInfusionCompleteStop";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Reaching prescribed total duration or maximum VTBI transitions ACTIVE to IDLE with Infusion Complete actions (REQ-CS-28)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        subject verified : Base::Anything[*] = (infusionCompleteControl);
     }
     verification vcDoorInterlock : VerificationCase {
         attribute :>> id = "VER-024";
         attribute :>> name = "VerifyDoorOpenDeliveryInhibit";
         attribute :>> methodKind = VerificationMethodKind::test;
         attribute :>> acceptanceCriteria = "Door open during THERAPY limits flow to at most KVO and raises a notification (AGREE GP-011; REQ-X-05)";
-        attribute :>> status = "planned";
+        attribute :>> status = ElementStatusKind::approved;
+
+        subject verified : Base::Anything[*] = (doorInterlockControl);
     }
 
     // ── Validation cases (design validation / IEC 62366) ────────
@@ -194,7 +263,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_verification {
     }
 
     // ── Test artifacts and evidence ─────────────────────────────
-    part testReportLockout : TestArtifact {
+    part testReportLockout : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::testArtifact;
         attribute :>> id = "TEST-001";
         attribute :>> name = "BolusLockoutTestReport";
         attribute :>> version = "0.1";
@@ -202,7 +272,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_verification {
         attribute :>> artifactKind = ArtifactKind::testReport;
         attribute :>> resultSummary = "planned";
     }
-    part testProtocolSafetySuite : TestArtifact {
+    part testProtocolSafetySuite : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::testArtifact;
         attribute :>> id = "TEST-002";
         attribute :>> name = "SafetyAlarmTestProtocol";
         attribute :>> version = "0.1";
@@ -210,7 +281,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_verification {
         attribute :>> artifactKind = ArtifactKind::testProtocol;
         attribute :>> resultSummary = "covers VER-005..VER-010, VER-015, VER-016, VER-020, VER-022..VER-024";
     }
-    part evidenceLockout : Evidence {
+    part evidenceLockout : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::evidence;
         attribute :>> id = "EVD-001";
         attribute :>> name = "BolusLockoutEvidence";
         attribute :>> version = "0.1";
@@ -218,7 +290,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_verification {
         attribute :>> evidenceType = "verification evidence";
         attribute :>> integrityStatus = "draft";
     }
-    part evidenceModeRange : Evidence {
+    part evidenceModeRange : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::evidence;
         attribute :>> id = "EVD-002";
         attribute :>> name = "ModeRangeEvidence";
         attribute :>> version = "0.1";
@@ -226,7 +299,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_verification {
         attribute :>> evidenceType = "formal proof evidence";
         attribute :>> integrityStatus = "draft";
     }
-    part evidenceSameStepAlarm : Evidence {
+    part evidenceSameStepAlarm : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::evidence;
         attribute :>> id = "EVD-003";
         attribute :>> name = "SameStepAlarmEvidence";
         attribute :>> version = "0.1";
@@ -234,7 +308,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_verification {
         attribute :>> evidenceType = "model checking evidence";
         attribute :>> integrityStatus = "draft";
     }
-    part evidenceTemporalModeSafety : Evidence {
+    part evidenceTemporalModeSafety : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::evidence;
         attribute :>> id = "EVD-004";
         attribute :>> name = "TemporalModeSafetyEvidence";
         attribute :>> version = "0.1";
@@ -242,7 +317,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_verification {
         attribute :>> evidenceType = "model checking evidence";
         attribute :>> integrityStatus = "draft";
     }
-    part evidenceSafetyAlarmSuite : Evidence {
+    part evidenceSafetyAlarmSuite : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::evidence;
         attribute :>> id = "EVD-005";
         attribute :>> name = "SafetyAlarmSuiteEvidence";
         attribute :>> version = "0.1";
@@ -250,7 +326,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_verification {
         attribute :>> evidenceType = "bench test evidence for alarm-driven safe states";
         attribute :>> integrityStatus = "draft";
     }
-    part evidenceUsability : Evidence {
+    part evidenceUsability : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::evidence;
         attribute :>> id = "EVD-006";
         attribute :>> name = "SummativeUsabilityEvidence";
         attribute :>> version = "0.1";
@@ -258,7 +335,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_verification {
         attribute :>> evidenceType = "summative usability report per IEC 62366-1";
         attribute :>> integrityStatus = "draft";
     }
-    part evidenceHardwareBench : Evidence {
+    part evidenceHardwareBench : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::evidence;
         attribute :>> id = "EVD-008";
         attribute :>> name = "HardwareBenchEvidence";
         attribute :>> version = "0.1";
@@ -266,7 +344,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_verification {
         attribute :>> evidenceType = "bench evidence for alarm loudness and anti-free-flow valve";
         attribute :>> integrityStatus = "draft";
     }
-    part evidenceDoseProgramming : Evidence {
+    part evidenceDoseProgramming : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::evidence;
         attribute :>> id = "EVD-009";
         attribute :>> name = "DoseProgrammingEvidence";
         attribute :>> version = "0.1";
@@ -274,7 +353,8 @@ package memo_examples_gpca_pump_model_catalog_gpca_verification {
         attribute :>> evidenceType = "test evidence for prescription limits, confirmation, dose ceiling, and event log";
         attribute :>> integrityStatus = "draft";
     }
-    part evidenceDeliveryAccuracy : Evidence {
+    part evidenceDeliveryAccuracy : MemoEvidence {
+        attribute :>> evidenceKind = EvidenceKind::evidence;
         attribute :>> id = "EVD-007";
         attribute :>> name = "DeliveryAccuracyEvidence";
         attribute :>> version = "0.1";

package/examples/gpca-pump/model/catalog/project.sysml

@@ -0,0 +1,26 @@
+// GPCA project 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
+// participates in the choice.
+package memo_examples_gpca_pump_project {
+    private import ScalarValues::*;
+
+    private import memo_methodology_core::*;
+    private import memo_core_enumerations::*;
+    private import memo_examples_gpca_pump_methodology_gpca_profiles::*;
+
+    part gpcaProjectBinding : ProjectMethodBinding {
+        attribute :>> id = "PMB-GPCA-001";
+        attribute :>> name = "GPCAProjectMethodBinding";
+        attribute :>> projectName = "GPCA Infusion Pump";
+        ref :>> selectedMethodology = gpcaMethodDefinition;
+        // The project adds nothing to the methodology's selection.
+        attribute :>> scopeMode = ScopeModeKind::explicit;
+        // The submission regimes this device targets. `memo standards check`
+        // reads this to decide which standards are required: an EU + US launch
+        // pulls in both the harmonised IEC/ISO packs and 21 CFR Part 820,
+        // where a CE-only project would not be asked for the FDA clauses.
+        attribute :>> regulatoryRegime = (RegulatoryRegimeKind::CE, RegulatoryRegimeKind::MDR, RegulatoryRegimeKind::FDA_510k);
+    }
+}

package/examples/gpca-pump/model/catalog/viewpoints/context/viewpoint.sysml

@@ -0,0 +1,8 @@
+// context viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_gpca_pump_viewpoints_context {
+    public import memo_viewpoints_context_context_viewpoint::*;
+}

package/examples/gpca-pump/model/{views → catalog/viewpoints/context/views}/context_system_context_view.sysml

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_context_system_context_view {
+package memo_examples_gpca_pump_viewpoints_context_views_context_system_context_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,13 +14,13 @@ package memo_examples_gpca_pump_model_views_context_system_context_view {
     private import memo_core_enumerations::*;
 
     view gpcaSystemContextView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_context_system_context_view::*;
+        expose memo_examples_gpca_pump_viewpoints_context_views_context_system_context_view::*;
         attribute depth = 2;
         attribute :>> id = "VIEW-CTX-101";
         attribute :>> name = "GPCA_SystemContextView";
         attribute :>> title = "GPCA System Context View";
         attribute :>> shortDescription = "Actors, use contexts, and external entities at the GPCA system boundary.";
-        attribute :>> longDescription = "Shows the CriSys Fig 2.1 boundary: patient, clinician, prescription, drug reservoir, needle, hospital pharmacy database, and hospital environment around the pump, with directional data flows, physical drug-path connections, and the intended use anchoring the boundary.";
+        attribute :>> description = "Shows the CriSys Fig 2.1 boundary: patient, clinician, prescription, drug reservoir, needle, hospital pharmacy database, and hospital environment around the pump, with directional data flows, physical drug-path connections, and the intended use anchoring the boundary.";
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
         attribute :>> viewKind = DiagramViewKind::general;
@@ -33,7 +33,7 @@ package memo_examples_gpca_pump_model_views_context_system_context_view {
             attribute :>> id = "QRY-CTX-101";
             attribute :>> name = "GPCA_SystemContextQuery";
             attribute :>> includeElementKinds = ("Actor", "UseContext", "IntendedUse", "ReasonablyForeseeableMisuse", "OperationalEntity");
-            attribute :>> includeRelationshipKinds = ("InteractsWith", "ExchangesWith", "ConnectsPhysically", "Governs", "AppliesInContext");
+            attribute :>> includeRelationshipKinds = ("InteractsWith", "flow", "connect", "Governs", "AppliesInContext");
             attribute :>> includeLayers = ("context", "operational");
             attribute :>> selectionExpression = "product == 'GPCA'";
             attribute :>> rationaleText = "Auto-populate the GPCA context view from the context layer.";

package/examples/gpca-pump/model/catalog/viewpoints/cybersecurity/viewpoint.sysml

@@ -0,0 +1,8 @@
+// cybersecurity viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_gpca_pump_viewpoints_cybersecurity {
+    public import memo_viewpoints_cybersecurity_cybersecurity_viewpoint::*;
+}

package/examples/gpca-pump/model/{views → catalog/viewpoints/cybersecurity/views}/cybersecurity_cybersecurity_view.sysml

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_cybersecurity_cybersecurity_view {
+package memo_examples_gpca_pump_viewpoints_cybersecurity_views_cybersecurity_cybersecurity_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -15,13 +15,13 @@ package memo_examples_gpca_pump_model_views_cybersecurity_cybersecurity_view {
     private import memo_core_enumerations::*;
 
     view gpcaCybersecurityView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_cybersecurity_cybersecurity_view::*;
+        expose memo_examples_gpca_pump_viewpoints_cybersecurity_views_cybersecurity_cybersecurity_view::*;
         attribute depth = 2;
         attribute :>> id = "VIEW-CYB-001";
         attribute :>> name = "GPCA_CybersecurityView";
         attribute :>> title = "GPCA Cybersecurity View";
         attribute :>> shortDescription = "Shows GPCA assets, trust boundaries, threats, vulnerabilities, and mitigations.";
-        attribute :>> longDescription = "Product-specific cybersecurity view intended for secure product development and cross-reference into cybersecurity risk documentation.";
+        attribute :>> description = "Product-specific cybersecurity view intended for secure product development and cross-reference into cybersecurity risk documentation.";
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::custom);
         attribute :>> viewKind = DiagramViewKind::general;
@@ -33,7 +33,7 @@ package memo_examples_gpca_pump_model_views_cybersecurity_cybersecurity_view {
         part :>> selectionQuery {
             attribute :>> id = "QRY-CYB-001";
             attribute :>> name = "GPCA_CybersecurityQuery";
-            attribute :>> includeElementKinds = ("CybersecurityAsset", "Threat", "Vulnerability", "CyberHazard", "CyberRisk", "CyberMitigation", "SecurityRequirement", "TrustBoundary", "ThreatScenario");
+            attribute :>> includeElementKinds = ("CybersecurityAsset", "Threat", "Vulnerability", "CyberHazard", "CyberRisk", "CyberMitigation", "SecurityRequirement", "TrustBoundary", "MemoScenario[scenarioKind=threat]");
             attribute :>> includeLayers = ("cybersecurity", "risk", "assurance");
             attribute :>> includeConcerns = (ConcernKind::cybersecurity, ConcernKind::privacy, ConcernKind::safety);
             attribute :>> selectionExpression = "product == 'GPCA'";

package/examples/gpca-pump/model/{views → catalog/viewpoints/cybersecurity/views}/document_cyber_assessment_view.sysml

@@ -1,18 +1,18 @@
-package memo_examples_gpca_pump_model_views_document_cyber_assessment_view {
+package memo_examples_gpca_pump_viewpoints_cybersecurity_views_document_cyber_assessment_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
-    private import memo_viewpoints_cybersecurity_cybersecurity_assessment_view::*;
+    private import memo_viewpoints_cybersecurity_views_cybersecurity_assessment_view::*;
     private import memo_viewpoints_cybersecurity_cybersecurity_viewpoint::*;
     private import memo_core_enumerations::*;
 
     view cyberAssessmentView : MemoCybersecurityAssessmentView {
-        expose memo_examples_gpca_pump_model_views_document_cyber_assessment_view::*;
+        expose memo_examples_gpca_pump_viewpoints_cybersecurity_views_document_cyber_assessment_view::*;
         attribute :>> id = "DOC-003";
         attribute :>> name = "GPCAMemoCybersecurityAssessmentView";
         attribute :>> title = "GPCA Cybersecurity Assessment View";
         attribute :>> shortDescription = "Cybersecurity risk-assessment-oriented document view for GPCA.";
-        attribute :>> longDescription = "Captures GPCA cyber risks, mitigations, security requirements, verification, and safety/privacy traceability for cybersecurity assessment records.";
+        attribute :>> description = "Captures GPCA cyber risks, mitigations, security requirements, verification, and safety/privacy traceability for cybersecurity assessment records.";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> marketScope = "generic";

package/examples/gpca-pump/model/{views → catalog/viewpoints/cybersecurity/views}/document_threat_model_view.sysml

@@ -1,18 +1,18 @@
-package memo_examples_gpca_pump_model_views_document_threat_model_view {
+package memo_examples_gpca_pump_viewpoints_cybersecurity_views_document_threat_model_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
-    private import memo_viewpoints_cybersecurity_threat_model_view::*;
+    private import memo_viewpoints_cybersecurity_views_threat_model_view::*;
     private import memo_viewpoints_cybersecurity_cybersecurity_viewpoint::*;
     private import memo_core_enumerations::*;
 
     view threatModelView : MemoCybersecurityThreatModelView {
-        expose memo_examples_gpca_pump_model_views_document_threat_model_view::*;
+        expose memo_examples_gpca_pump_viewpoints_cybersecurity_views_document_threat_model_view::*;
         attribute :>> id = "DOC-002";
         attribute :>> name = "GPCACyberThreatModelView";
         attribute :>> title = "GPCA Cybersecurity Threat Model View";
         attribute :>> shortDescription = "Threat-model-oriented document view for GPCA.";
-        attribute :>> longDescription = "Captures GPCA cyber assets, trust boundaries, threats, threat scenarios, vulnerabilities, and mitigations for secure product development records.";
+        attribute :>> description = "Captures GPCA cyber assets, trust boundaries, threats, threat scenarios, vulnerabilities, and mitigations for secure product development records.";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> marketScope = "generic";
@@ -22,7 +22,7 @@ package memo_examples_gpca_pump_model_views_document_threat_model_view {
         part :>> selectionQuery {
             attribute :>> id = "QRY-DOC-008";
             attribute :>> name = "threatModelViewQuery";
-            attribute :>> includeElementKinds = ("Threat", "ThreatScenario", "Vulnerability", "CybersecurityAsset", "TrustBoundary", "AttackSurface", "CyberMitigation", "SecurityRequirement");
+            attribute :>> includeElementKinds = ("Threat", "MemoScenario[scenarioKind=threat]", "Vulnerability", "CybersecurityAsset", "TrustBoundary", "AttackSurface", "CyberMitigation", "SecurityRequirement");
             attribute :>> includeRelationshipKinds = ("ThreatenedBy", "Exploits", "RealizedByScenario", "CrossesTrustBoundary", "Mitigates", "DerivesCyberRequirement");
             attribute :>> rationaleText = "Declares what this document-backed view renders; the web renderer is presentation-only.";
         }

package/examples/gpca-pump/model/catalog/viewpoints/functional/viewpoint.sysml

@@ -0,0 +1,8 @@
+// functional viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_gpca_pump_viewpoints_functional {
+    public import memo_viewpoints_functional_functional_viewpoint::*;
+}

package/examples/gpca-pump/model/{views → catalog/viewpoints/functional/views}/functional_function_allocation_view.sysml

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_functional_function_allocation_view {
+package memo_examples_gpca_pump_viewpoints_functional_views_functional_function_allocation_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,7 +14,7 @@ package memo_examples_gpca_pump_model_views_functional_function_allocation_view
     private import memo_core_enumerations::*;
 
     view gpcaFunctionAllocationView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_functional_function_allocation_view::*;
+        expose memo_examples_gpca_pump_viewpoints_functional_views_functional_function_allocation_view::*;
         attribute depth = 2;
         attribute :>> id = "VIEW-FUN-102";
         attribute :>> name = "GPCA_FunctionAllocationView";

package/examples/gpca-pump/model/{views → catalog/viewpoints/functional/views}/functional_function_browser_view.sysml

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_functional_function_browser_view {
+package memo_examples_gpca_pump_viewpoints_functional_views_functional_function_browser_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,13 +14,13 @@ package memo_examples_gpca_pump_model_views_functional_function_browser_view {
     private import memo_core_enumerations::*;
 
     view gpcaFunctionBrowserView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_functional_function_browser_view::*;
+        expose memo_examples_gpca_pump_viewpoints_functional_views_functional_function_browser_view::*;
         attribute depth = 2;
         attribute :>> id = "VIEW-FUN-103";
         attribute :>> name = "GPCA_FunctionBrowserView";
         attribute :>> title = "GPCA Function Browser";
         attribute :>> shortDescription = "Membership tree over the functions layer: logical functions, flows, and the exchange item definitions, grouped by kind.";
-        attribute :>> longDescription = "Browser view (SysML v2 browser view kind) exposing the functions-layer membership hierarchy as a first-class view: the eleven logical functions, the logical flows connecting them, and the data/control definitions they exchange — with kind icons, expand/collapse, and filtering.";
+        attribute :>> description = "Browser view (SysML v2 browser view kind) exposing the functions-layer membership hierarchy as a first-class view: the eleven logical functions, the logical flows connecting them, and the data/control definitions they exchange — with kind icons, expand/collapse, and filtering.";
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
         attribute :>> viewKind = DiagramViewKind::browser;

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

@@ -0,0 +1,8 @@
+// logical viewpoint.
+//
+// This project does not define its own viewpoint here; it binds the reusable
+// MEMO viewpoint that frames these concerns. The views it governs sit beneath
+// `views/`.
+package memo_examples_gpca_pump_viewpoints_logical {
+    public import memo_viewpoints_logical_logical_viewpoint::*;
+}

package/examples/gpca-pump/model/{views → catalog/viewpoints/logical/views}/behavior_action_flow_view.sysml

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_behavior_action_flow_view {
+package memo_examples_gpca_pump_viewpoints_logical_views_behavior_action_flow_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,13 +14,13 @@ package memo_examples_gpca_pump_model_views_behavior_action_flow_view {
     private import memo_core_enumerations::*;
 
     view gpcaActionFlowView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_behavior_action_flow_view::*;
+        expose memo_examples_gpca_pump_viewpoints_logical_views_behavior_action_flow_view::*;
         attribute depth = 2;
         attribute :>> id = "VIEW-BHV-003";
         attribute :>> name = "GPCA_InfusionDeliveryActionFlowView";
         attribute :>> title = "GPCA Infusion Delivery Action Flow";
         attribute :>> shortDescription = "The 20 ms execution-step pipeline from sensor acquisition through alarm evaluation and dose limiting to pump actuation and event logging.";
-        attribute :>> longDescription = "Action flow over the infusionDeliveryFlow composite action: typed action steps with in/out parameters, item flows carrying the DD/CD exchange items, succession ordering from start to done, and swimlane allocation onto the logical architecture (sensors, alarm, infusion manager, pump motor, logging).";
+        attribute :>> description = "Action flow over the infusionDeliveryFlow composite action: typed action steps with in/out parameters, item flows carrying the DD/CD exchange items, succession ordering from start to done, and swimlane allocation onto the logical architecture (sensors, alarm, infusion manager, pump motor, logging).";
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::activityDiagram);
         attribute :>> viewKind = DiagramViewKind::actionflow;