- From: Drew McDermott <drew.mcdermott@yale.edu>
- Date: Sun, 9 May 2004 17:09:19 -0400 (EDT)
- To: public-sws-ig@w3.org
> [Jeff Dalton]
> Can the same process instance appear in more than one sequence?
>
> The general problem I'm wondering about is how to specify an
> arbitrary partial order.
>
There is no way to specify an arbitrary partial order. It wouldn't be
hard to add one, given that every process occurrence can be referred
to by its URI.
Some terminological points: We now encourage the term _process
occurrence_ to mean the occurrence of a 'perform' for that process in
another, complex process. A process occurrence is not the same as the
execution of a process, because of loops. Example:
(sequence (perform A)
(loop-while ...
(parallel (perform B)
(perform ...)))
(perform A))
has two occurrences of A and one of B. However, in an execution of
this process there may be any number of executions of B from zero up.
(This phenomenon doesn't affect the possibility of setting up a partial
order, assuming you don't want a partial order to link an occurrence
inside a loop to an occurrence outside.)
--
-- Drew McDermott
Yale Computer Science Department
Received on Sunday, 9 May 2004 17:09:49 UTC