Dynamic Model for the Car Rental Company Example

This is the dynamic model of the car rental company example in statechart notation. Each component of the diagram (separated by dashed lines) describes the behavior of objects of a certain class (or template, see the specification). The combination of all components models the state of the complete object base.

Home|People|Teaching|Publications