웹 서비스의 시뮬레이션, 검증 및 자동 조합

웹 서비스는 웹에서 접근 가능한 프로그램 및 장치로, 시맨틱 웹의 주요 응용 분야입니다. 웹 서비스의 확산과 시맨틱 웹으로의 발전은 다양한 웹 서비스 작업을 자동화할 기회를 제공합니다. 우리의 목표는 마크업 및 자동 추론 기술을 활용하여 웹 서비스의 작성, 시뮬레이션, 조합, 테스트 및 검증을 설명하는 것입니다. 우리는 웹 서비스의 기능을 설명하기 위해 DAML-S DAML+OIL 온톨로지를 출발점으로 삼습니다. 우리는 관련된 DAML-S의 하위 집합에 대한 의미론을 일차 논리 언어의 측면에서 정의합니다. 의미론을 기반으로 서비스 설명을 페트리 네트 형식으로 인코딩하고 웹 서비스의 시뮬레이션, 검증 및 조합을 위한 결정 절차를 제공합니다. 우리는 또한 설명할 수 있는 DAML-S 복합 서비스에 대한 다양한 제약 아래에서 이러한 작업의 복잡성을 분석합니다. 마지막으로, 우리의 분석 기술의 구현을 제시합니다. 이 구현은 웹 서비스의 DAML-S 설명을 입력으로 받아 자동으로 페트리 네트를 생성하고 원하는 분석을 수행합니다. 이러한 도구는 기존 수동 웹 서비스 조합 도구의 백엔드로서, 그리고 웹 서비스 개발자를 위한 독립형 도구로써 폭넓은 적용 가능성을 가집니다.