memo_assurance_safety_risk_postmarket_surveillance

SysML API

Public namespace	memo::assurance::safety_risk::postmarket_surveillance
Declared package	memo_assurance_safety_risk_postmarket_surveillance
Source	src/assurance/safety_risk/postmarket_surveillance/memo_postmarket_surveillance.sysml

Namespace hierarchy

memo → memo::assurance → memo::assurance::safety_risk → memo::assurance::safety_risk::postmarket_surveillance

Packages

Package
memo_assurance_safety_risk_postmarket_surveillance

Imports

Visibility	Target
private	Metaobjects::SemanticMetadata
private	ScalarValues::*
private	memo_core_relationships::*
private	memo_core_common::*

Declarations

Name	SysML kind	Description	Specializes
PostMarketSurveillance	part def	Post market surveillance definition specializing MemoPart.	MemoPart
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.	MemoRelationship

PostMarketSurveillance

part def PostMarketSurveillance :> MemoPart

Property	Value
Description	Post market surveillance definition specializing MemoPart.
Kind	part def
Abstract	No
Specializes	MemoPart
Owning package	memo_assurance_safety_risk_postmarket_surveillance

FeedsBackTo

connection def FeedsBackTo :> MemoRelationship

Property	Value
Description	Moved out of memo_core_relationships: their ends are typed against types declared here, and core must not depend on a domain package.
Kind	connection def
Abstract	No
Specializes	MemoRelationship
Owning package	memo_assurance_safety_risk_postmarket_surveillance

Source

assurance/safety_risk/postmarket_surveillance/memo_postmarket_surveillance.sysml

package memo_assurance_safety_risk_postmarket_surveillance {
    private import Metaobjects::SemanticMetadata;
    private import ScalarValues::*;
    private import memo_core_relationships::*;   // MemoRelationship

    private import memo_core_common::*;

    part def PostMarketSurveillance :> MemoPart {
        attribute surveillanceKind : String;
        attribute dataSource : String;
        attribute reportingObligation : String;
    }

    // ── Relations owned by this package ─────────────────────────────
    // Moved out of memo_core_relationships: their ends are typed against
    // types declared here, and core must not depend on a domain package.
    connection def FeedsBackTo :> MemoRelationship {
        end feedbackItem : PostMarketSurveillance :>> source;
        end designElement : MemoPart :>> target;
    }
    abstract connection feedsBackToLinks : FeedsBackTo[*];
    metadata def <feedsBackTo> FeedsBackToMetadata :> SemanticMetadata {
        :> annotatedElement : SysML::ConnectionDefinition;
        :> annotatedElement : SysML::ConnectionUsage;
        :>> baseType = feedsBackToLinks meta SysML::Usage;
    }
}