The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL
NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "NOT RECOMMENDED",
"MAY", and "OPTIONAL" in this document are to be interpreted as
described in BCP 14 [RFC2119] [RFC8174]
when, and only when, they appear in all capitals, as shown here.¶
SAIN agent: A functional component that communicates with a device, a set of devices,
or another agent to build an expression graph from a received assurance graph and
perform the corresponding computation of the health status and symptoms.¶
Assurance case: According to [Piovesan2017]: "An assurance case is a structured argument, supported by evidence, intended to justify that a system is acceptably assured relative to a concern (such as safety or security) in the intended operating environment."¶
Assurance graph: A Directed Acyclic Graph (DAG) representing the assurance case for one or several service instances. The nodes (also known as vertices in the context of DAG) are the service instances themselves and the subservices, the edges indicate a dependency relations.¶
SAIN collector: A functional component that fetches or receives the computer-consumable output of the SAIN agent(s) and displays it in a user friendly form or process it locally.¶
DAG: Directed Acyclic Graph.¶
ECMP: Equal Cost Multiple Paths¶
Expression graph: A generic term for a DAG representing a computation in SAIN. More specific terms are:¶
- Subservice expressions: Is an expression graph representing all the computations to execute for a subservice.¶
- Service expressions: Is an expression graph representing all the computations to execute for a service instance, i.e., including the computations for all dependent subservices.¶
- Global computation graph: Is an expression graph representing all the computations to execute for all services instances (i.e., all computations performed).¶
Dependency: The directed relationship between subservice instances in the assurance graph.¶
Informational Dependency: Type of dependency whose health score does not impact the health score of its parent subservice or service instance(s) in the assurance graph. However, the symptoms should be taken into account in the parent service instance or subservice instance(s), for informational reasons.¶
Impacting Dependency: Type of dependency whose score impacts the score of its parent subservice or service instance(s) in the assurance graph. The symptoms are taken into account in the parent service instance or subservice instance(s), as the impacting reasons.¶
Metric: An information retrieved from the network running the assured service.¶
Metric engine: A functional components that maps metrics to a list of candidate metric implementations depending on the network element.¶
Metric implementation: Actual way of retrieving a metric from a network element.¶
Network service YANG module: describes the characteristics of a service as agreed upon with consumers of that service [RFC8199].¶
Service instance: A specific instance of a service.¶
Service configuration orchestrator: Quoting RFC8199, "Network Service YANG Modules describe the characteristics of a service, as agreed upon with consumers of that service. That is, a service module does not expose the detailed configuration parameters of all participating network elements and features but describes an abstract model that allows instances of the service to be decomposed into instance data according to the Network Element YANG Modules of the participating network elements. The service-to-element decomposition is a separate process; the details depend on how the network operator chooses to realize the service. For the purpose of this document, the term "orchestrator" is used to describe a system implementing such a process."¶
SAIN orchestrator: A functional component that is in charge of fetching the configuration specific to each service instance and converting it into an assurance graph.¶
Health status: Score and symptoms indicating whether a service instance or a subservice is "healthy". A non-maximal score must always be explained by one or more symptoms.¶
Health score: Integer ranging from 0 to 100 indicating the health of a subservice. A score of 0 means that the subservice is broken, a score of 100 means that the subservice in question is operating as expected.¶
Subservice: Part or functionality of the network system that can be independently assured as a single entity in assurance graph.¶
Strongly connected component: subset of a directed graph such that there
is a (directed) path from any node of the subset to any other node. A
DAG does not contain any strongly connected component.¶
Symptom: Reason explaining why a service instance or a subservice is not completely healthy.¶