1278.181 분산 시스템에서의 상태-이벤트 동기화 설계