@memoarchitect/ontology 0.4.6 → 0.6.0

package/src/viewpoints/catalog/memo_viewpoint_catalog.sysml

@@ -0,0 +1,189 @@
+// Ontology-level viewpoint catalog (§22). Rendering-independent: each
+// viewpoint states the concern it frames and the SysML v2 standard view kind
+// it resolves to (general | interconnection | actionflow | statetransition |
+// sequence | grid | browser | geometry). No renderer semantics here.
+package memo_viewpoints_catalog {
+    private import ScalarValues::*;
+
+    private import memo_core_common::*;
+    private import memo_core_enumerations::*;
+    private import memo_viewpoints_definitions::*;
+
+    // A cataloged viewpoint: the Viewpoint descriptor plus its default
+    // resolution to a standard SysML v2 view kind.
+
+    // ── Content and context ─────────────────────────────────────
+    part vpModelContent : Viewpoint {
+        attribute :>> id = "VP-CAT-001"; attribute :>> name = "ModelContentViewpoint";
+        attribute :>> purpose = "Browse the model tree and package structure.";
+        attribute :>> defaultViewKind = DiagramViewKind::browser;
+    }
+    part vpSystemContext : Viewpoint {
+        attribute :>> id = "VP-CAT-002"; attribute :>> name = "SystemContextViewpoint";
+        attribute :>> purpose = "System of interest, actors, external systems, and context exchanges.";
+        attribute :>> defaultViewKind = DiagramViewKind::general;
+    }
+    // ── Operational world ───────────────────────────────────────
+    part vpUseCase : Viewpoint {
+        attribute :>> id = "VP-CAT-003"; attribute :>> name = "UseCaseViewpoint";
+        attribute :>> purpose = "Use cases, initiating users, supporting actors, and motivating needs.";
+        attribute :>> defaultViewKind = DiagramViewKind::general;
+    }
+    part vpClinicalWorkflow : Viewpoint {
+        attribute :>> id = "VP-CAT-004"; attribute :>> name = "ClinicalWorkflowViewpoint";
+        attribute :>> purpose = "Workflow steps, decisions, parallel work, handoffs, and roles.";
+        attribute :>> defaultViewKind = DiagramViewKind::actionflow;
+    }
+    part vpOperativeScenario : Viewpoint {
+        attribute :>> id = "VP-CAT-005"; attribute :>> name = "OperativeScenarioViewpoint";
+        attribute :>> purpose = "Selected paths through workflows: variants, conditions, variation points.";
+        attribute :>> defaultViewKind = DiagramViewKind::actionflow;
+    }
+    // ── Functional ──────────────────────────────────────────────
+    part vpFunctionalArchitecture : Viewpoint {
+        attribute :>> id = "VP-CAT-006"; attribute :>> name = "FunctionalArchitectureViewpoint";
+        attribute :>> purpose = "System functions, capabilities, and functional exchanges.";
+        attribute :>> defaultViewKind = DiagramViewKind::general;
+    }
+    part vpFunctionalFlow : Viewpoint {
+        attribute :>> id = "VP-CAT-007"; attribute :>> name = "FunctionalFlowViewpoint";
+        attribute :>> purpose = "Ordered functional flows and their steps.";
+        attribute :>> defaultViewKind = DiagramViewKind::actionflow;
+    }
+    // ── Logical ─────────────────────────────────────────────────
+    part vpLogicalArchitecture : Viewpoint {
+        attribute :>> id = "VP-CAT-008"; attribute :>> name = "LogicalArchitectureViewpoint";
+        attribute :>> purpose = "Logical components, channels, and allocations.";
+        attribute :>> defaultViewKind = DiagramViewKind::general;
+    }
+    part vpSystemDecomposition : Viewpoint {
+        attribute :>> id = "VP-CAT-009"; attribute :>> name = "SystemDecompositionViewpoint";
+        attribute :>> purpose = "Composition hierarchy of the system of interest.";
+        attribute :>> defaultViewKind = DiagramViewKind::browser;
+    }
+    part vpInternalInterconnection : Viewpoint {
+        attribute :>> id = "VP-CAT-010"; attribute :>> name = "InternalInterconnectionViewpoint";
+        attribute :>> purpose = "Ports, connectors, and exchanges inside a component boundary.";
+        attribute :>> defaultViewKind = DiagramViewKind::interconnection;
+    }
+    // ── Implementation ──────────────────────────────────────────
+    part vpSoftwareModule : Viewpoint {
+        attribute :>> id = "VP-CAT-011"; attribute :>> name = "SoftwareModuleViewpoint";
+        attribute :>> purpose = "IEC 62304 module structure: systems, items, units, SOUP.";
+        attribute :>> defaultViewKind = DiagramViewKind::general;
+    }
+    part vpSoftwareComponents : Viewpoint {
+        attribute :>> id = "VP-CAT-012"; attribute :>> name = "SoftwareComponentViewpoint";
+        attribute :>> purpose = "Runtime component-and-connector structure with concurrency and scheduling.";
+        attribute :>> defaultViewKind = DiagramViewKind::interconnection;
+    }
+    part vpHardwareArchitecture : Viewpoint {
+        attribute :>> id = "VP-CAT-013"; attribute :>> name = "HardwareArchitectureViewpoint";
+        attribute :>> purpose = "Electronic/electrical structure and processing platform.";
+        attribute :>> defaultViewKind = DiagramViewKind::general;
+    }
+    part vpPhysicalArchitecture : Viewpoint {
+        attribute :>> id = "VP-CAT-014"; attribute :>> name = "PhysicalArchitectureViewpoint";
+        attribute :>> purpose = "Mechanical, fluidic, optical, and other physical realization.";
+        attribute :>> defaultViewKind = DiagramViewKind::general;
+    }
+    part vpDeviceComposition : Viewpoint {
+        attribute :>> id = "VP-CAT-015"; attribute :>> name = "DeviceCompositionViewpoint";
+        attribute :>> purpose = "Device definitions, instances, accessories, and consumables.";
+        attribute :>> defaultViewKind = DiagramViewKind::browser;
+    }
+    part vpNetworkDeployment : Viewpoint {
+        attribute :>> id = "VP-CAT-016"; attribute :>> name = "NetworkDeploymentViewpoint";
+        attribute :>> purpose = "Deployment units on processing nodes and network topology.";
+        attribute :>> defaultViewKind = DiagramViewKind::interconnection;
+    }
+    // ── Interaction and behavior ────────────────────────────────
+    part vpUiFlow : Viewpoint {
+        attribute :>> id = "VP-CAT-017"; attribute :>> name = "UiFlowViewpoint";
+        attribute :>> purpose = "Interaction flows, UI states, and transitions.";
+        attribute :>> defaultViewKind = DiagramViewKind::statetransition;
+    }
+    part vpStateMode : Viewpoint {
+        attribute :>> id = "VP-CAT-018"; attribute :>> name = "StateModeViewpoint";
+        attribute :>> purpose = "System states, device modes, and transitions.";
+        attribute :>> defaultViewKind = DiagramViewKind::statetransition;
+    }
+    part vpSequenceInteraction : Viewpoint {
+        attribute :>> id = "VP-CAT-019"; attribute :>> name = "SequenceInteractionViewpoint";
+        attribute :>> purpose = "Ordered message exchanges between participants in a scenario.";
+        attribute :>> defaultViewKind = DiagramViewKind::sequence;
+    }
+    // ── Assurance ───────────────────────────────────────────────
+    part vpRequirementsTraceability : Viewpoint {
+        attribute :>> id = "VP-CAT-020"; attribute :>> name = "RequirementsTraceabilityViewpoint";
+        attribute :>> purpose = "Needs → requirements → architecture → verification trace matrix.";
+        attribute :>> defaultViewKind = DiagramViewKind::grid;
+    }
+    part vpRiskChain : Viewpoint {
+        attribute :>> id = "VP-CAT-021"; attribute :>> name = "RiskChainViewpoint";
+        attribute :>> purpose = "ISO 14971 chain: hazard → hazardous situation → harm with controls.";
+        attribute :>> defaultViewKind = DiagramViewKind::general;
+    }
+    part vpCybersecurity : Viewpoint {
+        attribute :>> id = "VP-CAT-022"; attribute :>> name = "CybersecurityViewpoint";
+        attribute :>> purpose = "Assets, threats, trust boundaries, and security controls.";
+        attribute :>> defaultViewKind = DiagramViewKind::general;
+    }
+    part vpHumanFactors : Viewpoint {
+        attribute :>> id = "VP-CAT-023"; attribute :>> name = "HumanFactorsViewpoint";
+        attribute :>> purpose = "Users, tasks, use errors, and hazard-related use scenarios.";
+        attribute :>> defaultViewKind = DiagramViewKind::grid;
+    }
+    part vpVerificationCoverage : Viewpoint {
+        attribute :>> id = "VP-CAT-024"; attribute :>> name = "VerificationCoverageViewpoint";
+        attribute :>> purpose = "Verification cases against requirements and functions.";
+        attribute :>> defaultViewKind = DiagramViewKind::grid;
+    }
+    part vpValidationCoverage : Viewpoint {
+        attribute :>> id = "VP-CAT-025"; attribute :>> name = "ValidationCoverageViewpoint";
+        attribute :>> purpose = "Validation cases against use cases and critical tasks.";
+        attribute :>> defaultViewKind = DiagramViewKind::grid;
+    }
+    part vpEvidenceTraceability : Viewpoint {
+        attribute :>> id = "VP-CAT-026"; attribute :>> name = "EvidenceTraceabilityViewpoint";
+        attribute :>> purpose = "Evidence records back to the cases and elements they support.";
+        attribute :>> defaultViewKind = DiagramViewKind::grid;
+    }
+    // A software sequence diagram is a VIEW conforming to this viewpoint
+    // (ISO/IEC/IEEE 42010): it frames the runtime message ordering between
+    // SoftwareComponents realizing a FunctionalScenario. The viewpoint is the
+    // reusable spec; the diagram of a specific model is the view.
+    part vpSoftwareSequence : Viewpoint {
+        attribute :>> id = "VP-CAT-027"; attribute :>> name = "SoftwareSequenceViewpoint";
+        attribute :>> purpose = "Runtime message ordering between software components along a functional scenario.";
+        attribute :>> defaultViewKind = DiagramViewKind::sequence;
+    }
+
+    // ── Compatibility mappings (§22): legacy diagram intents resolve to
+    //     standard view kinds; C4 and AADL stay in examples/ mappings. ──
+    part def DiagramIntentMapping specializes MemoPart {
+        attribute legacyIntent : String;
+        attribute resolvesTo : DiagramViewKind;
+    }
+    part mapBdd : DiagramIntentMapping {
+        attribute :>> legacyIntent = "BDD"; attribute :>> resolvesTo = DiagramViewKind::general;
+    }
+    part mapIbd : DiagramIntentMapping {
+        attribute :>> legacyIntent = "IBD"; attribute :>> resolvesTo = DiagramViewKind::interconnection;
+    }
+    part mapActivity : DiagramIntentMapping {
+        attribute :>> legacyIntent = "activity/operational/functional flow"; attribute :>> resolvesTo = DiagramViewKind::actionflow;
+    }
+    part mapStateMachine : DiagramIntentMapping {
+        attribute :>> legacyIntent = "state machine"; attribute :>> resolvesTo = DiagramViewKind::statetransition;
+    }
+    part mapSequence : DiagramIntentMapping {
+        attribute :>> legacyIntent = "sequence"; attribute :>> resolvesTo = DiagramViewKind::sequence;
+    }
+    part mapAllocationMatrix : DiagramIntentMapping {
+        attribute :>> legacyIntent = "allocation/traceability/FMEA"; attribute :>> resolvesTo = DiagramViewKind::grid;
+    }
+    part mapHierarchy : DiagramIntentMapping {
+        attribute :>> legacyIntent = "hierarchy/content"; attribute :>> resolvesTo = DiagramViewKind::browser;
+    }
+}

