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

Re: Conditional in DAML-S

From: Monika Solanki <monika@dmu.ac.uk>
Date: Thu, 11 Sep 2003 19:18:35 +0100
Message-ID: <3F60BC7B.8030303@dmu.ac.uk>
To: www-ws@w3.org

Hi Charlie,

charlie@semantech.org wrote:

>Is it possible, in the process model, to describe a service who's 
>output/effects are conditioned by a conditional statement? That is, given a 
>certain value for that condition an outputs/effect A is produced while given 
>another value, an output/effect B is produced.
>I know that there is the if-then-else construct but it is used in case the 
>condition regards a choice between two processcomponeents and not 
Yes you can. This is possible , since conditions will always be logical 
formulae evaluating to true or false and the outputs can then be 
specified as "disjointUnionOf". If you visit the first few mails of the 
thread titled "Conditionals revisted" exchanged between myself, Sheila 
and Bijan you would probably get an elaborate answer

>This mail sent through IMP: http://horde.org/imp/

Monika Solanki
Software Technology Research Laboratory(STRL)
De Montfort University
Hawthorn building, H00.18
The Gateway
Leicester LE1 9BH, UK

phone: +44 (0)116 250 6170 intern: 6170
email: monika@dmu.ac.uk
web: http://www.cse.dmu.ac.uk/~monika
Received on Thursday, 11 September 2003 14:12:39 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:05:12 UTC