Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

workflow / workflow event transducer functionality

An agent that generates event-normalization adapters needs whether every accepted input event word has one output word despite nondeterministic internal branches.

POST https://detect.halowerk.com/v1/workflow/workflow-event-transducer-functionality

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "properties": {
    "artifact": {
      "type": "object",
      "properties": {
        "states": {
          "type": "integer",
          "minimum": 1,
          "maximum": 64
        },
        "initial": {
          "type": "array",
          "items": {
            "type": "integer",
            "minimum": 0,
            "maximum": 63
          },
          "minItems": 1,
          "maxItems": 8
        },
        "finals": {
          "type": "array",
          "items": {
            "type": "integer",
            "minimum": 0,
            "maximum": 63
          },
          "minItems": 0,
          "maxItems": 64
        },
        "transitions": {
          "type": "array",
          "items": {
            "type": "object",
            "properties": {
              "from": {
                "type": "integer",
                "minimum": 0,
                "maximum": 63
              },
              "to": {
                "type": "integer",
                "minimum": 0,
                "maximum": 63
              },
              "input": {
                "type": "integer",
                "minimum": 0,
                "maximum": 31
              },
              "output": {
                "type": "integer",
                "minimum": 0,
                "maximum": 31
              }
            },
            "required": [
              "from",
              "to",
              "input",
              "output"
            ],
            "additionalProperties": false
          },
          "minItems": 0,
          "maxItems": 512
        },
        "claimed_functional": {
          "type": "boolean"
        }
      },
      "required": [
        "states",
        "initial",
        "finals",
        "transitions",
        "claimed_functional"
      ],
      "additionalProperties": false
    }
  },
  "required": [
    "artifact"
  ],
  "additionalProperties": false
}

Originalschema öffnen

Veröffentlichtes Eingabebeispiel

{
  "artifact": {
    "states": 2,
    "initial": [
      0
    ],
    "finals": [
      1
    ],
    "transitions": [
      {
        "from": 0,
        "to": 1,
        "input": 0,
        "output": 0
      }
    ],
    "claimed_functional": true
  }
}

Ergebnis & Dokumentation

Maschinenlesbare Dokumentation dieses Hubs

Quelle dieser Seite: der veröffentlichte HALOWERK-Katalog. Stand: 2026-11-01, 15:19 UTC.

Weitere Endpunkte dieses Hubs

Alle Endpunkte dieses Hubs →