... take a lookat the 2U ... it says about this. ... relate to the things I know ... mention of States, ... operators (isLater, isEarlier) ... traces of state...
Responding to Mark T... ... Yes, there seems to be a major risk. Recently there was an issue of IEEE Software that had five short pieces, including one by...
Are the IEEE Software articles on UML 2.0 you mention available on the web? I suppose that, if UML aims to be "descriptive" rather than "prescriptive" (i.e.,...
... few ... Are you sure this isn't a contradictory statement? After all, action languages are only supported by a few tool vendors. ;-) I actually don't think...
... <prenom_nomus@y...> wrote: . . . ... this ... I'm not on the UML 2.0 committee (my sanity is intact!). So I cannot present examples of what has been...
Responding to Riemenschneider... BTW, I just noticed I cited the wrong publication; the articles were in the ACM Communications, not IEEE Software. ... I don't...
Responding to McNeile... ... Actually, I miscited; sorry about that. They were in the ACM Communications about 2-4 months ago. Sorry about that. I know that...
I just finished reading Executable UML and was unable to determine the justification for one of its design decisions. Most state machine executives I have...
Hello Caitlin - ... No. I'll let Steve and/or Marc respond more fully why they chose only Moore notation for the book, but in general simplification is a good...
... I'll post a second message after this one that summarizes our rationale behind the simple Moore state machine (actions on states) approach. ... A state...
In the Executable UML book we model object lifecycles using state machines in which the action is executed upon entry to the state. These are known as Moore...
IMO, actions on transitions and actions on states are both necessary, but appropriate in different circumstances. Take the example of a Bank Account. The...
Responding to Bestler... Let me add an additional spin to what Balcer and Fontana said WRT why Moore is used. There is an aesthetic problem with the Mealy...
Hi, In our university we are in the process of introducing executable UML as an "advanced" topic in the UML/OOAD undergraduate course. We plan to teach UML 1.4...
... Yes. I've proposed a number of proof of concept trials focusing on different areas of expected benefit. Luckily I have the groundwork laid for a number of...
... necessary, but appropriate in different circumstances. ... be attached to the withdraw transition. This because this action is part of the semantics of a...
... My thinking has always been that an object is *either* executing a method or it is in a idle state. From a QA point of view there is a major potential...
... I can see how a "decision state" can be implemented as a state with actions that *always* produce a signal to self. But this strikes me as considerably...
Our book, Executable UML, uses an online bookstore case study throughout to illustrate key points. That same case study is presented completely in the...
Hello Miguel, ... We have a complete, executable xUML example available as part of our UML Essentials product release. If this is to be used as part of a...
... Remember, though, what Albert Einstein said: "Everything should be made as simple as possible, but not simpler." Rgds Ashley ... From: Lee Riemenschneider...
... I'm not seeing the connection between your answer and the original question. To expand a bit on the withdrawal example, withdrawal may have a postcondition...
Responding to Garcia... ... I assume you are aware that executable UML employs OOA models for the application and that many of the artifacts in UML v1.4 are...
Responding to Bestler... Alas, it wasn't until the end of your message that I understood the nature of our disconnect. ... The notion of an Idle state has a...
... If you ... I would gladly trade difficulty in the modeling for simplicity in verification of the model every time. The gotcha is that allowing actions on...
... Certainly this is true, and in general the more gizmos you give a modeler the worse they will do (in terms of clarity and correctness). I have been an...
Responding to Bestler... You have to read the last part of my earlier response to you today to know where I am coming from here... ... In practice one rarely...
1. Moore and Mealy machines are mathematically equivalent. 2. Other variations of state machines, all the way down to the variation of Harel used in UML,...