- From: Drew McDermott <drew.mcdermott@yale.edu>
- Date: Sun, 9 May 2004 17:21:17 -0400 (EDT)
- To: public-sws-ig@w3.org
> [Jeff Dalton]
> Split+Join is described as follows in
>
> http://www.daml.org/services/owl-s/1.0/owl-s.html
>
> Here the process consists of concurrent execution of a bunch
> of process components with barrier synchronization. With SPLIT
> and SPLIT+JOIN, we can define processes that have partial
> synchronization (e.g., split all and join some sub-bag).
>
> For some reason, I'm having trouble understanding that.
> There doesn't seem to be a separate Join, so how do you
> "split all and join some sub-bag"?
What reason could there possibly be?
This is a case of semantics outstripping syntax. The meaning of
Split+Join is explained in
Srini Narayanan and Sheila McIlraith 2002 Simulation, verification and
automated composition of web services. {\it Proc. WWW2002}
using Petri nets to provide an operational semantics.
The _syntax_ is, however, somewhat obscure.
-- Drew
--
-- Drew McDermott
Yale Computer Science Department
Received on Sunday, 9 May 2004 17:24:42 UTC