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

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

From: Monika Solanki <monika@dmu.ac.uk>
Date: Tue, 09 Sep 2003 14:36:45 +0100
Message-ID: <3F5DD76D.4050004@dmu.ac.uk>
To: Martin Chapman <martin.chapman@oracle.com>, public-ws-chor@w3.org
Precisely, however when we say truths, assumptions etc, do they 
necessarily have to be predicates only on the initial 
states(preconditions) and predicates on the final state(post conditions) 
or can they encode sopmething more than these.

Martin Chapman wrote:

>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
>>
>>
>>
>>    
>>
>
>  
>

-- 
**>><<**>><<**>><<**>><<**>><<**>><<**>><<**
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 Tuesday, 9 September 2003 09:30:48 GMT

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