Relationships¶
SysML connection def declarations in src/.
memo::architecture::decisions¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
Decides |
connection def |
Moved out of memo_core_relationships: their ends are typed against types declared here, and core must not depend on a domain package. | architecture/decisions/memo_decisions.sysml |
DecisionRecordedInADR |
connection def |
Typed relationship for decision recorded in adr. | architecture/decisions/memo_decisions.sysml |
memo::architecture::implementation::software::runtime¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
ComponentConnects |
connection def |
Typed relationship for component connects. | architecture/implementation/software/runtime/memo_software_runtime.sysml |
memo::architecture::implementation::software::structure¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
DependsOnSoup |
connection def |
Moved out of memo_core_relationships: their ends are typed against types declared here, and core must not depend on a domain package. | architecture/implementation/software/structure/memo_software_structure.sysml |
memo::architecture::implementation::ui¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
CapturesScreen |
connection def |
Which modelled screen an image is a rendering of. | architecture/implementation/ui/memo_ui.sysml |
ControlImplementedBy |
connection def |
A risk control implemented by a UI element or by task design (confirmation dialog, lockout, guarded control). | architecture/implementation/ui/memo_ui.sysml |
DataBinding |
connection def |
Typed relationship for data binding. | architecture/implementation/ui/memo_ui.sysml |
ElementTriggersAction |
connection def |
Typed relationship for element triggers action. | architecture/implementation/ui/memo_ui.sysml |
ErrorAtElement |
connection def |
A UI scenario realizes a functional scenario one layer up: each is a OperativeScenario selected by scenarioKind rather than a separate definition. | architecture/implementation/ui/memo_ui.sysml |
FlowServesUseCase |
connection def |
Typed relationship for flow serves use case. | architecture/implementation/ui/memo_ui.sysml |
NavigatesTo |
connection def |
Activating this element opens another screen. This is NAVIGATION, not containment — the opened screen is not laid out inside the element, so it is not a Composes child and the geometric rules do not relate them.… | architecture/implementation/ui/memo_ui.sysml |
memo::architecture::logical::structure¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
IndependentOf |
connection def |
Claimed independence between channels (common-cause defense). | architecture/logical/structure/memo_logical_structure.sysml |
LogicalConnector |
connection def |
A typed logical connection between two components' ports. | architecture/logical/structure/memo_logical_structure.sysml |
memo::architecture::operational::activities¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
AssessesDifficulty |
connection def |
Typed relationship for assesses difficulty. | architecture/operational/activities/memo_activities.sysml |
memo::architecture::operational::context::stakeholders¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
Governs |
connection def |
Typed relationship for governs. | architecture/operational/context/stakeholders/memo_stakeholders.sysml |
memo::architecture::operational::context::use_context¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
AppliesInContext |
connection def |
ConnectsPhysically is native connect (R10-S6): write connection connect source ::> <a> to target ::> <b>; — the ordinary untyped binary connection — instead of a connection def for it. |
architecture/operational/context/use_context/memo_use_context.sysml |
InteractsInContext |
connection def |
Typed relationship for interacts in context. | architecture/operational/context/use_context/memo_use_context.sysml |
InteractsWith |
connection def |
Typed relationship for interacts with. | architecture/operational/context/use_context/memo_use_context.sysml |
SituatedIn |
connection def |
Typed relationship for situated in. | architecture/operational/context/use_context/memo_use_context.sysml |
memo::architecture::operational::scenarios¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
HasScenario |
connection def |
A workflow is composed of one or more scenarios (nominal + alternate paths). ScenarioOccurrence/Executes were removed: an actual execution is a native SysML usage of the scenario, not a separate def + relation. | architecture/operational/scenarios/memo_scenarios.sysml |
memo::architecture::operational::structure¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
EnablesUseCase |
connection def |
An operational capability enables a use case (the ability the actor draws on to accomplish the goal). Capability is tied to the use case, not to individual activities. | architecture/operational/structure/memo_operational.sysml |
RequiresCapability |
connection def |
The intended use requires these operational capabilities (ARCADIA: Mission Requires Capability). | architecture/operational/structure/memo_operational.sysml |
memo::architecture::operational::use_cases¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
Extends |
connection def |
Typed relationship for extends. | architecture/operational/use_cases/memo_use_cases.sysml |
Motivates |
connection def |
Typed relationship for motivates. | architecture/operational/use_cases/memo_use_cases.sysml |
memo::architecture::operational::workflows¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
RealizesUseCase |
connection def |
The use case a workflow realizes. Many workflows may trace to one use case; the use case does not own its workflows (the trace points upward, workflow → use case). | architecture/operational/workflows/memo_workflows.sysml |
RequiresResource |
connection def |
Typed relationship for requires resource. | architecture/operational/workflows/memo_workflows.sysml |
Supports |
connection def |
Typed relationship for supports. | architecture/operational/workflows/memo_workflows.sysml |
Transforms |
connection def |
Typed relationship from MemoAction to MemoAction. |
architecture/operational/workflows/memo_workflows.sysml |
memo::architecture::realization::deployment¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
BuildsInto |
connection def |
Typed relationship for builds into. | architecture/realization/deployment/memo_deployment.sysml |
DeploysTo |
connection def |
Typed relationship for deploys to. | architecture/realization/deployment/memo_deployment.sysml |
FlowComprisesSpec |
connection def |
The end-to-end flow is realized by an ordered flow specification, one segment per traversed component boundary (AADL flow-spec → end-to-end). | architecture/realization/deployment/memo_deployment.sysml |
FlowTraversesBinding |
connection def |
The flow traverses a software→hardware binding; latency accrues here. | architecture/realization/deployment/memo_deployment.sysml |
ProvidesEnvironment |
connection def |
Typed relationship for provides environment. | architecture/realization/deployment/memo_deployment.sysml |
memo::artifacts::configuration_management¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
Changes |
connection def |
Moved out of memo_core_relationships: their ends are typed against types declared here, and core must not depend on a domain package. | artifacts/configuration_management/memo_configuration_management.sysml |
memo::artifacts::standards¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
ConformsTo |
connection def |
Relationships | artifacts/standards/memo_artifacts_standards_traceability.sysml |
TracesToDocument |
connection def |
Typed relationship for traces to document. | artifacts/standards/memo_artifacts_standards_traceability.sysml |
memo::assurance::cybersecurity¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
Exploits |
connection def |
Moved out of memo_core_relationships: their ends are typed against types declared here, and core must not depend on a domain package. | assurance/cybersecurity/memo_cybersecurity.sysml |
ImpactsSafety |
connection def |
Typed relationship for impacts safety. | assurance/cybersecurity/memo_cybersecurity.sysml |
RealizedByScenario |
connection def |
Typed relationship for realized by scenario. | assurance/cybersecurity/memo_cybersecurity.sysml |
memo::assurance::human_factors¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
CommitsUseError |
connection def |
Typed relationship for commits use error. | assurance/human_factors/memo_human_factors.sysml |
EvaluatesTask |
connection def |
Typed relationship for evaluates task. | assurance/human_factors/memo_human_factors.sysml |
TestedByUsability |
connection def |
Moved out of memo_core_relationships: their ends are typed against types declared here, and core must not depend on a domain package. | assurance/human_factors/memo_human_factors.sysml |
memo::assurance::safety_risk¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
AssessedAgainst |
connection def |
Typed relationship for assessed against. | assurance/safety_risk/memo_risk.sysml |
Mitigates |
connection def |
Typed relationship for mitigates. | assurance/safety_risk/memo_risk.sysml |
TracesRisk |
connection def |
Moved out of memo_core_relationships: their ends are typed against types declared here, and core must not depend on a domain package. ISO 14971 risk chain — distinct sequence-of-events relations over risk elements. | assurance/safety_risk/memo_risk.sysml |
memo::assurance::safety_risk::analysis¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
Causes |
connection def |
Typed relationship for causes. | assurance/safety_risk/analysis/memo_fmea.sysml |
ContainsEvent |
connection def |
Typed relationship for contains event. | assurance/safety_risk/analysis/memo_fmea.sysml |
DetectedBy |
connection def |
Typed relationship for detected by. | assurance/safety_risk/analysis/memo_fmea.sysml |
HasFailureMode |
connection def |
Typed relationship for has failure mode. | assurance/safety_risk/analysis/memo_fmea.sysml |
IdentifiesHazard |
connection def |
Typed relationship for identifies hazard. | assurance/safety_risk/analysis/memo_fmea.sysml |
InputToGate |
connection def |
Typed relationship for input to gate. | assurance/safety_risk/analysis/memo_fmea.sysml |
ProducesEvent |
connection def |
Typed relationship for produces event. | assurance/safety_risk/analysis/memo_fmea.sysml |
memo::assurance::safety_risk::postmarket_surveillance¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
FeedsBackTo |
connection def |
Moved out of memo_core_relationships: their ends are typed against types declared here, and core must not depend on a domain package. | assurance/safety_risk/postmarket_surveillance/memo_postmarket_surveillance.sysml |
memo::assurance::verification_validation¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
ExecutesScenario |
connection def |
Typed relationship for executes scenario. | assurance/verification_validation/memo_assurance.sysml |
memo::core::annotations¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
CommentsOn |
connection def |
Replies form a thread through the ordinary Composes relation (parent comment → reply), so CR-ONT-001's acyclicity invariant already covers comment threads and no thread-specific relation is needed.… | core/annotations/memo_annotations.sysml |
NotesOn |
connection def |
Typed relationship for notes on. | core/annotations/memo_annotations.sysml |
RationaleFor |
connection def |
Typed relationship for rationale for. | core/annotations/memo_annotations.sysml |
memo::core::relationships¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
AnalyzedBy |
connection def |
Typed relationship for analyzed by. | core/relationships/memo_relationships.sysml |
BindsToInterface |
connection def |
Typed relationship for binds to interface. | core/relationships/memo_relationships.sysml |
Composes |
connection def |
Typed relationship for composes. | core/relationships/memo_relationships.sysml |
CrossesTrustBoundary |
connection def |
Typed relationship for crosses trust boundary. | core/relationships/memo_relationships.sysml |
DerivesCyberRequirement |
connection def |
Typed relationship for derives cyber requirement. | core/relationships/memo_relationships.sysml |
DerivesFrom |
connection def |
Typed relationship for derives from. | core/relationships/memo_relationships.sysml |
Enables |
connection def |
Typed relationship for enables. | core/relationships/memo_relationships.sysml |
HostedBy |
connection def |
Typed relationship for hosted by. | core/relationships/memo_relationships.sysml |
MemoLink |
connection def |
An end is left UNTYPED (:>> source / :>> target) wherever its legitimate endpoints do not share a MEMO base, and a rule in memo_rules_ontology states the constraint the type used to state. The reason is structural, not stylistic.… |
core/relationships/memo_relationships.sysml |
MemoRelationship |
connection def |
Typed relationship for memo relationship. | core/relationships/memo_relationships.sysml |
ProducesEvidence |
connection def |
Realizes (realizing/concrete element → realized/abstract element) is native #refinement dependency (R10-S6): write #refinement dependency <realizing> to <realized>; instead.… |
core/relationships/memo_relationships.sysml |
ThreatenedBy |
connection def |
Precedes is native succession (first a then b;), R10-S6. sameStepRequired/precedenceRationale had zero usages anywhere in the tree (same free-deletion shape R10-S5 found for rationale), so there was no content to carry forward. |
core/relationships/memo_relationships.sysml |
Validates |
connection def |
Typed relationship for validates. | core/relationships/memo_relationships.sysml |
memo::methodology::core¶
| Name | SysML kind | Description | Source |
|---|---|---|---|
ResolvesToMethodology |
connection def |
Moved out of memo_core_relationships: their ends are typed against types declared here, and core must not depend on a domain package. | methodology/core/memo_core.sysml |