Domain data types
Scientific objects are represented as typed values rather than anonymous arrays, files, or dictionaries.
Technical substrate
Semantiva makes workflow meaning inspectable and executable.
Inspired by practical distributed semantics in ALICE O2 at CERN, Semantiva provides a reusable substrate for typed data, context flow, contract validation, stable graph identity, inspection, tracing, and reproducible scientific workflows.
Data Source
AcquisitionNode
DetectorData → context
Data Operation
CalibrationApply
validity → context
Data Probe
ReconstructionProbe
result → "output"
Context Processor
ProvenanceRecord
SER → trace anchor
IO · Data Sink
ResultArchive
path → context
data channelcontext channeltrace anchor
Framework primitives
These primitives support technical evaluation: how typed data, context, contracts, and execution records turn scientific workflow meaning into inspectable structure.
Typed processors
Algorithms declare the data they consume and produce, making processor contracts inspectable and enforceable.
Context channel
Metadata, state, provenance, and validity information travel alongside the data instead of living in side channels.
Execution records
Semantic Execution Records provide evidence of what ran, what was read or produced, and how results were derived.
A scientific workflow, represented semantically
A Semantiva pipeline can make acquisition, calibration, reconstruction, quality evidence, and archival steps inspectable as executable contracts.
sourceAcquire
DetectorFrameDataType enters the data channel.
operationCalibrate
Validity context prevents silent mismatch.
operationReconstruct
Algorithm contract produces a typed result.
probeQuality
Metrics and uncertainty enter context.
sinkArchive
Result and provenance are stored together.
Where the framework fits
Semantiva is appropriate when the immediate problem is workflow-level semantic control: data product identity, processor contracts, context flow, provenance, testing, and controlled change.
Discuss a bounded assessmentFrom domain model to execution
Domain semantics come from scientific modelling and organizational governance. Semantiva provides the executable substrate for making that knowledge operational: typed workflow contracts, context-aware execution, provenance, inspection, and repeatable evidence.