Key points are not available for this paper at this time.
최근 서비스 지향 아키텍처(SOA)가 효과적인 소프트웨어 개발을 위한 기술로 주목받고 있습니다. SOA 기반 시스템은 일반적으로 BPEL4WS와 웹 서비스를 조합하여 구현됩니다. BPEL4WS는 여러 웹 서비스 간의 상호 작용을 정의하는 데 사용됩니다. SOA 기반 시스템의 의미론이 복잡하기 때문에 이러한 의미론의 효과적인 검증은 시스템의 효과적인 개발에 필수적입니다. 본 논문은 SOA 기반 시스템의 효과적인 개발을 위한 시뮬레이터와 관련된 개발 절차를 제안합니다. 이 시뮬레이터는 BPEL4WS 정의에 해당하는 UML 모델을 실행할 수 있으며, 기존의 웹 서비스를 시뮬레이션에 통합할 수도 있습니다. 또한, 시뮬레이터의 설계 및 구현에 대해 설명합니다.
Kurahata et al. (금요일)은 이 문제를 연구했습니다.