S5 — Service States

Purpose & Usage

The S5 Viewpoint is concerned with the identification and definition of the possible states a Service may have, and the possible transitions between those states.

• Better understanding of the level of detail required by a Service.
• Outline requirements for Service behaviour .
• Service implementation guidance.
• Service behaviour specification.

Scope

• Shall contain all Service States of a Service relevant for the entity of interest.
• Shall contain Service State Transitions between Service States.
• May show Service Events triggering Service State Transitions.
• May show Service Functions that are enabled by a Service State.
• May show Service Functions that enable the Service.
• May show Service Modes of a Service Function.
• May show Service States grouped into Service State Groups, and their groupings.

Representation

• Diagram.
• State transition model. 114

Cut-out (Meta-model)

flowchart TB
    ServiceMode["Service Mode"]:::service
    ServiceFunction["Service Function"]:::service
    Service:::service
    ServiceState["Service State"]:::service
    ServiceStateGroup["Service State Group"]:::service
    ServiceStateTransition["Service State Transition"]:::service
    ServiceEvent["Service Event"]:::service
    ServiceFunction -->|"has"| ServiceMode
    ServiceFunction -->|"enables"| Service
    ServiceFunction -->|"enables"| ServiceState
    Service -->|"has"| ServiceState
    ServiceStateGroup -->|"aggregates"| ServiceState
    ServiceStateGroup -->|"aggregates"| ServiceStateGroup
    ServiceStateTransition -->|"is equal to"| ServiceState
    ServiceEvent -->|"triggers"| ServiceStateTransition
    classDef service fill:#E5C1E5,stroke:#7B4F7B,color:#000

Notes on the Cut-out

The “is equal to” relationship illustrates an objectified relation — the element represents the instantiated form of a connection between other elements, allowing the relation itself to carry further relationships.

NAFv4 Compliant Example

flowchart TB
    PDS["«Service» Position Determination Service"]:::service
    InService["«Service State» In Service"]:::service
    OutOfService["«Service State» Out of Service"]:::service
    Transition["«Service State Transition» In Service to Out of Service"]:::service
    Denial["«Service Event» Denial of Service"]:::service
    PDS -->|"has"| InService
    PDS -->|"has"| OutOfService
    Transition -->|"is equal to"| InService
    Denial -->|"triggers"| Transition
    classDef service fill:#E5C1E5,stroke:#7B4F7B,color:#000