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

RE: Preconditions /effects vs Preconditions/Postconditions

From: Li, Yinsheng <Yinsheng.Li@nrc-cnrc.gc.ca>
Date: Mon, 15 Sep 2003 13:19:44 -0400
Message-ID: <35C5DD9F60FED21192B00004ACA6E6C703A9B524@nrclonex1.imti.nrc.ca>
To: 'Charlie Abela' <abcharl@keyworld.net>
Cc: www-ws@w3.org

I agree that this post-condition reflect the terminology better. Also I
believe for applications that they don't distinguish the output, effect, and
postcondition in a well-agreed way.  

Thanks.
Yinsheng

> -----Original Message-----
> From: Charlie Abela [mailto:abcharl@keyworld.net]
> Sent: Monday, September 15, 2003 1:05 PM
> To: Li, Yinsheng
> Cc: www-ws@w3.org
> Subject: RE: Preconditions /effects vs Preconditions/Postconditions
> 
> 
> IMHO, the distinction between the post-condition and effect is not a
> clear-cut distinctionme definitions that I found for 
> "post-condition" over the web:
> 
> i. The post condition is a statement of what the world should 
> look like
> after an operation. For instance if we define the operation 
> square on a
> number the post-condition would be of the form result = this 
> * this (where
> result is the output and this is the object on which the operation was
> invoked). The post condition is a useful way of saying what 
> we do, without
> saying how we do it, separating interface from implementation.
> ii. Post Condition: State of the system after executing the operation.
> iii. A post-condition specifies some facts about the world 
> which can be
> expected to be valid after the service operation has finished 
> its execution
> regularly.
> 
> As for the defined example I'd say that the distinction could 
> become clearer
> if:
> 
> Post-condition: credit card billed/not billed
> Effect: transaction successful/failed
> 
> Charlie
> 
> -------------------------------------------------
> Charlie Abela
> Research Student,
> Dept. of Computer Science and AI
> University of Malta,
> MSD06. Malta
> Web: http://www.semantech.org
> Email: abcharl@keyworld.net
> 
> -----Original Message-----
> 
> 
> 
> All email is scanned by Keyworld against known Viruses. This 
> service is offered to all Keyworld subscribers and hosted 
> domains and does not carry any warranty. You are advised to 
> protect your PC with updated antivirus software at all times.
> 
Received on Monday, 15 September 2003 13:19:47 GMT

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