Type-safe composition and correctness validation for stream transformation pipelines

Develop formal validation techniques and a type system to ensure type-safe composition and correctness of stream transformation pipelines modeled by the Stream transformation ontological module, by specifying operator input/output ProcessStream types and verifying that composed pipelines are well-typed and correct.

Background

The Stream transformation graph introduces ProcessStream types (e.g., RawStream, KeyedStream, WindowedStream) and typed operators (Source, Transformation, Sink) to support validation and safe composition of pipelines.

While the ontology is designed to enable type-aware reasoning about pipeline correctness, the authors explicitly defer the formal validation and type-safety mechanisms to future work, indicating this as an unresolved task.

References

Each transformation is intended to accept an input streams of specific types, enabling type-safe composition and reasoning about pipeline correctness, which is however left to future work.

— A Context-Aware Knowledge Graph Platform for Stream Processing in Industrial IoT  (2602.19990 - Sciarroni et al., 23 Feb 2026) in Subsection 4.3, Stream transformation graph