Package 5G

R-CcBrR

Finds a Base Station connected to a backhaul Core Network and providing a RAN, both of which are part of a Cellular Network.

R-CN

Finds a cellular network.

R-CNCN

Finds a Cellular Network implemented by a Core Network.

R-CNHS

Finds a core network implementing a cellular network accessible from a space in which there is a device connected to the cellular network.

R-CNR

Finds a cellular network provided by a router.

R-CrCcL3

Finds a core router providing a core network backhaul for a cellular network, connected to an IP subnet.

R-CScGcCS

Finds a Physical Host connected between two Cellular networks, both in the same space.

R-FCNS

Finds a Cellular Network to which is connected a Fixed Host (or a Virtual Host running on it) located in a Space.

R-L3cCrC

Finds a core router providing a core network backhaul for a cellular network, connected to an IP subnet.

R-MPCNS

Finds a Public Cellular Network to which is connected a Mobile Host (or a Virtual Host running on it) located in a Space.

R-PcCN

Finds a process controlling a cellular network and an associated RAN.

R-PCN

Finds a Public Cellular Network.

R-PCNRWI

Finds router providing a Public Cellular Network accessible from the World, along with the Internet which should also be accessible from the World.

R-RrBcC

Finds a BaseStation providing a RAN and connected to a (backhaul) core network both of which are part of a cellular network.

MP-CcBrR

Finds a Base Station connected to a backhaul Core Network and providing a RAN, both of which are part of a Cellular Network.

MP-CNCN

Finds a Cellular Network implemented by a Core Network.

MP-CNHS

Finds a core network implementing a cellular network accessible from a space in which there is a device connected to but not providing the cellular network.

MP-CNR

Finds a cellular network provided by a router.

MP-CN-R

Finds a cellular network that is not provided by a router.

MP-CrCcL3

Finds a core router providing a core network backhaul for a cellular network, connected to an IP subnet that is not part of the cellular network.

MP-CScGcCS

Finds a Physical Host connected between two distinct Cellular networks, both in the same space.

MP-FCNS

Finds a Cellular Network to which is connected a Fixed Host (or a Virtual Host running on it) located in a Space.

MP-L3cCrC

Finds a core router providing a core network backhaul for a cellular network, connected to an IP subnet that is not part of the cellular network.

MP-MPCNS

Finds a Public Cellular Network to which is connected a Mobile Host (or a Virtual Host running on it) located in a Space.

MP-PcCN

Finds a process controlling a cellular network and an associated RAN.

MP-PCN

Finds a Public Cellular Network.

MP-PCNRWI

Finds router providing a Public Cellular Network accessible from the World, along with the Internet which should also be accessible from the World.

MP-RrBcC

Finds a BaseStation providing a RAN and connected to a core network both of which are part of a cellular network.

CP-PCN+W

Finds a Public Celluler Network, and makes it accessible to the World (adding the World if not already present).

CP-FCNS+aF

Finds a Fixed Host located in a Space (or a Virtual Host running on it) and connected to a Cellular Network, adds that the network is accessible from that Space.

CP-MPCNS+aF

Finds a Mobile Host located in a Space (or a Virtual Host running on it) that is connected to a Public Cellular Network, and makes that Network accessible from that Space.

CP-CN-R+R

Finds a cellular network that is not provided by a router, and adds one.

CP-PCNRWI+ct

Finds router providing a Public Cellular Network accessible from the World, along with the Internet which should also be accessible from the World, and connects the router to the Internet.

CP-CNR+CN

Finds a cellular network provided by a router an adds a core network. Note that the inferred core network is not accessible from any space: this ensures that routing segments are not added by the default patterns, so they can be customised to reflect default cellular network behaviour.

CP-CNHS+AN

Finds a core network implementing a cellular network accessible from a space in which there is a device connected to but not providing the cellular network. Adds a base station and a radio access network in the space, and connects the device to them.

CP-PcCN+c

Finds a process controlling a cellular network and an associated RAN, and adds a link saying the process controls the RAN.

CP-RrBcC+NSg

Finds a BaseStation providing a RAN and connected to a core network both of which are part of a cellular network, and adds a NAT Segment from the former to the latter subnet.

CP-CcBrR+CSg

Finds a Base Station connected to a backhaul Core Network and providing a RAN, both of which are part of a Cellular Network, and adds a closed segment indicating that routing requests into a cell is not supported for a cellular network.

CP-L3cCrC+OSg

Finds a core router providing a core network backhaul for a cellular network, connected to an IP subnet that is not part of the cellular network, and adds an open segment routing connections from the former to the latter.

CP-CrCcL3+NSg

Finds a core router providing a core network backhaul for a cellular network, connected to an IP subnet that is not part of the cellular network, and adds a NAT segment routing connections from the former to the latter.

H.E.CScGcCS.9

Device Gateway connected to multiple cellular networks in space Space: devices normally have only one cellular connection interface, and so can only be connected to one such network in each space. Use a control strategy to indicate if this device really does have the ability to use multiple simultaneous cellular network connections.

LS.IS.CNCN.8

Cellular network CellularNetwork is in service: since the underlying backbone network CoreNetwork is in service, so is CellularNetwork.

(empty)

CSG-HostWithMultipleCellNIC	Means host *Gateway* has more than one cellular network interface.
CSG-NetworkEAP-SIM-Client	If subnet *LogicalSubnet* uses a AAA service control access, supplicant device *Host* can connect if it has a SIM card containing a key provisioned by the AAA system.

MultipleCellNIC	Means the host can connect to multiple cellular networks at the same time.
SIM	The host has a SIM card installed, which has been registered to an authorised user, allowing authentication of their device, especially when connecting to networks.

Role_BaseStation	A specialised type of router comprising part of a cellular network that provides a radio access network in a locality (a cell), and has its own connection to wide area network allowing communication from cell to cell or between cells and the Internet, etc.
Role_CellularNetwork	An (abstract) network representing a cellular network, usually in patterns that include implementation in at least one location in the form of a related logical subnet.
Role_OtherCellularNetwork	An (abstract) network representing a cellular network, in this case the second such cellular network in a pattern.
Role_PublicCellularNetwork	A public cellular network.
Role_RAN	A radio access network providing cellular network connectivity in a location.

BaseStation	A type of wireless network router that provides a cellular access network in a local region of space.
CellularNetwork	Represents a mobile phone network capable of supporting communication from mobile hosts.
PrivateCellularNetwork	Abstract representation of a cellular network, to which mobile 4G or 5G devices may connect. A private cellular network can be restricted to devices whose users have a specific system role.
PublicCellularNetwork	Abstract representation of a cellular network, to which mobile 4G or 5G devices may connect. A public cellular network is open to anyone as a subscriber.
RAN	A type of radio network used in cellular networks.