W3C home > Mailing lists > Public > www-ws@w3.org > March 2003

Re: Restricting input depending on output

From: Drew McDermott <drew.mcdermott@yale.edu>
Date: Wed, 12 Mar 2003 10:06:11 -0500 (EST)
Message-Id: <200303121506.h2CF5Xv27764@pantheon-po01.its.yale.edu>
To: www-ws@w3.org

   [Saied Tazari]
   Maybe I coudn't explain the problem well.  With the above bullet I wanted to 
   say that the proposed solution shifts the problem of "restricting 
   selectedLocationList_In as a subset of availableLocationList_Out" to the 
   need "to restrict selectedLocationList_Out as a subset of 
   availableLocationList_In" (what you are simply assuming based on the 
   human-understandable ID 'PickSome', without giving a machine-checkable 
   restriction ).

Ah.  For this you need a precondition of an action.  We don't have an
official notation for conditions, but an appendix to the DAML-S report
with a proposed notation is being prepared and should be released any
day now.

                                             -- Drew McDermott
Received on Wednesday, 12 March 2003 10:06:12 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:37:08 UTC