> Suppose we made a rule that said, "no matter how the procedure is
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 UML
language can (by the introduction of new rules) be changed so that
models expressed in it are deterministic. I have no doubt that this is
possible, although might require more than just the rule single extra
rule that you suggest.
Are you saying that such a change to the semantics is required/desirable?
The introduction of such a change would, of course, make the Wikipedia
description correct!
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