O'Reilly logo

Executable UML: A Foundation for Model-Driven Architecture by Marc J. Balcer, Stephen J. Mellor

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

14.4. Input Conditioning

Partitioning control into concurrently executing state machine instances requires their synchronization, but this can introduce more complexity than was removed by the original partitioning of control.

Consider, as an example, the synchronization between the selection and the shopping cart. Broadly:

  • Creation of a selection requires the prior creation of a cart.

  • Several selections can be made at once because objects execute concurrently, requiring interselection coordination.

  • After checkout, no more selections can be made, which requires coordination with the cart.

  • Cancellation of the order must prohibit further selections.

The difficulty is that these rules are not trivial to enforce in the general case. Worse, in reality, ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required