Paper Info
Title
S+Net: extending functional coordination with extra-functional semantics.
Abstract
This technical report introduces S+Net, a compositional coordination language for streaming networks with extra-functional semantics. Compositionality simplifies the specification of complex parallel and distributed applications; extra-functional semantics allow the application designer to reason about and control resource usage, performance and fault handling. The key feature of S+Net is that functional and extra-functional semantics are defined orthogonally from each other. S+Net can be seen as a simultaneous simplification and extension of the existing coordination language S-Net, that gives control of extra-functional behavior to the S-Net programmer. S+Net can also be seen as a transitional research step between S-Net and AstraKahn, another coordination language currently being designed at the University of Hertfordshire. In contrast with AstraKahn which constitutes a re-design from the ground up, S+Net preserves the basic operational semantics of S-Net and thus provides an incremental introduction of extra-functional control in an existing language.
Year
Venue
Field
2013
CoRR
Principle of compositionality,Operational semantics,Programming language,Programmer,Computer science,Fault handling,Functional semantics,Coordination language,Semantics,Technical report
DocType
Volume
Citations 
Journal
abs/1306.2743
1
PageRank 
References 
Authors
0.41
8
6
Name
Order
Citations
PageRank
Raphael Poss1499.49
Merijn Verstraaten2564.96
Frank Penczek3375.64
Clemens Grelck443439.67
Raimund Kirner537240.22
Alexander V. Shafarenko610317.11