Re: A Design Problem

Daniel T. wrote:

"Dmitry A. Kazakov" <mailbox@xxxxxxxxxxxxxxxxx> wrote:

On Sat, 25 Aug 2007 22:41:55 -0400, Daniel T. wrote:

DT>To get back to a programming example. A Subject sends a message to its
DT>Observers when its state changes. Does the Subject do this to cause an
DT>effect? Of course not.

Of course yes. It does this in order to have the message sent. The message
is an object and the messages propagation substrate is an object too. The
postcondition of sending an asynchronous message is at least "the message
is underway." In a more carefully designed system messages have meanings
and the meaning is also a part of the postcondition. Then for synchronous
messages the postcondition also includes "delivered", "understood",
"processed", "replied."

FInally! I can agree with everything you say above, with only a slight edit.

The postcondition of sending an asynchronous message is *at most* "the message is underway".

Correct.


With a synchronous message the postcondition is *at most* "delivered", "understood", or "processed"

Wrong.
The post-condition is *at the very least* ... (which is what Dmitry stated
when he wrote "the postcondition also includes" ) .


Regards,
Steven Perryman
.