1283.115 SMACC2와 다른 상태 머신 프레임워크의 아키텍처 비교