UML&OCL Modeling Languages


Practice (3c)

  1. Consider the control software of the following picture. This one can activate two valves V1/V2 (to refill or purge the tank) and a level sensor.