Control Flow

• CURIE: gmeow:ControlFlow
• IRI: https://blackcatinformatics.ca/gmeow/ControlFlow
• Category: class
• Defined by: gmeow:slices/procedures
• Box roles: TBox role (What is this?)

A reified relator that connects two ProcedureSteps in a control-flow relationship — sequencing, branching, or looping. Reuses the Participation idiom: mediates a source step, a target step, and an optional guard condition (gmeow:flowGuard). The actual guard evaluation is solver-side (Principle 12).

Structure

Subclass of: gufo:Relator

Practical Pattern

Use gmeow:ControlFlow as a specialized kind of gufo:Relator. Add statement metadata or a standpoint when the assertion needs provenance, confidence, or vantage.

Example Snippets

These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.

Data Pipeline

• Source: slices/extensions/procedures/examples/data-pipeline.ttl
• Examples catalog: open in catalog#example-slices-extensions-procedures-examples-data-pipeline

# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example: a procedure separates CONTROL flow from DATA flow . A
# gmeow:Procedure has gmeow:ProcedureSteps; gmeow:ControlFlow edges say in what
# ORDER steps run, while gmeow:DataFlow edges say WHICH DATA moves between them —
# two distinct graphs over the same steps, because "runs after" and "depends on
# the output of" are different relations. A gmeow:Execution is one concrete RUN of
# the procedure, with an gmeow:executionStatus and its participant. The same model
# covers a recipe, a lab protocol, a CI build, and an agent flow (procedureType).
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex:    <https://blackcatinformatics.ca/gmeow/examples/procedures/> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .

# --- CONTROL flow: extract → transform → load (the order).
ex:c1 a gmeow:ControlFlow ; gmeow:flowSource ex:extract   ; gmeow:flowTarget ex:transform .
ex:c2 a gmeow:ControlFlow ; gmeow:flowSource ex:transform ; gmeow:flowTarget ex:load .

External Equivalences

Equivalent or closely aligned targets: bpmn, pplan

Linkages

Generated from the canonical mapping DSL. SSSOM files are the generated public interchange form for term equivalences.

Term Equivalences