디지털 라이브러리[ 검색결과 ]
이벤트 소싱과 CQRS 패턴을 활용한 데이터 재현 및 분산처리 사례 및 연구 동향
http://doi.org/10.5626/JOK.2020.47.12.1101
V2X, 인공지능, 및 자율주행 등과 같은 분야에서 수집되는 정보의 양이 매년 급증하고 있다. 데이터의 양이 급증하고, 종류와 형식이 다양해졌기 때문에 이기종 데이터를 수집·처리·저장하는 방법이 중요해졌다. 시스템 또는 애플리케이션의 상태 변경에 대한 모든 사항을 일련의 이벤트로 저장하는 방식인 이벤트 소싱은 메시지를 기반으로 한 이벤트 중심(event-driven) 설계가 가능하고, 시스템이나 애플리케이션의 상태 복원과 재현이 가능하다. 조회와 명령을 분리하는 패턴인 CQRS(Command and Query Responsibility Segregation)와 이벤트 소싱의 특징을 결합하여 대규모 데이터 처리를 위한 분산 시스템 아키텍처, 이벤트 소싱의 상태 재현을 활용한 데이터 분석과 디버깅을 위한 시스템과 애플리케이션 등에 활용할 수 있다. 이벤트 소싱을 활용한 데이터 재현 및 분산처리에 관한 사례 및 연구 내용을 소개한다.
Coq에서의 실시간 분산 시스템 검증을 위한 네트워크 및 운영체제 행동의 정형 모델 정의
http://doi.org/10.5626/JOK.2020.47.11.1071
정형 검증을 적용하여 분산 시스템의 안전성을 높이는 것은 중요한 과제이다. 분산 시스템 중 항공, 의료기기와 같은 안전 우선 시스템은 안전성의 위협이 큰 사고와 직결될 수 있다. 하지만 분산 시스템을 정형 검증하기 위해서는 소프트웨어의 실행 의미뿐만 아니라, 소프트웨어를 실행시키는 운영체제와 메시지를 전달하는 네트워크의 환경 등에 대한 기술이 필요하다. 우리는 Coq 증명 보조 도구 안에서 네트워크와 운영체제의 추상적인 행동에 대한 모델을 정의하였다. 이 모델은 단계적으로 네트워크 각 지역의 실행 규칙을 제시하고, 이로부터 전체 시스템의 행동을 구성한다. 우리는 이 모델이 실제로 분산 시스템 검증에 유용하게 사용될 수 있음을 보이기 위해 간단한 서버-클라이언트 시스템 검증을 수행하였으며, 이후 실용적인 소프트웨어 검증에 적용되기를 기대하고 있다.
