About output derivation in composite processes

Here I quote a comment from

http://www.daml.org/services/daml-s/0.7/CongoProcess.daml


"The following inputs and outputs of FullCongoBuy are derived
from the corresponding inputs and outputs of its atomic subprocesses
(as indicated by their sameValues properties), and will normally
be computed automatically by DAML-S tools.  For example,
FullCongoBuy uses an input, congoBuyBookName, that's the same as
the bookName input to atomic process LocateBook.    What follows
is a partial example of these inputs and outputs."

My question is: how a tool would be able to derive the "output" for
composite process in an upper layer? the output of a specific atomic process
could be simply consumed by an input of another atomic process and never be
seen by the composite process.

Can we use "sameValues" and "Valueof" to resolve the proper outputs from
atomic processes? if that is the case then there is no "sameValues" and
"Valueof" in Congoprocess example, how are we going to figure that out in
this example?

Many Thanks.

Shahram

Received on Tuesday, 1 April 2003 16:44:29 UTC