package/src/viewpoints/clinical/clinical_viewpoint.sysml

@@ -19,7 +19,6 @@ package memo_viewpoints_clinical_clinical_viewpoint {
         attribute :>> concernKinds = (ConcernKind::safety, ConcernKind::clinical);
         attribute :>> includedLayers = ("context", "assurance");
         attribute :>> allowedElementKinds = ("Actor", "UseContext", "Evidence");
-        attribute :>> methodologyReference = ("default-layer-viewpoint");
         attribute :>> userExtensible = true;
     }
 }

package/src/viewpoints/context/context_viewpoint.sysml

@@ -18,8 +18,7 @@ package memo_viewpoints_context_context_viewpoint {
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
         attribute :>> concernKinds = (ConcernKind::safety, ConcernKind::interoperability);
         attribute :>> includedLayers = ("context");
-        attribute :>> allowedElementKinds = ("Actor", "UseContext", "IntendedUse", "OperationalEntity", "TrustBoundary", "LogicalComponent");
-        attribute :>> methodologyReference = ("default-layer-viewpoint");
+        attribute :>> allowedElementKinds = ("Actor", "UseContext", "IntendedUse", "ReasonablyForeseeableMisuse", "OperationalEntity", "TrustBoundary", "LogicalComponent");
         attribute :>> userExtensible = true;
     }
 }

