Overview about the relationships between interface related concepts used in the SAF Functional/Logical Domain and the SAF Physical Domain

Concept	Documentation
Logical Context Element	Represents an abstract element in the given System Context on Logical Level, outside the SOI scope, interacting with the SOI.
Logical External System	A Logical External System in the Logical Domain, outside the SOI scope, interacting with the SOI. E.g., power grid, mobile network, fresh water system (in a house).
Physical Environment	The Physical Environment in the Physical Domain, outside the SOI scope, interacting with the SOI. E.g. air, dirt, sun, road.
Logical Context SOI	Represents the Logical SOI in the System Context on Logical Level.
Physical SOI	Represents the Physical SOI on Physical Level.
Physical Context Element	Abstract element of a System Context on Physical Level, outside the SOI scope, interacting with the SOI.
Physical External System	The Physical External System in the Physical Domain, outside the SOI scope, interacting with the SOI. E.g. power grid, mobile network, fresh water system (in a house).
System Domain Kind	Specification for any kind of conceptual item (energy, material, information, etc.) to be exchanged on Functional or Logical Level. The System Domain Kind is agnostic to any realization on Physical Level.
LCNallowingLIE	Specifies the fact that a Logical Item Exchange is allowed on the Logical Connection.
SDKtypingLIE	Specifies the fact that a System Domain Kind defines the type of a Logical Item Exchange.
SDKtypingLIPP	Specifies the fact that a System Domain Kind defines the type of a Logical Interaction Point Property.
PEKrealizingSDK	Specifies the fact that a System Domain Kind is realized by Physical Exchange Kinds.
Physical Interaction Point Property	Specifies a detail of an interaction point on Physical Level.
LIPapplyingToLET	Specifies the fact that a Logical Interaction Point applies to a Logical Element.
Software Element	Pure Software Elements. Similarity with the V-Model "software unit".
LIPDdefiningDetailOfLIP	Specifies the fact that a Logical Interaction Point Definition defines the exchange capabilities of a Logical Interaction Point.
PIPPspecifyingDetailOfPIPD	Specifies the fact that a Physical Interaction Point Property is a detail of a Physical Interaction Point Definition.
PIPDdefiningDetailOfPIP	Specifies the fact that a Physical Interaction Point Definition defines the exchange capabilities of a Physical Interaction Point.
Physical Exchange Kind	Specification for any kind of physical item (energy, material, information, etc.) to be exchanged on Physical Level. This is the realization of the specification made by System Domain Kinds.
PEKtypingPIE	Specifies the fact that a Physical Exchange Kind defines the type of a Physical Item Exchange.
Logical Interaction Point	Specifies the existence of an interaction point on Logical Level.
PEKtypingPIPP	Specifies the fact that a Physical Exchange Kind defines the type of a Physical Interaction Point Property.
Physical Connection	Specifies the connection of two physical interaction points. Note: Connections between physical components indicate that item flows are passed from one output of a source component to one or more inputs of target components.
Logical Item Exchange	Specifies the exchange that is to take place on a connection of two interaction points on Logical Level.
PIPapplyingToPCE	Specifies the fact that a Physical Interaction Point applies to a Physical Context Element.
PCNallowingPIE	Specifies the fact that a Physical Item Exchange is allowed on the Physical Connection.
LIPPspecifyingDetailOfLIPD	Specifies the fact that a Logical Interaction Point Property is a detail of a Logical Interaction Point Definition.
Physical Element	A composition of Hardware and Software Elements. Similarity with the V-Model segments and system. See [VXT].
PIPapplyingToAPE	Specifies the fact that a Physical Interaction Point applies to an Abstract Physical Element.
Physical Interaction Point	Specifies the existence of an interaction point on Physical Level.
Hardware Element	Pure Hardware Elements. Similarity with the V-Model "hardware unit".
Logical Element	Describes a conceptual Logical Element as specification for an implementation of a system, or system element.
LIPapplyingToLCE	Specifies the fact that a Logical Interaction Point applies to a Logical Context Element.
Logical Interaction Point Definition	Specifies the exchange capabilities of an interaction point on Logical Level.
Physical Item Exchange	Specifies the exchange that is to take place on a Physical Connection.
Abstract Physical Element	Abstract element representing physical structure items keeping properties and relations applicable to all physical items.
Physical Interaction Point Definition	Specifies the exchange capabilities of an interaction point on Physical Level.
Logical Interaction Point Property	Specifies a detail of an interaction point on Logical Level.
Logical Connection	Specifies the connection of two interaction points on Logical Level. Note: Connections between logical components indicate that item flows are passed from one output of a source component to one or more inputs of target components.
Logical Environment	A Logical Environment in the Logical Domain, outside the SOI scope, interacting with the SOI. E.g., air, dirt, sun, road.
Logical User	The Logical User is the representation for a human in the Logical Domain, outside the SOI scope, interacting with the SOI.
Physical User	The Physical User is the representation for a human in the physical domain, outside the SOI scope, interacting with the SOI.
Physical Connector Compatibility	Specifies the fact that two Physical Interaction Point Definitions are compatible and how the Physical Interaction Point Properties are mapped.
PCCapplyingToPCN	Specifies the fact that a Physical Connector Compatibility Assertion shall apply to a Physical Connection.
PCCassertsCompatibiltyForPCPD	Specifies the Physical Interaction Point Definition the Physical Compatibility Assertion is valid for.
Physical Layer	Specifies a Physical Layer, usually used for communication.
Physical Layer Stack	Specifies a detail of an interaction point on Physical Level.
Physical Layer Ordering	Specifies an order among two physical layers. This order is valid within a Physical Layer Stack
PLOisValidInPLS	Specifies the fact that a Physical Layer Ordering is valid within a particular Physical Layer Stack.
PEKisAssignedToPL	Specifies the fact that a Physical Exchange Kind is assigned to a particular Physical Layer.
LIEboundedByPL	Specifies the fact that a Logical Item Exchange is constrained to be implemented on a particular Physical Layer.
LIEboundedByPLS	Specifies the fact that a Logical Item Exchange is constrained to be implemented on a particular Physical Layer Stack.
LCPboundedByPLS	Specifies the fact that a Logical Interaction Point is constrained to be implemented on a particular Physical Layer Stack.
PCPOverPCP	Specifies the fact that a physical interaction point communicates / transfers / flows / over an other physical interaction point. Used to define layered physical interfaces, and show layer relationships between interfaces.