To achieve a new web service functionality based on already existing web services, we need to describe a web service composition which consists of not only a set of interface collaborations among the web services but also a set of internal behaviors of the web services like a business process. But the description of a web service composition should be verified in terms of the correctness or time-related properties while representing internal and external behaviors which are written in xml-based standards, such as WSBPEL or WS-CDL. In this paper, a verification method is proposed which evaluates the choreography and the composition of the orchestrations for a web service composition. For that purpose, this paper provides a transformation method from orchestration descriptions and a choreography description to a set of formal state-based models. Moreover, we suggest analysis guidelines to evaluate the static and dynamic properties of the expecting web service composition through checking the simulation results.
기존의 웹 서비스를 활용하여 새로운 기능을 제공하는 웹 서비스 조합 방법은 기존의 웹 서비스 시스템을 재활용하여 다양한 시스템의 연동이 필요하기 때문에 생각지 못한 기능 오류가 발생할 수 있다. 이러한 문제를 해결하기 위하여 웹 서비스 조합 시스템을 구축하기 이전에 가상적인 웹 서비스 조합의 설계를 기술하고 검증하는 방법이 필요하다. 기존의 웹 서비스 조합을 기술하는 방법은 오케스트레이션 방법 혹은 코레오그래피 방법으로 구분할 수 있으며, 각각의 기술 방법에 따라 검증 도구가 연구되고 있다. 하지만, 웹 서비스 조합은 두 가지 방법이 혼재되어 사용될 수 있으며, 이를 위한 검증 방법은 기존의 연구에서는 고려되지 않았다.
이 논문은 오케스트레이션 기술 방법인 WSBPEL 과 코레오그래피 기술 방법인 WS-CDL 을 기반으로 기술된 웹 서비스 조합을 공통의 모델링 언어를 사용하여 변환하는 방법을 제안한다. 이를 위하여 DEVS 형식론은 동적인 상태 표현 및 시뮬레이션 환경을 제공하고 있어 공통의 모델링 언어로 선택하였다. WSBPEL 과 WS-CDL 에서 DEVS 형식론으로의 변환 방법은 변환 순서와 변환 테이블로 구성되어 xml 문서를 입력으로 받아서 DEVS 모델을 출력으로 한다.
이렇게 획득한 DEVS 모델은 기존에 배포된 DEVS 기반의 시뮬레이션 환경으로 동적인 상태 변화를 추적할 수 있다. 본 논문에서는 시뮬레이션 결과에 따라서 분석하는 웹 서비스 조합의 속성을 제안하여 분석 가이드라인을 설명하고 있다. 상태를 가지는 웹 서비스들의 조합에서 발생하는 상태 불일치와 상호 교환 메시지의 불일치를 DEVS 형식론에 근거하여 기술하고 검증하는 방법을 제안하였다.
마지막으로, 본 논문에서는 실용적인 케이스에 적용하기 위하여 기존의 연구에서 채택하고 있는 여행계획 프로세스에 적용하여 본 논문에서 제안하는 방법의 실례와 결과를 설명한다.
