Zum Inhalt
HALOWERK

Technische Prüfungen & Formate

F TD2000 DOCUMENTS 12 / wsbpel20 flow join failure dead path elimination

Reconstruct BPEL link joins and transitive dead-path elimination. Reconstruct the fully typed result and compare its complete canonical SHA256 claim.

POST https://detect.halowerk.com/v1/F-TD2000-DOCUMENTS-12/wsbpel20-flow-join-failure-dead-path-elimination

Eingaben

Felder des veröffentlichten Eingabeschemas
FeldTypPflichtBeschreibung
artifactobjectJa
Vollständiges Eingabeschema anzeigen
{
  "type": "object",
  "additionalProperties": false,
  "required": [
    "artifact"
  ],
  "properties": {
    "artifact": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "bpelDeadPath"
      ],
      "properties": {
        "bpelDeadPath": {
          "type": "object",
          "additionalProperties": false,
          "required": [
            "data",
            "claim"
          ],
          "properties": {
            "data": {
              "type": "object",
              "additionalProperties": false,
              "required": [
                "activities",
                "links"
              ],
              "properties": {
                "activities": {
                  "type": "array",
                  "items": {
                    "type": "object",
                    "additionalProperties": false,
                    "required": [
                      "id",
                      "suppress_join_failure",
                      "join_postfix"
                    ],
                    "properties": {
                      "id": {
                        "$ref": "#/properties/artifact/%24defs/s0"
                      },
                      "suppress_join_failure": {
                        "type": "boolean"
                      },
                      "join_postfix": {
                        "anyOf": [
                          {
                            "type": "null"
                          },
                          {
                            "type": "array",
                            "items": {
                              "anyOf": [
                                {
                                  "type": "object",
                                  "additionalProperties": false,
                                  "required": [
                                    "op",
                                    "id"
                                  ],
                                  "properties": {
                                    "op": {
                                      "enum": [
                                        "link"
                                      ]
                                    },
                                    "id": {
                                      "$ref": "#/properties/artifact/%24defs/s0"
                                    }
                                  }
                                },
                                {
                                  "type": "object",
                                  "additionalProperties": false,
                                  "required": [
                                    "op"
                                  ],
                                  "properties": {
                                    "op": {
                                      "enum": [
                                        "true",
                                        "false",
                                        "and",
                                        "or",
                                        "not"
                                      ]
                                    }
                                  }
                                }
                              ]
                            },
                            "minItems": 1,
                            "maxItems": 48
                          }
                        ]
                      }
                    }
                  },
                  "minItems": 0,
                  "maxItems": 32
                },
                "links": {
                  "type": "array",
                  "items": {
                    "type": "object",
                    "additionalProperties": false,
                    "required": [
                      "id",
                      "source",
                      "target",
                      "transition"
                    ],
                    "properties": {
                      "id": {
                        "$ref": "#/properties/artifact/%24defs/s0"
                      },
                      "source": {
                        "$ref": "#/properties/artifact/%24defs/s0"
                      },
                      "target": {
                        "$ref": "#/properties/artifact/%24defs/s0"
                      },
                      "transition": {
                        "type": "boolean"
                      }
                    }
                  },
                  "minItems": 0,
                  "maxItems": 64
                }
              }
            },
            "claim": {
              "anyOf": [
                {
                  "type": "null"
                },
                {
                  "type": "string",
                  "minLength": 64,
                  "maxLength": 64,
                  "pattern": "^[0-9a-f]{64}$"
                }
              ]
            }
          }
        }
      },
      "$defs": {
        "s0": {
          "type": "string",
          "minLength": 1,
          "maxLength": 48,
          "pattern": "^[A-Za-z_][A-Za-z0-9_.-]*$"
        }
      }
    }
  }
}

Originalschema öffnen

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 →