package/src/viewpoints/cybersecurity/cybersecurity_viewpoint.sysml

@@ -19,8 +19,7 @@ package memo_viewpoints_cybersecurity_cybersecurity_viewpoint {
         attribute :>> concernKinds = (ConcernKind::cybersecurity, ConcernKind::privacy, ConcernKind::safety);
         attribute :>> includedLayers = ("cybersecurity", "software_structure", "hardware_structure", "interfaces", "risk", "assurance");
         attribute :>> allowedElementKinds = ("CybersecurityAsset", "Threat", "Vulnerability", "CyberHazard", "CyberRisk", "CyberMitigation", "SecurityRequirement", "TrustBoundary", "ThreatScenario");
-        attribute :>> allowedRelationshipKinds = ("ThreatenedBy", "Exploits", "RealizedByScenario", "MitigatesVulnerability", "DerivesCyberRequirement", "ImpactsSafety", "CrossesTrustBoundary");
-        attribute :>> methodologyReference = ("stride-default", "fda-cybersecurity-default");
+        attribute :>> allowedRelationshipKinds = ("ThreatenedBy", "Exploits", "RealizedByScenario", "Mitigates", "DerivesCyberRequirement", "ImpactsSafety", "CrossesTrustBoundary");
         attribute :>> documentUsage = ("Secure Product Development", "Threat Model", "Cybersecurity Risk Assessment", "QMSR");
         attribute :>> userExtensible = true;
     }

