Reliability Verification on MTS-based Transaction System

MTS기반 트랜잭션 시스템의 안전성 검증

컴포턴트 기반 소프트웨어 개발(CBD)은 점차 대중화되어 가고 있는 소프트웨어 개발 방법이며, 최근에는 여러 미들웨어들이 서버 컴포넌트를 이용한 CBD를 지원하고 있다. 본 논문에서는 Microsoft Transaction Server(MTS)를 이용하여 서버 컴포넌트를 기반으로 안전한 트랜잭션 시스템을 디자인하고 검증하는 방법을 제시한다. 위의 목적을 위해 우선 MTS를 이용한 트랜잭션 시스템을 정형화하고, 정형화된 프레임워크를 이용해, 디자인한 시스템이 명세를 만족하는지 검증해 볼 것이다. 또, 위의 프레임워크를 위해 MSDN에 있는 은행 시스템을 예로 들어서 그 시스템이 만족해야 하는 명세를 위배한다는 것을 보이고, 명세를 위배하지 않도록 시스템의 설계를 변경할 것이다. 우리는 MTS에서 컴포넌트가 트랜잭션에 참여하는 방식이 시스템의 확장성과 안전성에 영향을 줄 수 있다고 생각하며, 그렇기 때문에, 우리가 제시한 프레임워크가 트랜잭션 시스템의 안전성과 확장성을 평가하는데 있어 유용할 것으로 기대한다.