> the Wikipedia description isn't completely wrong. The message 704
> example is non-deterministic by the rules of Executable UML, but it
> will produce a deterministic executable, for a given architecture.
This is not true if the two objects are on different computers, and the
signal and query mechanisms are implemented using different
communication mechanisms. The implementation could be truly
non-deterministic. But it would not "break" the Executable UML model
specified in message 704.
Hi All Some time ago, I posted a question (message 704) to this list about Determinism/Non-Determinism in Executable UML, which Marc was kind enough to answer...
My quick stab at the question inserted below. I am hoping your question provokes some further discussion. ... I think the confusion may center around the...
The problem posed in question 704 <http://tech.groups.yahoo.com/group/executableuml/message/704> was Suppose you have a PIM expressed in Executable UML...
Hi Marc ... written, all 'send signal' actions occur at the end of the procedure's execution." You seem to be suggesting that the semantics of the Executable...
If by "suppose we made a rule", one means "suppose the modelers and architects on a given project together agree to make a rule for that project that said...",...
... I actually put that wording into the Wikipedia entry. I'm not sure what prompted me to use "deterministic system" vs "system", but the Wikipedia...
Hi Lee ... This is not true if the two objects are on different computers, and the signal and query mechanisms are implemented using different communication...
... What I meant was, if you use an architecture that ensures a strictly synchronous signaling mechanism on a single-threaded system (no side effects), then...
Hi Lee ... Exactly. And if this is possible, the Wikipedia entry is wrong (or at least misleading). I would suggest that it be changed, to avoid trouble from...
Hi All Just to make my own point of view clear, and lest my position be seen as gratuitous pedantry: There are some languages that deal with concurrency but do...
On Thu, Oct 9, 2008 at 12:11 AM, Ashley at Metamaxim ... I would agree that it is misleading, perhaps even fundamentally so. Properly understood, any...
Hmmm... Somebody copied where a link would have sufficed. This is the actual problem that should be corrected. I posted as much to the discussion section of...
Someone's not clear on what's in which Domain. J From: executableuml@yahoogroups.com [mailto:executableuml@yahoogroups.com] On Behalf Of Lee Riemenschneider ...
... If ExecutableUML were truly deterministic it would no longer be useful for interacting with a physical world that was not in fact deterministic. I would...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
Offline 
Send Email