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

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 UTC