S-Net is a declarative coordination language for describing streaming networks of asynchronous components. Streaming networks are defined using an expression language featuring four network combinators as operators: serial composition, parallel composition, serial replication and parallel replication. With the exception of serial composition, the combinators come in two flavours each: the deterministic versions preserve the order of data on streams, whereas non-deterministic variants trade this property for improved throughput. Two primitive components serve housekeeping and synchronisation purposes. Streams are associated with record types: collections of data where each item is uniquely identified by its name. Structural subtyping on recordsdirects the flow of data through the streaming network.
If you would like to know more about S-Net, we recommend you to read the latest edition of our technical report available for download under documents.