현재 거대한 트래픽을 처리하는 단일 모놀리식 애플리케이션을 마이크로서비스 아키텍처로 점진적으로 전환하려 합니다. 각 서비스가 독립적인 데이터베이스를 소유하는 상황에서, Saga 패턴(Choreography 및 Orchestration 방식)과 이벤트 소싱(Event Sourcing)을 활용하여 분산 트랜잭션의 ACID 속성을 보장하고 최종 일관성(Eventual Consistency)을 달성하는 상세한 설계안을 작성하십시오. 특히, 부분 실패 시 복구를 위한 보상 트랜잭션(Compensating Transaction)의 메커니즘과 순서 보장을 위한 메시징 시스템의 아키텍처를 구체적으로 기술해야 합니다.