package/src/viewpoints/definitions/memo_viewpoint_definitions.sysml

@@ -17,19 +17,20 @@ package memo_viewpoints_definitions {
         attribute allowedElementKinds : String[*];
         attribute allowedRelationshipKinds : String[*];
         attribute filterExpression : String;
-        attribute methodologyReference : String[*];
         attribute extendsViewpointIds : String[*];
         attribute userExtensible : Boolean;
+        // default diagram kind for a catalog viewpoint (optional)
+        attribute defaultViewKind : DiagramViewKind[0..1];
     }
 
-    part def ViewRule specializes TraceableElement {
+    part def ViewRule specializes MemoPart {
         attribute elementTypeName : String;
         attribute relationTypeName : String;
         attribute strength : RuleStrengthKind;
         attribute rationaleText : String;
     }
 
-    part def ViewSelectionQuery specializes TraceableElement {
+    part def ViewSelectionQuery specializes MemoPart {
         attribute includeElementKinds : String[*];
         attribute includeRelationshipKinds : String[*];
         attribute includeLayers : String[*];
@@ -47,9 +48,9 @@ package memo_viewpoints_definitions {
         attribute dataSourceDescription : String;
         attribute autoPopulate : Boolean;
         part viewpointDefinition : Viewpoint;
-        ref subjectElement : TraceableElement[*];
-        ref exposesElement : TraceableElement[*];
-        ref exposesRelationship : SemanticLink[*];
+        ref subjectElement : MemoPart[*];
+        ref exposesElement : MemoPart[*];
+        ref exposesRelationship : MemoRelationship[*];
         part selectionQuery : ViewSelectionQuery[*];
     }
 
@@ -62,7 +63,6 @@ package memo_viewpoints_definitions {
 
     view def MemoDocumentBackedView :> MemoView {
         attribute version : String;
-        attribute lifecycleState : LifecycleStateKind;
         attribute generationRule : String;
         attribute marketScope : String;
     }
@@ -71,7 +71,7 @@ package memo_viewpoints_definitions {
         attribute viewKind : DocumentViewKind;
     }
 
-    part def ViewInclusionRule specializes TraceableElement {
+    part def ViewInclusionRule specializes MemoPart {
         attribute includeElementKinds : String[*];
         attribute includeRelationshipKinds : String[*];
         attribute includeLayers : String[*];

package/src/viewpoints/functional/{function_allocation_view.sysml → function_allocation_view/function_allocation_view.sysml}

@@ -20,7 +20,7 @@ package memo_viewpoints_functional_function_allocation_view {
     part :>> selectionQuery {
         attribute :>> id = "QRY-FUNC-002";
         attribute :>> name = "FunctionAllocationQuery";
-        attribute :>> includeElementKinds = ("LogicalFunction", "LogicalComponent");
+        attribute :>> includeElementKinds = ("SystemFunction", "LogicalComponent");
         attribute :>> includeLayers = ("functions", "logical_structure");
         attribute :>> rationaleText = "Auto-populate function-to-component allocation from the functions and logical structure layers.";
     }

package/src/viewpoints/functional/functional_viewpoint.sysml

@@ -17,9 +17,8 @@ package memo_viewpoints_functional_functional_viewpoint {
         attribute :>> outputKind = (ViewOutputKind::diagram);
         attribute :>> presentationKind = (PresentationKind::activityDiagram);
         attribute :>> concernKinds = (ConcernKind::safety, ConcernKind::performance);
-        attribute :>> includedLayers = ("functions", "behavior");
-        attribute :>> allowedElementKinds = ("LogicalFunction", "LogicalFlow", "ModeState");
-        attribute :>> methodologyReference = ("default-layer-viewpoint");
+        attribute :>> includedLayers = ("functions");
+        attribute :>> allowedElementKinds = ("SystemFunction", "FunctionalFlow", "FunctionalFlowStep", "FunctionalScenario", "FunctionalExchange");
         attribute :>> userExtensible = true;
     }
 }

package/src/viewpoints/functional/{system_functional_tree_view.sysml → system_functional_tree_view/system_functional_tree_view.sysml}

@@ -20,7 +20,7 @@ package memo_viewpoints_functional_system_functional_tree_view {
     part :>> selectionQuery {
         attribute :>> id = "QRY-FUNC-001";
         attribute :>> name = "SystemFunctionalTreeQuery";
-        attribute :>> includeElementKinds = ("LogicalFunction");
+        attribute :>> includeElementKinds = ("SystemFunction");
         attribute :>> includeLayers = ("functions");
         attribute :>> rationaleText = "Auto-populate the functional tree from the functions layer.";
     }

package/src/viewpoints/logical/logical_viewpoint.sysml

@@ -19,7 +19,6 @@ package memo_viewpoints_logical_logical_viewpoint {
         attribute :>> concernKinds = (ConcernKind::safety, ConcernKind::performance);
         attribute :>> includedLayers = ("logical_structure", "interfaces");
         attribute :>> allowedElementKinds = ("LogicalComponent", "Interface");
-        attribute :>> methodologyReference = ("default-layer-viewpoint");
         attribute :>> userExtensible = true;
     }
 }

package/src/viewpoints/operational/operational_viewpoint.sysml

@@ -18,8 +18,7 @@ package memo_viewpoints_operational_operational_viewpoint {
         attribute :>> presentationKind = (PresentationKind::custom);
         attribute :>> concernKinds = (ConcernKind::performance, ConcernKind::interoperability);
         attribute :>> includedLayers = ("context", "operational", "system");
-        attribute :>> allowedElementKinds = ("Actor", "UseContext", "OperationalActivity", "OperationalScenario", "SystemCapability", "FunctionalChain");
-        attribute :>> methodologyReference = ("default-layer-viewpoint");
+        attribute :>> allowedElementKinds = ("Actor", "UseContext", "OperationalActivity", "OperativeScenario");
         attribute :>> userExtensible = true;
     }
 }

package/src/viewpoints/operational/{use_case_view.sysml → use_case_view/use_case_view.sysml}

@@ -20,7 +20,7 @@ package memo_viewpoints_operational_use_case_view {
     part :>> selectionQuery {
         attribute :>> id = "QRY-OPS-001";
         attribute :>> name = "UseCaseQuery";
-        attribute :>> includeElementKinds = ("Actor", "UseContext", "OperationalScenario");
+        attribute :>> includeElementKinds = ("Actor", "UseContext", "OperativeScenario");
         attribute :>> includeLayers = ("context", "operational");
         attribute :>> rationaleText = "Auto-populate the use case view from the context and operational layers.";
     }

package/src/viewpoints/physical/physical_viewpoint.sysml

@@ -19,7 +19,6 @@ package memo_viewpoints_physical_physical_viewpoint {
         attribute :>> concernKinds = (ConcernKind::reliability, ConcernKind::interoperability);
         attribute :>> includedLayers = ("hardware_structure", "physical");
         attribute :>> allowedElementKinds = ("ProcessingNode", "HardwareAssembly", "PhysicalPort");
-        attribute :>> methodologyReference = ("default-layer-viewpoint");
         attribute :>> userExtensible = true;
     }
 }

package/src/viewpoints/requirements/{requirements_traceability_view.sysml → requirements_traceability_view/requirements_traceability_view.sysml}

@@ -20,7 +20,7 @@ package memo_viewpoints_requirements_requirements_traceability_view {
     part :>> selectionQuery {
         attribute :>> id = "QRY-REQ-001";
         attribute :>> name = "RequirementsTraceabilityQuery";
-        attribute :>> includeElementKinds = ("StakeholderNeed", "Requirement", "SystemRequirement", "SoftwareRequirement", "HardwareRequirement");
+        attribute :>> includeElementKinds = ("Need", "Requirement");
         attribute :>> includeLayers = ("requirements");
         attribute :>> rationaleText = "Auto-populate requirements traceability from the requirements layer.";
     }

package/src/viewpoints/requirements/requirements_viewpoint.sysml

@@ -18,8 +18,7 @@ package memo_viewpoints_requirements_requirements_viewpoint {
         attribute :>> presentationKind = (PresentationKind::traceMatrix);
         attribute :>> concernKinds = (ConcernKind::regulatory, ConcernKind::safety);
         attribute :>> includedLayers = ("requirements");
-        attribute :>> allowedElementKinds = ("StakeholderNeed", "Requirement", "SystemRequirement", "SoftwareRequirement", "HardwareRequirement");
-        attribute :>> methodologyReference = ("default-layer-viewpoint");
+        attribute :>> allowedElementKinds = ("Need", "Requirement");
         attribute :>> userExtensible = true;
     }
 }

package/src/viewpoints/risk/{risk_chain_view.sysml → risk_chain_view/risk_chain_view.sysml}

@@ -16,11 +16,11 @@ package memo_viewpoints_risk_risk_chain_view {
     attribute :>> presentationKind = (PresentationKind::riskTable);
     attribute :>> diagramType = "risk";
     attribute :>> autoPopulate = true;
-    attribute :>> queryDescription = "Include hazards, hazardous situations, harms, controls, and verification evidence.";
+    attribute :>> queryDescription = "Include the explicit ISO 14971 chain, risk controls, residual risks, benefits, and verification evidence.";
     part :>> selectionQuery {
         attribute :>> id = "QRY-RISK-001";
         attribute :>> name = "RiskChainQuery";
-        attribute :>> includeElementKinds = ("Hazard", "HazardousSituation", "Harm", "RiskControl", "VerificationCase");
+        attribute :>> includeElementKinds = ("SafetyRelatedCharacteristic", "HazardCause", "Hazard", "SequenceOfEvents", "HazardousSituation", "Harm", "Risk", "RiskControlMeasure", "ResidualRisk", "Benefit", "OverallResidualRiskEvaluation", "VerificationCase");
         attribute :>> includeLayers = ("risk", "assurance");
         attribute :>> includeConcerns = (ConcernKind::safety);
         attribute :>> rationaleText = "Auto-populate the risk chain view from the risk and assurance layers.";

package/src/viewpoints/risk/risk_viewpoint.sysml

@@ -18,8 +18,7 @@ package memo_viewpoints_risk_risk_viewpoint {
         attribute :>> presentationKind = (PresentationKind::riskTable);
         attribute :>> concernKinds = (ConcernKind::safety, ConcernKind::regulatory);
         attribute :>> includedLayers = ("risk", "assurance");
-        attribute :>> allowedElementKinds = ("Hazard", "HazardousSituation", "Harm", "Risk", "RiskControl", "VerificationCase");
-        attribute :>> methodologyReference = ("iso14971-default");
+        attribute :>> allowedElementKinds = ("SafetyRelatedCharacteristic", "HazardCause", "Hazard", "SequenceOfEvents", "HazardousSituation", "Harm", "Risk", "RiskControlMeasure", "ResidualRisk", "Benefit", "OverallResidualRiskEvaluation", "VerificationCase");
         attribute :>> userExtensible = true;
     }
 }

package/src/viewpoints/software/{software_architecture_view.sysml → software_architecture_view/software_architecture_view.sysml}

@@ -20,7 +20,7 @@ package memo_viewpoints_software_software_architecture_view {
     part :>> selectionQuery {
         attribute :>> id = "QRY-SW-001";
         attribute :>> name = "SoftwareArchitectureQuery";
-        attribute :>> includeElementKinds = ("SoftwareSystem", "SoftwareComponent", "SOUPComponent");
+        attribute :>> includeElementKinds = ("SoftwareSystem", "SoftwareModule", "SoftwareModule[moduleKind=soup]");
         attribute :>> includeLayers = ("software_structure");
         attribute :>> rationaleText = "Auto-populate the software architecture view from the software structure layer.";
     }

package/src/viewpoints/software/software_viewpoint.sysml

@@ -18,8 +18,7 @@ package memo_viewpoints_software_software_viewpoint {
         attribute :>> presentationKind = (PresentationKind::blockDiagram);
         attribute :>> concernKinds = (ConcernKind::safety, ConcernKind::reliability);
         attribute :>> includedLayers = ("software_structure", "interfaces");
-        attribute :>> allowedElementKinds = ("SoftwareSystem", "SoftwareComponent", "SOUPComponent", "SoftwareInterface");
-        attribute :>> methodologyReference = ("default-layer-viewpoint");
+        attribute :>> allowedElementKinds = ("SoftwareSystem", "SoftwareModule", "SoftwareModule[moduleKind=soup]", "Interface");
         attribute :>> userExtensible = true;
     }
 }

package/src/viewpoints/usability/usability_viewpoint.sysml

@@ -19,7 +19,6 @@ package memo_viewpoints_usability_usability_viewpoint {
         attribute :>> concernKinds = (ConcernKind::usability, ConcernKind::safety);
         attribute :>> includedLayers = ("context", "requirements");
         attribute :>> allowedElementKinds = ("Actor", "UseContext", "UseError", "Requirement");
-        attribute :>> methodologyReference = ("default-layer-viewpoint");
         attribute :>> userExtensible = true;
     }
 }

package/src/viewpoints/verification/verification_viewpoint.sysml

@@ -19,7 +19,6 @@ package memo_viewpoints_verification_verification_viewpoint {
         attribute :>> concernKinds = (ConcernKind::safety, ConcernKind::regulatory);
         attribute :>> includedLayers = ("requirements", "assurance");
         attribute :>> allowedElementKinds = ("Requirement", "VerificationCase", "ValidationCase", "Evidence", "TestArtifact");
-        attribute :>> methodologyReference = ("default-layer-viewpoint");
         attribute :>> userExtensible = true;
     }
 }

package/template/memo.package.yaml

@@ -1,5 +1,5 @@
 name: "{{name}}"
 version: "0.1.0"
 type: device
-extends: "@memo/medical-modeling-profile"
+extends: "@memoarchitect/medical-modeling-profile"
 description: "MEMO medical device model project"

package/template/src/catalog/starter.sysml

@@ -1,12 +1,12 @@
 package memo_starter_catalog {
-    import memo_medical_device_library::*;
+    private import memo::*;
 
-    part starterSystem : System {
+    part starterSystem : MemoPart {
         attribute redefines name = "{{name}}";
     }
 
     requirement mainRequirement : Requirement {
-        attribute redefines title = "Main system requirement";
+        attribute redefines statement = "TODO: state the first system requirement.";
         doc /* TODO: define the first system requirement. */
     }
 }

package/examples/gpca-pump/model/samples/README.md

@@ -1,24 +0,0 @@
-# Diagram rendering samples
-
-This folder backs MEMO Architect's **Samples** experience with small, disposable
-SysML v2 inputs. Each file exists only to exercise one renderer; together they
-do not describe a product or reference architecture.
-
-## Action Flow samples
-
-| File | Shows |
-|------|-------|
-| `action_flow_view.sysml` | Minimal renderer smoke test — dummy actions, typed item flows, successions, one composite. |
-| `operational_behaviour_view.sysml` | **Operational** behaviour — swimlanes per clinical role (Physician/Nurse/Biomed Tech/Patient), a `fork`/`join` for concurrent prep, and a composite step (`Administer PCA Therapy`) with a drill-in sub-flow. |
-| `functional_flow_view.sysml` | **Functional/component** behaviour — swimlanes per realising component, typed data/energy/material flows, a `fork`/`join` for concurrent occlusion monitoring, and a composite `Deliver Medication` valve sub-flow. |
-
-`fork`/`join` are SysML v2 control nodes: a `fork` splits one control flow into
-concurrent flows, a `join` synchronises them back; the branches are declared by
-the surrounding `first … then …` successions that reference the node by name.
-
-The first rendering milestone covers interconnection, tree, and action flow.
-Run the supported example application from the repository root:
-
-```sh
-pnpm example:dev
-```

package/examples/gpca-pump/model/samples/action_flow_view.viewlayout

@@ -1,9 +0,0 @@
-format: memo.viewlayout/v1
-viewSource: model/samples/action_flow_view.sysml
-layouts:
-  diag-sample-sampleActionFlowView:
-    nodes:
-    nodes: {}
-    edges: {}
-    canvas:
-      autoLayout: true

package/examples/gpca-pump/model/samples/interconnection_view.viewlayout

@@ -1,99 +0,0 @@
-format: memo.viewlayout/v1
-viewSource: model/samples/interconnection_view.sysml
-layouts:
-  diag-sample-sampleInterconnectionView:
-    nodes:
-      coffeeMachine:
-        x: 364
-        y: 0
-        ports:
-          mainsWaterIn:
-            x: -12
-            y: 273
-            side: left
-          beverageOut:
-            x: 1253.1
-            y: 137.70963541666669
-            side: right
-          serviceInterface:
-            x: 1253.1
-            y: 240.73784722222223
-            side: right
-          diagnostics:
-            x: 1253.1
-            y: 380.19422743055554
-            side: right
-      waterTank:
-        x: 128
-        y: 114
-        ports:
-          tankWaterOut:
-            x: 376
-            y: 72
-            side: right
-          tankWaterIn:
-            x: -12
-            y: 72
-            side: left
-      heaterAssembly:
-        x: 570
-        y: 70
-        ports:
-          heaterWaterIn:
-            x: -12
-            y: 116
-            side: left
-          heatedWaterOut:
-            x: 555.1
-            y: 116
-            side: right
-      heatingElement:
-        x: 128
-        y: 70
-        ports:
-          heaterStatusOut:
-            x: 299.1
-            y: 72
-            side: right
-      brewGroup:
-        x: 659.55
-        y: 384
-        ports:
-          brewWaterIn:
-            x: -12
-            y: 72
-            side: left
-          brewedCoffeeOut:
-            x: 376
-            y: 72
-            side: right
-      waterSupply:
-        x: 0
-        y: 201
-        ports:
-          supplyWaterOut:
-            x: 262
-            y: 72
-            side: right
-      cup:
-        x: 1719.1
-        y: 5
-        ports:
-          cupBeverageIn:
-            x: -12
-            y: 72
-            side: left
-    edges:
-      rel-683: {}
-      rel-684: {}
-      rel-685: {}
-      rel-686: {}
-      rel-687: {}
-      rel-688: {}
-      rel-689: {}
-    canvas:
-      autoLayout: false
-      zoom: 0.72
-      pan:
-        x: -201.51599999999996
-        y: 59.80000000000001

package/src/architecture/assurance/memo_assurance.sysml

@@ -1,29 +0,0 @@
-package memo_architecture_assurance {
-    private import ScalarValues::*;
-
-    private import memo_core_common::*;
-    private import memo_core_enumerations::*;
-    part def VerificationCase specializes VerifiableElement {
-        attribute methodKind : VerificationMethodKind;
-        attribute acceptanceCriteria : String;
-        attribute status : String;
-    }
-    part def ValidationCase specializes VerifiableElement {
-        attribute validationMethod : ValidationMethodKind;
-        attribute userParticipation : String;
-        attribute acceptanceCriteria : String;
-        attribute clinicalContext : String;
-    }
-    part def TestArtifact specializes EvidenceElement {
-        attribute version : String;
-        attribute lifecycleState : LifecycleStateKind;
-        attribute artifactKind : ArtifactKind;
-        attribute resultSummary : String;
-    }
-    part def Evidence specializes EvidenceElement {
-        attribute version : String;
-        attribute lifecycleState : LifecycleStateKind;
-        attribute evidenceType : String;
-        attribute integrityStatus : String;
-    }
-}