Skip to content

MarineOS Property Model Specification (MPMS)

Status: Draft

Version: 0.1


1. Zweck

Diese Spezifikation definiert den Begriff der Property innerhalb des MarineOS Informationsmodells.

Properties beschreiben das Wissen über eine Entity.

Eine Property ist die kleinste fachliche Informationseinheit innerhalb von MarineOS.


2. Definition

Eine Property beschreibt genau eine Eigenschaft genau einer Entity.

Properties besitzen selbst keine Wahrheit.

Properties repräsentieren den aktuellen Wissensstand über eine Eigenschaft.


3. Eigenschaften

Jede Property besitzt

  • genau eine Entity
  • genau einen Property Type
  • aktuelles Knowledge
  • beliebig viele Claims
  • Provenance
  • Confidence
  • zeitliche Gültigkeit

4. Beispiele

Properties eines RHIB

  • Position
  • Heading
  • Speed
  • Course
  • Fuel Level
  • Battery State
  • Engine Status
  • Operational Status

Properties einer Person

  • Position
  • Health Status
  • Assignment

Properties einer Mission

  • State
  • Priority
  • Progress

5. Knowledge

Knowledge repräsentiert den aktuell besten bekannten Wert einer Property.

Knowledge entsteht ausschließlich durch die Bewertung verfügbarer Claims.

Knowledge ist niemals endgültig.


6. Claims

Zu einer Property können beliebig viele Claims existieren.

Claims können

  • identisch sein
  • unterschiedlich sein
  • sich widersprechen

Die Bewertung erfolgt ausschließlich durch Reasoner.


7. Zeit

Knowledge besitzt immer einen zeitlichen Bezug.

Claims besitzen immer einen Beobachtungszeitpunkt.

Veraltete Claims dürfen erhalten bleiben.


8. Provenance

Jede Property muss nachvollziehbar sein.

Zu jedem aktuellen Knowledge muss ersichtlich sein

  • welche Claims verwendet wurden
  • welche Evidence zugrunde liegt
  • welche Reasoner beteiligt waren

9. Architekturregeln

Regel 1

Properties besitzen keine Identität.


Regel 2

Properties gehören genau einer Entity.


Regel 3

Knowledge existiert ausschließlich innerhalb einer Property.


Regel 4

Properties besitzen beliebig viele Claims.


Regel 5

Reasoner verändern niemals Entities.

Reasoner erzeugen ausschließlich neues Knowledge innerhalb einer Property.


10. Konzeptionelles Modell

                  Entity
                     │
                     ▼
                 Property
                     │
          ┌──────────┴──────────┐
          │                     │
          ▼                     ▼
     Knowledge              Claims
                                   │
                                   ▼
                               Evidence

11. Zusammenfassung

Properties bilden den eigentlichen Wissenskern von MarineOS.

Entities beschreiben Identität.

Properties beschreiben Wissen.

Knowledge entsteht innerhalb der Properties durch die Bewertung von Claims.