예를 들어 다음 상태 전이에서 OccSensor 오브젝트가 수신하는 updateOcc() 이벤트와 함께 전달되는 occupancy 매개변수의 값은 set_occStat() 오퍼레이션의 두 번째 매개변수로 전달됩니다.
updateOcc()/ OccSensor_set_occStat(me, params->occupancy);
이 예제에서 updateOcc() 이벤트는 상태 전이의 트리거이고 OccSensor_set_occStat() 호출은 결과로 실행되는 조치의 일부입니다.
즉, OccSensor 오브젝트가 매개변수 1(updateOcc(1))의 updateOcc() 이벤트를 수신하는 경우 센서의 occStat 속성은 그 결과 값 1로 업데이트됩니다.