May 2002
Intermediate to advanced
416 pages
8h 37m
English
The following comments refer to the “Rules about Procedures” enumerated in the box above.
The key rule here (Procedures: 4) is called run-to-completion. It states that the procedure must complete its execution before the object can recognize another signal directed to the state machine. This is a standard UML rule for execution carried over into Executable UML without change.
It is not literally correct to say that a procedure is “atomic” or “uninterruptable,” because other procedures in other objects can, in fact, interrupt and even access data in use by other procedures. This is important because you must design your models to take into account other objects accessing the same data as you.
Read now
Unlock full access