11.3. Rules about Procedures
The following comments refer to the “Rules about Procedures” enumerated in the box above.
Run-to-completion.
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.
Propagation. ...
Get Executable UML: A Foundation for Model-Driven Architecture now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
