1281.135 전이 조건과 가드 함수의 문서화 표준