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

RE: [ws-chor]: Reqts 1.0 Comments -preconditions and postconditions

From: Martin Chapman <martin.chapman@oracle.com>
Date: Mon, 8 Sep 2003 10:19:16 -0700
To: "'Monika Solanki'" <monika@dmu.ac.uk>, <public-ws-chor@w3.org>
Message-ID: <001701c3762d$55a1aa50$1faf2382@us.oracle.com>

Monika,

A pre-condition is the set of truths (states, assumptions etc) that hold
before the use case starts,
and the post-conditions are the set of truths that hold after a successful
completeion of the use case.
The template and terminology is derived from UML.

Cheers,
 Martin.

> -----Original Message-----
> From: public-ws-chor-request@w3.org 
> [mailto:public-ws-chor-request@w3.org] On Behalf Of Monika Solanki
> Sent: Monday, September 08, 2003 9:47 AM
> To: public-ws-chor@w3.org
> Subject: [ws-chor]: Reqts 1.0 Comments -preconditions and 
> postconditions
> 
> 
> 
> Hi All,
> 
>  The working draft of the requirement document has two parameters for 
> each use case: preconditions and postconditions. The 
> semantics of these 
> are however not defined anywhere. Pls could someone clarify 
> this point.
> 
> Thanks,
> 
> Monika
> 
> 
> 
Received on Monday, 8 September 2003 13:19:21 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 18 December 2010 01:00:30 GMT