本文介紹了一個基于工作流的web 服務組合系統，這個系統為說明組合服務的流模
型和用戶對組合服務約束提供了環境。在web 服務資源分配的約束下進行工作流建模和進度安排，并擴展它使其具有發現服務的功能。在組合服務建模中，系統引導用戶選擇相關的服務類型。在引導功能和發現服務階段都利用了基于本體的語義服務信息。
關鍵詞：動態web 服務組合，資源選擇，約束滿意問題，語義web 服務
Abstract：In this work, we present a web service composition system that provides an nvironment for specifying the flow model of the composite service and the user's constraints on he composite service. We adopt our previous work on workflow modeling and scheduling under esource allocation constraints for web service composition and extend it with service discovery unctionalities. In modeling the composite service, the system guides the user for selecting the elevant service types. In both guiding functionality and the service discovery phase, ntologybased semantic information of the services is utilized.
Keywords：Dynamic Web Service Composition, Resource Selection, Constraint Satisfaction
Problem, Semantic Web Services