TY - GEN
T1 - Static sessional dataflow
AU - Duggan, Dominic
AU - Yao, Jianhua
PY - 2012
Y1 - 2012
N2 - Sessional dataflow provides a compositional semantics for dataflow computations that can be scheduled at compile-time. The interesting issues arise in enforcing static flow requirements in the composition of actors, ensuring that input and output rates of actors on related channels match, and that cycles in the composition of actors do not introduce deadlock. The former is ensured by flowstates, a form of behavior type that constrains the firing behavior of dataflow actors. The latter is ensured by causalities, a form of constraints that record dependencies in the firing behavior. This article considers an example variant of the sessional dataflow approach for dataflow applications, expressing known ideas from signal processing in a compositional fashion.
AB - Sessional dataflow provides a compositional semantics for dataflow computations that can be scheduled at compile-time. The interesting issues arise in enforcing static flow requirements in the composition of actors, ensuring that input and output rates of actors on related channels match, and that cycles in the composition of actors do not introduce deadlock. The former is ensured by flowstates, a form of behavior type that constrains the firing behavior of dataflow actors. The latter is ensured by causalities, a form of constraints that record dependencies in the firing behavior. This article considers an example variant of the sessional dataflow approach for dataflow applications, expressing known ideas from signal processing in a compositional fashion.
UR - http://www.scopus.com/inward/record.url?scp=84879714942&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84879714942&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-31057-7_22
DO - 10.1007/978-3-642-31057-7_22
M3 - Conference contribution
AN - SCOPUS:84879714942
SN - 9783642310560
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 484
EP - 508
BT - ECOOP 2012 - Object-Oriented Programming
T2 - 26th European Conference on Object-Oriented Programming, ECOOP 2012
Y2 - 11 June 2012 through 16 June 2012
ER -