@@ -31,25 +31,25 @@ package 'Interaction Realization-1' {
3131
3232 occurrence cruiseControlInteraction_a : CruiseControlInteraction {
3333 part :>> driver :>> driver_a {
34- event occurrence :>> setSpeedSent = driverBehavior.sendSetSpeed ;
34+ event driverBehavior.sendSetSpeed[1] :>> setSpeedSent;
3535 }
3636
3737 part :>> vehicle :>> vehicle_a {
3838 part :>> cruiseController :>> cruiseController_a {
39- event occurrence :>> setSpeedReceived = controllerBehavior.receiveSetSpeed ;
40- event occurrence :>> sensedSpeedReceived = controllerBehavior.receiveSensedSpeed ;
41- event occurrence :>> fuelCommandSent = controllerBehavior.sendFuelCommand ;
39+ event controllerBehavior.receiveSetSpeed[1] :>> setSpeedReceived;
40+ event controllerBehavior.receiveSensedSpeed[1] :>> sensedSpeedReceived;
41+ event controllerBehavior.sendFuelCommand[1] :>> fuelCommandSent;
4242 }
4343 part :>> speedometer :>> speedometer_a {
44- event occurrence :>> sensedSpeedSent = speedometerBehavior.sendSensedSpeed ;
44+ event speedometerBehavior.sendSensedSpeed[1] :>> sensedSpeedSent;
4545 }
4646 part :>> engine :>> engine_a {
47- event occurrence :>> fuelCommandReceived = engineBehavior.receiveFuelCommand ;
47+ event engineBehavior.receiveFuelCommand[1] :>> fuelCommandReceived;
4848 }
4949 }
5050
51- message :>> setSpeedMessage = driver_a.driverBehavior.sendSetSpeed.outgoingTransfer;
52- message :>> sensedSpeedMessage = vehicle_a.speedometer_a.speedometerBehavior.sendSensedSpeed.outgoingTransfer;
53- message :>> fuelCommandMessage = vehicle_a.cruiseController_a.controllerBehavior.sendFuelCommand.outgoingTransfer;
51+ message :> driver_a.driverBehavior.sendSetSpeed.outgoingTransfer :>> setSpeedMessage ;
52+ message :> vehicle_a.speedometer_a.speedometerBehavior.sendSensedSpeed.outgoingTransfer :>> sensedSpeedMessage ;
53+ message :> vehicle_a.cruiseController_a.controllerBehavior.sendFuelCommand.outgoingTransfer :>> fuelCommandMessage ;
5454 }
5555}
0 commit comments