Technical Report
A Denotational Model for Mobile Point-to-Point Data-flow Networks
Author(s): R. Grosu, K. Stølen
Year: 1995
Number: TUM-I 9527
Editor:
CR Classification: C.2.1, D.1.3, D.1.7, D.2.1, D.2.2, D.2.4, D.3.2, D.4.1,
F.1.1, F.1.2, F.3.2
CR General Terms: Design, Languages, Theory
Keywords: Denotational Model, Data-flow, Input/Output Relation,
Mobile System, Point-to-point communication, Specification,
Timing
Abstract:We present a denotational model for mobile, timed, unbounded nondeterministic
dataflow networks whose components communicate in a point-to-point
fashion. We
first introduce a model for static, point-to-point dataflow
networks. In this
model components and networks of components are
represented by sets of strongly
pulse-driven stream processing
functions. A stream processing function is
strongly pulse-driven if its output
until time $j+1$ is completely determined
by its input until time $j$.
This model is then
extended to support mobility
by allowing the components to communicate
ports. In the mobile case,
the
functions are not only required to be strongly pulse-driven, but
also to be
generic in the sense that they do not read or write on channels
whose ports
they have not received or generated themselves.
The model is shown to be fully
abstract. We demonstrate the power and applicability
of our model by specifying
a mobile communication central.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{ grosuStoelenTUMI9527,
author = {R. Grosu and K. St\olen},
title = {A Denotational Model for Mobile Point-to-Point Data-flow Networks},
number = {TUM-I 9527},
institution = {Technische Univerit\"at M\"unchen},
year = {1995},
url = {http://www4.informatik.tu-muenchen.de/reports/grosuStoelenTUMI9527.html},
abstract = {We present a denotational model for mobile, timed, unbounded nondeterministic
dataflow networks whose components communicate in a point-to-point
fashion. We
first introduce a model for static, point-to-point dataflow
networks. In this
model components and networks of components are
represented by sets of strongly
pulse-driven stream processing
functions. A stream processing function is
strongly pulse-driven if its output
until time $j+1$ is completely determined
by its input until time $j$.
This model is then
extended to support mobility
by allowing the components to communicate
ports. In the mobile case,
the
functions are not only required to be strongly pulse-driven, but
also to be
generic in the sense that they do not read or write on channels
whose ports
they have not received or generated themselves.
The model is shown to be fully
abstract. We demonstrate the power and applicability
of our model by specifying
a mobile communication central.},
CRClassification = {C.2.1, D.1.3, D.1.7, D.2.1, D.2.2, D.2.4, D.3.2, D.4.1,
F.1.1, F.1.2, F.3.2},
CRGenTerms = {Design, Languages, Theory}
grosu@informatik.tu-muenchen.de
}
]]>
http://www4.informatik.tu-muenchen.de/~grosu