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 (message 705). In my question I described a very
simple model and asked whether its behaviour was deterministic.
Marc's answer was that it was not.

I was puzzled, therefore, to see that the Wikipedia entry for
Executable UML (http://en.wikipedia.org/wiki/Executable_UML) says in
its introduction that "Executable UML graphically specifies a
deterministic system using a profile of the UML". This does not seem
to agree with the conclusion above.

My understanding is that Executable UML models are, in general, non-
deterministic. However, there are probably rules that can be appplied
to the formation of a model that guarantee that it is deterministic.
As far as I know, these rules have never been articulated.

Is the Wikipedia entry assuming the existence of such rules? If so,
have they been articulated anywhere?

Or is the Wikipedia entry wrong?

Thanks
Ashley