L5 — Logical States

Purpose & Usage

The L5 Viewpoint is concerned with the identification and definition of the possible states or modes a Node may have, and the possible transitions between those States.

• User Requirements Specification.
• Analysis of business events.
• Behavioural analysis.

Scope

• Shall contain all Logical States of Logical Active Resources relevant for the entity of interest.
• Shall contain Logical Transitions between Logical States.
• May show Logical events triggering the Logical Transitions.
• May show Logical Modes of an Operational Activity or Logical Function s that are enabled by the Logical State.
• May show Logical States Groupings of Logical States, and their groupings.

Representation

• Topological (Connected Shapes).
• Finite State diagram.
• State transition diagram.

Cut-out (Meta-model)

flowchart TB
    LogicalMode["Logical Mode"]:::activity
    OA["Operational Activity"]:::activity
    LF["Logical Function"]:::activity
    LogicalState["Logical State"]:::activity
    LSG["Logical State Group"]:::activity
    LogicalTransition["Logical Transition"]:::activity
    LogicalEvent["Logical Event"]:::activity
    LAR["Logical Active Resource"]:::activity
    OA -->|"has"| LogicalMode
    LF -->|"has"| LogicalMode
    LogicalState -->|"enables"| OA
    LogicalState -->|"enables"| LF
    LSG -->|"aggregates"| LogicalState
    LSG -->|"aggregates"| LSG
    LogicalTransition -->|"is equal to"| LogicalState
    LogicalEvent -->|"triggers"| LogicalTransition
    LAR -->|"has"| LogicalState
    classDef activity fill:#9DC3E6,stroke:#1F4E79,color:#000

NAFv4 Compliant Example

flowchart TB
    Waiting["«Logical State» Waiting for Distress Signal"]:::activity
    Rescued["«Logical State» Rescued"]:::activity
    Location["«Logical State» Location determined"]:::activity
    InNeed["«Logical State» In need of rescue"]:::activity
    SearchStart["«Logical Event» Search Start"]:::activity
    SearchExit["«Logical Event» Search Exit"]:::activity
    RCC["«Node» Regional Coordination Center"]:::activity
    Crew["«Logical Actor» Crew"]:::activity
    RCC -->|"has"| Waiting
    RCC -->|"has"| Location
    Crew -->|"has"| Rescued
    Crew -->|"has"| InNeed
    Waiting -->|"receive signal"| Location
    Location -->|"assistance required"| InNeed
    InNeed -->|"crew stable"| Rescued
    Rescued -->|"crew secure"| Waiting
    SearchStart --> Location
    SearchExit -->|"no assistance required"| Waiting
    classDef activity fill:#9DC3E6,stroke:#1F4E79,color:#000