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

Re: Preconditions /effects vs Preconditions/Postconditions

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Wed, 17 Sep 2003 01:41:02 -0400
To: Charlie Abela <charlie@semantech.org>
Cc: "www-ws@w3.org" <www-ws@w3.org>
Message-id: <20030917054103.7BBF81133C5@kiferserv.kiferhome.com>

>>>>> "CA" == Message from Charlie Abela <<charlie@semantech.org> > writes:

    >> If it is (a) (which I strongly believe it is) then, I believe it is 
    >> necessary for him to actually identify the required parameters to ensure 
    >> that his service is indeed usable by other agents for whatever task - 
    >> discovery, composition etc.
    CA> Precisely my point, he has to sit down and figure out how his service could be 
    CA> used, but given the different perspectives/background of the people involved 
    CA> and also to some extnet, the ambiguity in the definitions of what could be a 
    CA> post condition or an effect for his service, then I'd suppose he would have to 
    CA> sit down and think for some while. This can be seen in this thread, a post-
    CA> condition for someone is seen as an effect for someone else.

This is why it is important to define these terms clearly and precisely.
If the definition is muddy, then yes, it is going to be a big problem for
the developer. But if it is clear then it will help the developer do the
job right.

Received on Wednesday, 17 September 2003 01:40:04 UTC

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