W3C home > Mailing lists > Public > public-sws-ig@w3.org > November 2004

Re: Revised Owl-S Grammar

From: Drew McDermott <drew.mcdermott@yale.edu>
Date: Mon, 8 Nov 2004 00:31:40 +0000 (GMT)
To: public-sws-ig@w3.org
Message-ID: <E1CQxSD-0003CC-Qr@frink.w3.org>

> [Claus P. <cspriese@gmx.de>]
> In section 1 you show a composite process baz ,
> but why isnt there a line with precodition in it ?

The process has no precondition (or, equivalently, precondition

In checking this, I noticed a small typo.  The 'perform' of 'foo' in
process 'baz' should mention parameter 'y' instead of 'z':

     perform foo(x <= u, y <= g.out1)

The syntax checker doesn't check that the process being performed
actually has input parameters with the names used.


                                         -- Drew McDermott
                                            Yale University
                                            Computer Science Department
Received on Monday, 8 November 2004 00:32:17 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:54:13 UTC