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

Semantics of Preconditions and Effects

From: Monika Solanki <monika@dmu.ac.uk>
Date: Wed, 27 Aug 2003 14:30:58 +0100
Message-ID: <3F4CB292.8090400@dmu.ac.uk>
To: daml-process@bbn.com, www-ws <www-ws@w3.org>
Hi All,

I am trying to understand the semantics of preconditions and effects . 
In one of the papers

Narayanan, S. and McIlraith, S., "Simulation, Verification and Automated 
Composition of Web Services",

I found that preconditions for any service can also be modelled as 
knowledge based apart from physical preconditions.For e.g: agent 
Knows(bookName) for a service like LocateBook. I am interested in 
knowing whether agent can have knowledge based effects as well for e.g: 
agent Knows(ISBN), especially for information providing services.

Any thoughts appreciated.

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 Wednesday, 27 August 2003 09:25:12 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 3 July 2007 12:25:43 GMT