Compositionality in scenario-Aware dataflow: A rendezvous perspective

Mladen Skelin, Marc Geilen

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)
3 Downloads (Pure)

Samenvatting

Finite-state machine-based scenario-aware dataflow (FSM-SADF) is a dynamic dataflow model of computation that combines streaming data and finite-state control. For the most part, it preserves the determinism of its underlying synchronous dataflow (SDF) concurrency model and only when necessary introduces the non-deterministic variation in terms of scenarios that are represented by SDF graphs. This puts FSM-SADF in a sweet spot in the trade-off space between expressiveness and analyzability. However, FSM-SADF supports no notion of compositionality, which hampers its usability in modeling and consequent analysis of large systems. In this work we propose a compositional semantics for FSM-SADF that overcomes this problem. We base the semantics of the composition on standard composition of processes with rendezvous communication in the style of CCS or CSP at the control level and the parallel, serial and feedback composition of SDF graphs at the dataflow level. We evaluate the approach on a case study from the multimedia domain.

Originele taal-2Engels
TitelLCTES 2018 - Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, Co-located with PLDI 2018
RedacteurenZheng Zhang, Christophe Dubach
Plaats van productieNew York
UitgeverijAssociation for Computing Machinery, Inc
Pagina's55-64
Aantal pagina's10
ISBN van elektronische versie978-1-4503-5803-3
DOI's
StatusGepubliceerd - 19 jun 2018
Evenement19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2018 - Philadelphia, Verenigde Staten van Amerika
Duur: 19 jun 201820 jun 2018

Publicatie series

NaamACM SIGPLAN NOTICES
Nummer6
Volume53
ISSN van geprinte versie0362-1340

Congres

Congres19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2018
Land/RegioVerenigde Staten van Amerika
StadPhiladelphia
Periode19/06/1820/06/18

Vingerafdruk

Duik in de onderzoeksthema's van 'Compositionality in scenario-Aware dataflow: A rendezvous perspective'. Samen vormen ze een unieke vingerafdruk.

Citeer dit