Compositional Construction of Real-Time Dataflow NetworksReportar como inadecuado




Compositional Construction of Real-Time Dataflow Networks - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 CWI

Abstract : 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.

Keywords : Real-Time Dataflow Networks Component-Based Software Construction Coordination Constraint Solving SAT





Autor: Stephanie Kemper -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados