%0 Conference Proceedings
%T Compositional Construction of Real-Time Dataflow Networks
%+ CWI
%A Kemper, Stephanie
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec)
%C Amsterdam, Netherlands
%Y Dave Clarke; Gul Agha
%I Springer
%3 Coordination Models and Languages
%V LNCS-6116
%P 92-106
%8 2010-06-07
%D 2010
%R 10.1007/978-3-642-13414-2_7
%K Real-Time Dataflow Networks
%K Component-Based Software Construction
%K Coordination
%K Constraint Solving
%K SAT
%Z Computer Science [cs]/Digital Libraries [cs.DL]Conference papers
%X Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further requires the notion of real-time. In this paper, we present a modular formal development of a compositional model for real-time coordination in dataflow networks. While real-time dataflow networks are typically asynchronous, our approach includes coordination patterns which combine, but are not limited to, synchrony and asynchrony. We define a constraint- and SAT-based encoding, which allows us to benefit from high-end constraint solving techniques when inspecting valid interactions of the system.
%G English
%2 https://inria.hal.science/hal-01054621/document
%2 https://inria.hal.science/hal-01054621/file/RT_networks.pdf
%L hal-01054621
%U https://inria.hal.science/hal-01054621
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-LNCS-6116
%~ IFIP-COORDINATION
%~ IFIP-DISCOTEC
%~ IFIP-2010