- From: Monika Solanki <monika@dmu.ac.uk>
- Date: Thu, 11 Sep 2003 19:18:35 +0100
- To: www-ws@w3.org
Hi Charlie, charlie@semantech.org wrote: >Hi, > >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 >outputs/effets. > > 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/ > > > Cheers, Monika -- **>><<**>><<**>><<**>><<**>><<**>><<**>><<** 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