이벤트는 오브젝트 사이의
통신을 위한 비동기 수단을 제공합니다.
반응 오브젝트와 태스크 둘 다 이벤트를 수신할 수 있습니다.
이벤트는 상태 차트에서 상태 전이를 트리거할 수 있습니다.
오브젝트에 이벤트 수신을 추가하면
해당 유형의 이벤트를 수신할 오브젝트의 기능이 정의됩니다.
특정 유형의 이벤트를 이용할 수 있음을 표시하기 위해
오브젝트의 스펙 파일에 주석이 추가됩니다.
예를 들어, 오브젝트 유형 G가
ev1 이벤트를 수신할 수 있는 경우 다음 주석이
G의 스펙 파일에 추가됩니다.