@memoarchitect/ontology 0.6.4 → 0.7.0

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_catalog_gpca_trace {
+package memo_examples_gpca_pump_gpca_trace {
     private import ScalarValues::*;
 
     private import memo_core_relationships::*;
@@ -7,28 +7,32 @@ package memo_examples_gpca_pump_model_catalog_gpca_trace {
     private import memo_architecture_operational_activities::*;
     private import memo_architecture_operational_structure::*;
     private import memo_architecture_functional_functions::*;
-    private import memo_examples_gpca_pump_model_catalog_gpca_context::*;
-    private import memo_examples_gpca_pump_model_catalog_gpca_operational::*;
-    private import memo_examples_gpca_pump_model_catalog_gpca_system::*;
-    private import memo_examples_gpca_pump_model_catalog_gpca_requirements::*;
-    private import memo_examples_gpca_pump_model_catalog_gpca_architecture::*;
-    private import memo_examples_gpca_pump_model_catalog_gpca_physical::*;
-    private import memo_examples_gpca_pump_model_catalog_gpca_behavior_subsystems::*;
-    private import memo_examples_gpca_pump_model_catalog_gpca_behavior_modes::*;
-    private import memo_examples_gpca_pump_model_catalog_gpca_interfaces::*;
-    private import memo_examples_gpca_pump_model_catalog_gpca_risk::*;
-    private import memo_examples_gpca_pump_model_catalog_gpca_analysis::*;
-    private import memo_examples_gpca_pump_model_catalog_gpca_verification::*;
-    private import memo_examples_gpca_pump_model_views_document_architecture_description_view::*;
-    private import memo_examples_gpca_pump_model_views_document_cyber_assessment_view::*;
-    private import memo_examples_gpca_pump_model_views_document_dhf_index_view::*;
-    private import memo_examples_gpca_pump_model_views_document_hazard_analysis_view::*;
-    private import memo_examples_gpca_pump_model_views_document_rmf_view::*;
-    private import memo_examples_gpca_pump_model_views_document_sdd_view::*;
-    private import memo_examples_gpca_pump_model_views_document_threat_model_view::*;
-    private import memo_examples_gpca_pump_model_views_document_usability_view::*;
-    private import memo_examples_gpca_pump_model_views_document_vv_view::*;
-    private import memo_examples_gpca_pump_model_catalog_gpca_formal_behavior::*;
+    private import memo_examples_gpca_pump_gpca_context::*;
+    private import memo_examples_gpca_pump_gpca_operational::*;
+    private import memo_examples_gpca_pump_gpca_system::*;
+    private import memo_examples_gpca_pump_gpca_requirements::*;
+    private import memo_examples_gpca_pump_gpca_architecture::*;
+    private import memo_examples_gpca_pump_gpca_physical::*;
+    private import memo_examples_gpca_pump_gpca_behavior_subsystems::*;
+    private import memo_examples_gpca_pump_gpca_behavior_modes::*;
+    private import memo_examples_gpca_pump_gpca_interfaces::*;
+    private import memo_examples_gpca_pump_gpca_risk::*;
+    private import memo_examples_gpca_pump_gpca_analysis::*;
+    private import memo_examples_gpca_pump_gpca_verification::*;
+    private import memo_examples_gpca_pump_viewpoints_logical_views_document_architecture_description_view::*;
+    private import memo_examples_gpca_pump_viewpoints_cybersecurity_views_document_cyber_assessment_view::*;
+    private import memo_examples_gpca_pump_viewpoints_requirements_views_document_dhf_index_view::*;
+    private import memo_examples_gpca_pump_viewpoints_risk_views_document_hazard_analysis_view::*;
+    private import memo_examples_gpca_pump_viewpoints_risk_views_document_rmf_view::*;
+    private import memo_examples_gpca_pump_viewpoints_software_views_document_sdd_view::*;
+    private import memo_examples_gpca_pump_viewpoints_cybersecurity_views_document_threat_model_view::*;
+    private import memo_examples_gpca_pump_viewpoints_usability_views_document_usability_view::*;
+    private import memo_examples_gpca_pump_viewpoints_verification_views_document_vv_view::*;
+    private import memo_examples_gpca_pump_gpca_formal_behavior::*;
+    private import memo_architecture_operational_context_stakeholders::*;
+    private import memo_architecture_operational_use_cases::*;
+    private import memo_architecture_operational_workflows::*;
+    private import memo_architecture_realization_deployment::*;
 
     // ── System context interactions (context view) ──────────────
     connection : InteractsWith connect contextParticipant ::> actorPatient to target ::> entityGpcaPump;
@@ -435,14 +439,38 @@ package memo_examples_gpca_pump_model_catalog_gpca_trace {
     connection : Composes connect parent ::> gpcaSoftware to child ::> portDbIn;
     connection : Composes connect parent ::> gpcaSoftware to child ::> portGpcaSwOut;
 
-    // ── Device-boundary interconnect (GPCA_Device.aadl; CE-001..004,
-    //    CITE-002) — hardware ↔ software-port connection topology ──
-    connection : ExchangesWith connect source ::> gpcaDeviceSensors to target ::> portSensorIn;
-    connection : ExchangesWith connect source ::> portGpcaSwOut to target ::> pumpMotorAssembly;
-    connection : ExchangesWith connect source ::> portGpcaSwOut to target ::> audibleAlarm;
-    connection : ExchangesWith connect source ::> portGpcaSwOut to target ::> operatorDisplay;
-    connection : ExchangesWith connect source ::> operatorKeypad to target ::> portPresIn;
-    connection : ExchangesWith connect source ::> operatorKeypad to target ::> portOpCmdIn;
+    // ── Device/subsystem feature ownership (published AADL, 1:1) ──
+    connection : Composes connect parent ::> gpcaDevice to child ::> devOpCmdIn;
+    connection : Composes connect parent ::> gpcaDevice to child ::> devDbIn;
+    connection : Composes connect parent ::> gpcaDevice to child ::> devPresIn;
+    connection : Composes connect parent ::> gpcaDevice to child ::> devPatientIn;
+    connection : Composes connect parent ::> gpcaDevice to child ::> devGpcaOut;
+    connection : Composes connect parent ::> gpcaDeviceSensors to child ::> snsOpCmdIn;
+    connection : Composes connect parent ::> gpcaDeviceSensors to child ::> snsDbIn;
+    connection : Composes connect parent ::> gpcaDeviceSensors to child ::> snsPresIn;
+    connection : Composes connect parent ::> gpcaDeviceSensors to child ::> snsPatientIn;
+    connection : Composes connect parent ::> gpcaDeviceSensors to child ::> snsOpCmdOut;
+    connection : Composes connect parent ::> gpcaDeviceSensors to child ::> snsPresOut;
+    connection : Composes connect parent ::> gpcaDeviceSensors to child ::> snsPatientOut;
+    connection : Composes connect parent ::> gpcaDeviceSensors to child ::> snsSensorOut;
+    connection : Composes connect parent ::> gpcaDeviceSensors to child ::> snsConstOut;
+    connection : Composes connect parent ::> gpcaDeviceSensors to child ::> snsDbOut;
+    connection : Composes connect parent ::> gpcaActuators to child ::> actGpcaSwIn;
+    connection : Composes connect parent ::> gpcaActuators to child ::> actGpcaOut;
+
+    // ── GPCA_Device.Impl connections (GPCA_Device.aadl, 1:1) ──
+    connection : ExchangesWith connect source ::> devOpCmdIn to target ::> snsOpCmdIn;
+    connection : ExchangesWith connect source ::> devDbIn to target ::> snsDbIn;
+    connection : ExchangesWith connect source ::> devPresIn to target ::> snsPresIn;
+    connection : ExchangesWith connect source ::> devPatientIn to target ::> snsPatientIn;
+    connection : ExchangesWith connect source ::> snsOpCmdOut to target ::> portOpCmdIn;
+    connection : ExchangesWith connect source ::> snsPresOut to target ::> portPresIn;
+    connection : ExchangesWith connect source ::> snsPatientOut to target ::> portPatientIn;
+    connection : ExchangesWith connect source ::> snsSensorOut to target ::> portSensorIn;
+    connection : ExchangesWith connect source ::> snsConstOut to target ::> portConstIn;
+    connection : ExchangesWith connect source ::> snsDbOut to target ::> portDbIn;
+    connection : ExchangesWith connect source ::> portGpcaSwOut to target ::> actGpcaSwIn;
+    connection : ExchangesWith connect source ::> actGpcaOut to target ::> devGpcaOut;
 
     // ── Risk chains (ISO 14971, GIIP causal-tree structure) ─────
     // Categorized causes converge on each hazard (GIIP Tables 2-9

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_catalog_gpca_verification {
+package memo_examples_gpca_pump_gpca_verification {
     private import ScalarValues::*;
 
     private import memo_assurance_verification_validation::*;

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

@@ -0,0 +1,21 @@
+// 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;
+    }
+}

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;

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;

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";

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;

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_document_architecture_description_view {
+package memo_examples_gpca_pump_viewpoints_logical_views_document_architecture_description_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -8,22 +8,22 @@ package memo_examples_gpca_pump_model_views_document_architecture_description_vi
     private import memo_core_enumerations::*;
 
     view architectureDescriptionView : MemoDocumentView {
-        expose memo_examples_gpca_pump_model_views_document_architecture_description_view::*;
+        expose memo_examples_gpca_pump_viewpoints_logical_views_document_architecture_description_view::*;
         attribute :>> id = "DOC-005";
         attribute :>> name = "ArchitectureDescriptionView";
         attribute :>> title = "GPCA System Architecture Description View";
         attribute :>> shortDescription = "ISO/IEC/IEEE 42010 architecture description across all layers.";
-        attribute :>> longDescription = "Aggregates context, operational, functional, logical, software, and physical layers with their views and correspondences for the system architecture description.";
+        attribute :>> description = "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;
+        attribute :>> viewKind = DocumentViewKind::architectureDescription;
         attribute :>> generationRule = "Include all architecture layers, functional chains, interfaces, and the physical BOM with cross-layer allocations";
         attribute :>> marketScope = "generic";
         attribute :>> documentUsage = ("Architecture Description", "DHF");
         attribute :>> sectionIdentifier = "AD";
-        part :>> viewpointDefinition = logicalArchitectureViewpoint;
-        part :>> viewpointDefinition = softwareViewpoint;
-        part :>> viewpointDefinition = physicalViewpoint;
+        part vpLogicalArchitecture :> viewpointDefinition = logicalArchitectureViewpoint;
+        part vpSoftware :> viewpointDefinition = softwareViewpoint;
+        part vpPhysical :> viewpointDefinition = physicalViewpoint;
         part :>> selectionQuery {
             attribute :>> id = "QRY-DOC-005";
             attribute :>> name = "architectureDescriptionViewQuery";

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_logical_device_interconnect_view {
+package memo_examples_gpca_pump_viewpoints_logical_views_logical_device_interconnect_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,13 +14,13 @@ package memo_examples_gpca_pump_model_views_logical_device_interconnect_view {
     private import memo_core_enumerations::*;
 
     view gpcaDeviceInterconnectView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_logical_device_interconnect_view::*;
+        expose memo_examples_gpca_pump_viewpoints_logical_views_logical_device_interconnect_view::*;
         attribute depth = 2;
         attribute :>> id = "VIEW-LOG-003";
         attribute :>> name = "GPCA_DeviceInterconnectView";
         attribute :>> title = "GPCA Device Interconnect View";
-        attribute :>> shortDescription = "Device-level interconnection: hardware assemblies wired to the software system's boundary ports.";
-        attribute :>> longDescription = "Interconnection-kind view of the GPCA device per GPCA_Device.aadl: sensor and actuator assemblies, the GPCA software system with its seven AADL boundary ports (OP_CMD_IN, PRES_IN, PATIENT_IN, SENSOR_IN, CONST_IN, DB_IN, GPCA_SW_OUT) pinned on its boundary, the eight software subcomponents nested inside, and the ExchangesWith connection topology (device-boundary CE-001..004 plus the GPCA_SW.Impl internal connections). Rendered through the KK-3 Interconnection view template.";
+        attribute :>> 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.";
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::internalDiagram);
         attribute :>> viewKind = DiagramViewKind::interconnection;
@@ -32,7 +32,7 @@ package memo_examples_gpca_pump_model_views_logical_device_interconnect_view {
         part :>> selectionQuery {
             attribute :>> id = "QRY-LOG-003";
             attribute :>> name = "GPCA_DeviceInterconnectQuery";
-            attribute :>> includeElementKinds = ("HardwareAssembly", "SoftwareSystem", "SoftwareModule", "SoftwarePort");
+            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 = ("ExchangesWith", "Composes");
             attribute :>> includeLayers = ("logical_structure", "software_structure", "interfaces");
             attribute :>> selectionExpression = "product == 'GPCA'";

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_logical_logical_architecture_view {
+package memo_examples_gpca_pump_viewpoints_logical_views_logical_logical_architecture_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,13 +14,13 @@ package memo_examples_gpca_pump_model_views_logical_logical_architecture_view {
     private import memo_core_enumerations::*;
 
     view gpcaLogicalArchitectureView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_logical_logical_architecture_view::*;
+        expose memo_examples_gpca_pump_viewpoints_logical_views_logical_logical_architecture_view::*;
         attribute depth = 2;
         attribute :>> id = "VIEW-LOG-001";
         attribute :>> name = "GPCA_LogicalArchitectureView";
         attribute :>> title = "GPCA Logical Architecture View";
         attribute :>> shortDescription = "Logical decomposition of the GPCA system.";
-        attribute :>> longDescription = "Product-specific logical architecture view that references the default logical architecture viewpoint and is intended for design description and architecture communication.";
+        attribute :>> description = "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;

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_logical_mode_state_view {
+package memo_examples_gpca_pump_viewpoints_logical_views_logical_mode_state_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,13 +14,13 @@ package memo_examples_gpca_pump_model_views_logical_mode_state_view {
     private import memo_core_enumerations::*;
 
     view gpcaModeStateView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_logical_mode_state_view::*;
+        expose memo_examples_gpca_pump_viewpoints_logical_views_logical_mode_state_view::*;
         attribute depth = 2;
         attribute :>> id = "VIEW-BHV-001";
         attribute :>> name = "GPCA_ModeStateView";
         attribute :>> title = "GPCA Top-Level Mode State View";
         attribute :>> shortDescription = "The CriSys Fig 4.1 mode hierarchy (OFF, ON, IDLE, THERAPY, PAUSED, ACTIVE, BASAL, SQUARE_BOLUS, PATIENT_BOLUS) and all guarded transitions.";
-        attribute :>> longDescription = "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 :>> 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.";
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::stateDiagram);
         attribute :>> viewKind = DiagramViewKind::statetransition;

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_logical_system_decomposition_view {
+package memo_examples_gpca_pump_viewpoints_logical_views_logical_system_decomposition_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,13 +14,13 @@ package memo_examples_gpca_pump_model_views_logical_system_decomposition_view {
     private import memo_core_enumerations::*;
 
     view gpcaSystemDecompositionView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_logical_system_decomposition_view::*;
+        expose memo_examples_gpca_pump_viewpoints_logical_views_logical_system_decomposition_view::*;
         attribute depth = 2;
         attribute :>> id = "VIEW-LOG-002";
         attribute :>> name = "GPCA_SystemDecompositionView";
         attribute :>> title = "GPCA System Decomposition View";
         attribute :>> shortDescription = "Nested containment of the GPCA device: hardware assemblies and the software system.";
-        attribute :>> longDescription = "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 :>> 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).";
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
         attribute :>> viewKind = DiagramViewKind::general;

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

@@ -0,0 +1,8 @@
+// operational 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_operational {
+    public import memo_viewpoints_operational_operational_viewpoint::*;
+}

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_operational_scenario_sequence_view {
+package memo_examples_gpca_pump_viewpoints_operational_views_operational_scenario_sequence_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,7 +14,7 @@ package memo_examples_gpca_pump_model_views_operational_scenario_sequence_view {
     private import memo_core_enumerations::*;
 
     view gpcaScenarioSequenceView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_operational_scenario_sequence_view::*;
+        expose memo_examples_gpca_pump_viewpoints_operational_views_operational_scenario_sequence_view::*;
         attribute depth = 2;
         attribute :>> id = "VIEW-BHV-002";
         attribute :>> name = "GPCA_ScenarioSequenceView";

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_operational_use_case_view {
+package memo_examples_gpca_pump_viewpoints_operational_views_operational_use_case_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,13 +14,13 @@ package memo_examples_gpca_pump_model_views_operational_use_case_view {
     private import memo_core_enumerations::*;
 
     view gpcaUseCaseView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_operational_use_case_view::*;
+        expose memo_examples_gpca_pump_viewpoints_operational_views_operational_use_case_view::*;
         attribute depth = 2;
         attribute :>> id = "VIEW-OPS-101";
         attribute :>> name = "GPCA_UseCaseView";
         attribute :>> title = "GPCA Use Case View";
         attribute :>> shortDescription = "Actors connected to the patient-controlled analgesia use case.";
-        attribute :>> longDescription = "Connects the nurse, patient, prescriber, and pharmacist to the patient-controlled analgesia use case.";
+        attribute :>> description = "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;

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

@@ -0,0 +1,8 @@
+// physical 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_physical {
+    public import memo_viewpoints_physical_physical_viewpoint::*;
+}

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_physical_physical_bom_view {
+package memo_examples_gpca_pump_viewpoints_physical_views_physical_physical_bom_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -14,7 +14,7 @@ package memo_examples_gpca_pump_model_views_physical_physical_bom_view {
     private import memo_core_enumerations::*;
 
     view gpcaPhysicalBomView : MemoDiagramView {
-        expose memo_examples_gpca_pump_model_views_physical_physical_bom_view::*;
+        expose memo_examples_gpca_pump_viewpoints_physical_views_physical_physical_bom_view::*;
         attribute depth = 2;
         attribute :>> id = "VIEW-PHY-101";
         attribute :>> name = "GPCA_PhysicalBomView";

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

@@ -0,0 +1,8 @@
+// requirements 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_requirements {
+    public import memo_viewpoints_requirements_requirements_viewpoint::*;
+}

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

@@ -1,4 +1,4 @@
-package memo_examples_gpca_pump_model_views_document_dhf_index_view {
+package memo_examples_gpca_pump_viewpoints_requirements_views_document_dhf_index_view {
     private import ScalarValues::*;
 
     private import memo_viewpoints_definitions::*;
@@ -8,12 +8,12 @@ package memo_examples_gpca_pump_model_views_document_dhf_index_view {
     private import memo_core_enumerations::*;
 
     view dhfIndexView : MemoDocumentView {
-        expose memo_examples_gpca_pump_model_views_document_dhf_index_view::*;
+        expose memo_examples_gpca_pump_viewpoints_requirements_views_document_dhf_index_view::*;
         attribute :>> id = "DOC-007";
         attribute :>> name = "DesignHistoryFileIndexView";
         attribute :>> title = "GPCA Design History File Index View";
         attribute :>> shortDescription = "Index of design inputs, outputs, reviews, and V&V records for the DHF.";
-        attribute :>> longDescription = "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 :>> 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).";
         attribute :>> version = "0.1";
         attribute :>> lifecycleState = LifecycleStateKind::development;
         attribute :>> viewKind = DocumentViewKind::DHF;
@@ -21,9 +21,9 @@ package memo_examples_gpca_pump_model_views_document_dhf_index_view {
         attribute :>> marketScope = "generic";
         attribute :>> documentUsage = ("DHF");
         attribute :>> sectionIdentifier = "DHF";
-        part :>> viewpointDefinition = requirementsViewpoint;
-        part :>> viewpointDefinition = riskViewpoint;
-        part :>> viewpointDefinition = verificationViewpoint;
+        part vpRequirements :> viewpointDefinition = requirementsViewpoint;
+        part vpRisk :> viewpointDefinition = riskViewpoint;
+        part vpVerification :> viewpointDefinition = verificationViewpoint;
         part :>> selectionQuery {
             attribute :>> id = "QRY-DOC-007";
             attribute :>> name = "dhfIndexViewQuery";