W3C home > Mailing lists > Public > www-ws@w3.org > October 2002

The Unordered control construct in DAML-S 0.7

From: Monika Solanki <monika@dmu.ac.uk>
Date: Mon, 21 Oct 2002 09:21:18 +0100
Message-ID: <3DB3B8FE.5080001@dmu.ac.uk>
To: www-ws <www-ws@w3.org>
 I am a bit confused over the control cnstruct " unordered" as defined 
in DAML-S 0.7:

Let a, b, c, and d be atomic processes, and X, Y, and Z be composite 
X = (Sequence a b)
Y = (Sequence c d)
Z = (Unordered A B)

 do X & Y correspond to A & B respectively or am I missing something.

Z, then, translates to the following partial ordering:
{(a;b), (c;d)}
where ';' means \executes before", and the possible execution sequences 
orders) include
{(a;b;c;d), (a;c;b;d), (a;c;d;b), (a;c;d;b),
(c;d;a;b), (c;a;d;b), (c;a;b;d)}

are the repeition of execution sequence ordering a typo or intentional.

Any comments will be helpful.



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

phone: +44 (0)116 250 6170 intern: 6170
email: monika@dmu.ac.uk <mailto:monika@dmu.ac.uk>
web: http://www.cse.dmu.ac.uk/~monika/ 
Received on Monday, 21 October 2002 04:19:03 UTC

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