Package VirtualisationInference

R-HCLPLSg

Finds a host channel via a logical path that traverses a logical segment.

R-HCLPvLS

Finds a host channel via a logical path that visits a subnet.

MP-HCLPLSg

Finds a host channel via a logical path that traverses a logical segment.

MP-HCLPvLS

Finds a host channel via a logical path that visits a subnet.

CP-EH+iS

Finds a (virtual) Host that is scalable (replicable), and marks it as such by adding a self-referential link.

CP-HVH-a+a

Finds a virtual host provisioned by another host and inserts a relationship indicating which is higher up the virtualisation stack.

CP-VH2H-a+a

Finds three hosts with relationships indicating they are related in the virtualisation stack, and adds a relationship connecting the highest to the lowest.

CP-VHPH+hPH

Finds a VirtualHost that is above a Physical Host in the virtualisation stack, and adds a hasPhysicalHost link between them.

CP-VHHsD-HsS-S+S

Finds a Virtual Host above another Host in a virtualisation stack where both store the same Data, there is no lower level host in the stack that also stores the data, and the second host does not run a Process that serves the Data, and adds such a service.

CP-VHPhDHS-HsS-S+u

Finds a Virtual Host running a Process that handles Data but does not access it via a service, where its host is in a virtualisation stack above a second Host running a service for the Data, and there is no host between the two in the virtualisation stack running a Process that Serves the Data. Adds a link specifying the the Process uses the data service on the second Host.

CP-DCVHVS-H+p

Finds a Host that is physically in a DataCentre and connected to a virtual subnet that is not provided by any host, and makes the DataCentre provider of the virtual subnet.

CP-DCCVH-LS+LS

Finds a Data Centre with a Cluster on which is provisioned a Virtual Host that is not connected to any logical subnet, and adds a virtual subnet provided by the Data Centre to enabled access.

CP-HVHS+VS

Finds a virtual host provisioned by another host in a physical location, and adds a HostLAN providing connectivity to the virtual host, provided by its host, and accessible in that location.

CP-HumHVH-Hu+m

Finds an unmanaged VirtualHost provisioned at a Host managed by a Human, and makes the Human manager also of the Virtual Host.

CP-HL+iH

Finds a solo HostLAN and marks it as such by adding a self-referential relationship. This is used later to exclude HostLAN assets in a construction pattern that refers to a base class.

CP-H2dPH2+VC

Finds two hosts on a virtual subnet that are on the path of a service channel, with their interfaces and their (distinct) physical hosts, and creates a virtual channel representing a dependency on physical communication between the physical hosts.

CP-VCH2LS2PP+HC

Finds a virtual subnet communication path between physical hosts, including the virtual channel, path generator and the start and end subnets, and inserts a host channel linked with this network path.

CP-VSVCHC+v

Finds a Virtual Subnet via a Virtual Channel via a Host Channel, and makes the subnet also go via the Host Channel.

CP-HCLPLSg+t

Finds a host channel via a physical path that traverses a logical segment, and adds the dependency to the host channel.

CP-HCLPvLS+v

Finds a host channel via a physical path that visits a subnet, and adds the dependency to the host channel.

CP-HCLSg+vf

Finds a host channel that traverses a logical segment, along with the inbound and outbound interfaces to the segment host, and adds dependencies on the outbound interface to the host channel.

CP-HCLSg+vt

Finds a host channel that traverses a logical segment, along with the inbound and outbound interfaces to the segment host, and adds dependencies on the inbound interface to the host channel.

CP-VSVCHCLS+uPS

Finds a Virtual Subnet over which interprocess communication goes on a Host Channel via a physical subnet, and adds a link denoting the dependency of the virtual subnet on the physical.

CP-SC4HVSVC+vVC

Finds a Service Channel crossing a Virtual Subnet between two Hosts, and the Virtual Channel representing the physical connectivity requirement to support this communication, and adds a dependency between the Service Channel and this Virtual Channel.

CP-SC4HVSHC+vHC

Finds a Service Channel crossing a Virtual Subnet between two Hosts, and the Host Channel representing a physical network path supporting this communication, and adds a dependency between the Service Channel and this Host Channel.

CP-CCSCVC+ch

Finds a Client Channel via a Service Channel via a Virtual Channel, and adds the Virtual Channel dependency to the Client Channel.

CP-CCSCHC+ch

Finds a Client Channel via a Service Channel via a Host Channel, and adds the Host Channel dependency to the Client Channel.

(empty)