<  Back to the Polytechnique Montréal portal

On the Scott-continuity of tagged signal processes

Laurent Moss and Guy Bois

Technical Report (2009)

Open Acess document in PolyPublie and at official publisher
Open Access to the full text of this document
Published Version
Terms of Use: Tous droits réservés
Download (588kB)
Show abstract
Hide abstract


Process networks are frequently used to model signal processing and multimedia applications. It is important to ensure that a process network has a uniquely defined behavior in order to correctly model such deterministic systems. Furthermore, a constructive procedure to determine this unique behavior is necessary for its simulation and execution. By the Kahn principle, the unique behavior of a process network is known to be the least fixed point of the network functional when every process computes a Scott-continuous function. The Kahn principle is used in a recent timed extension of the least fixed point semantics of Kahn process networks, using the tagged signal model. In this extension, processes compute a function from input signals to output signals, where a signal is defined as a partial function from a down set of tags to a set of values. However, it is often tedious to formally prove that a tagged signal process is Scott-continuous. This paper presents theorems on Scott-continuity that simplify such proofs. Thus, a general theorem on the necessary and sufficient conditions for the Scott-continuity of tagged signal processes is proven. Scott-continuity is then proven for broad classes of processes, namely the classes of exactly causal processes and of domain-warping processes, which include stateless processes, delays as well as a subset of discrete-event processes.

Uncontrolled Keywords

Process networks, Denotational semantics, Timed systems, Discrete events, Dataflow

Subjects: 2700 Information technology > 2700 Information technology
2700 Information technology > 2719 Computer architecture and design
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/2640/
Report number: EPM-RT-2009-01
Date Deposited: 06 Oct 2017 13:37
Last Modified: 04 May 2023 16:14
Cite in APA 7: Moss, L., & Bois, G. (2009). On the Scott-continuity of tagged signal processes. (Technical Report n° EPM-RT-2009-01). https://publications.polymtl.ca/2640/


Total downloads

Downloads per month in the last year

Origin of downloads

Repository Staff Only

View Item View Item