Compositional semantics of dataflow networks with query-driven communication of exact values

Konecny, Michal and Farjudian, Amin (2010) Compositional semantics of dataflow networks with query-driven communication of exact values. Journal of Universal Computer Science, 16 (18). pp. 2630-2656. ISSN 0948-6968

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (171kB) | Preview


We develop and study the concept of dataflow process networks as used for example by Kahn to suit exact computation over data types related to real numbers, such as continuous functions and geometrical solids. Furthermore, we consider communicating these exact objects among processes using protocols of a query-answer nature as introduced in our earlier work. This enables processes to provide valid approximations with certain accuracy and focusing on certain locality as demanded by the receiving processes through queries.

We define domain-theoretical denotational semantics of our networks in two ways: (1) directly, i. e. by viewing the whole network as a composite process and applying the process semantics introduced in our earlier work; and (2) compositionally, i. e. by a fixed-point construction similar to that used by Kahn from the denotational semantics of individual processes in the network. The direct semantics closely corresponds to the operational semantics of the network (i. e. it is correct) but very difficult to study for concrete networks. The compositional semantics enables compositional analysis of concrete networks, assuming it is correct.

We prove that the compositional semantics is a safe approximation of the direct semantics. We also provide a method that can be used in many cases to establish that the two semantics fully coincide, i. e. safety is not achieved through inactivity or meaningless answers.

The results are extended to cover recursively-defined infinite networks as well as nested finite networks.

A robust prototype implementation of our model is available.

Item Type: Article
Keywords: Exact real computation; Distributed computation; Dataflow networks; Denotational semantics; Domain theory
Schools/Departments: University of Nottingham Ningbo China > Faculty of Science and Engineering > School of Computer Science
Identification Number: 10.3217/jucs-016-18-2629
Depositing User: CHEN, Jiaorong
Date Deposited: 22 Nov 2017 09:59
Last Modified: 24 Nov 2017 12:01

Actions (Archive Staff Only)

Edit View Edit View