Constraint extension to dataflow network.

Tsang Wing Yee.Thesis (M.Phil.)--Chinese University of Hong Kong, 2004.Includes bibliographical references (leaves 90-93).Abstracts in English and Chinese.Chapter 1 --- Introduction --- p.1Chapter 2 --- Preliminaries --- p.4Chapter 2.1 --- Constraint Satisfaction Problems --- p.4Chapter 2.2 --- Dataflow Networks --- p.5Chapter 2.3 --- The Lucid Programming Language --- p.9Chapter 2.3.1 --- Daton Domain --- p.10Chapter 2.3.2 --- Constants --- p.10Chapter 2.3.3 --- Variables --- p.10Chapter 2.3.4 --- Dataflow Operators --- p.11Chapter 2.3.5 --- Functions --- p.16Chapter 2.3.6 --- Expression and Statement --- p.17Chapter 2.3.7 --- Examples --- p.17Chapter 2.3.8 --- Implementation --- p.19Chapter 3 --- Extended Dataflow Network --- p.25Chapter 3.1 --- Assertion Arcs --- p.25Chapter 3.2 --- Selection Operators --- p.27Chapter 3.2.1 --- The Discrete Choice Operator --- p.27Chapter 3.2.2 --- The Discrete Committed Choice Operator --- p.29Chapter 3.2.3 --- The Range Choice Operators --- p.29Chapter 3.2.4 --- The Range Committed Choice Operators --- p.32Chapter 3.3 --- Examples --- p.33Chapter 3.4 --- E-Lucid --- p.39Chapter 3.4.1 --- Modified Four Cockroaches Problem --- p.42Chapter 3.4.2 --- Traffic Light Problem --- p.45Chapter 3.4.3 --- Old Maid Problem --- p.48Chapter 4 --- Implementation of E-Lucid --- p.54Chapter 4.1 --- Overview --- p.54Chapter 4.2 --- Definition of Terms --- p.56Chapter 4.3 --- Function ELUCIDinterpreter --- p.57Chapter 4.4 --- Function Edemand --- p.58Chapter 4.5 --- Function transf ormD --- p.59Chapter 4.5.1 --- Labelling Datastreams of Selection Operators --- p.59Chapter 4.5.2 --- Removing Committed Choice Operators --- p.62Chapter 4.5.3 --- "Removing asa, wvr, and upon" --- p.62Chapter 4.5.4 --- Labelling Output Datastreams of if-then-else-fi --- p.63Chapter 4.5.5 --- Transforming Statements to Daton Statements --- p.63Chapter 4.5.6 --- Transforming Daton Expressions Recursively --- p.65Chapter 4.5.7 --- An Example --- p.65Chapter 4.6 --- "Functions constructCSP, f indC, and transf ormC" --- p.68Chapter 4.7 --- An Example --- p.75Chapter 4.8 --- Function backtrack --- p.77Chapter 5 --- Related Works --- p.83Chapter 6 --- Conclusion --- p.8