该文结合国家十五攻关课题"北京2008奥运信息综合服务平台"项目,针对基于语义Web服务的动态服务协同系统中的关键问题进行了研究,并开发了一具基于语义的Web服务描述模型和工作流模型的动态服务组合平台DSC(Dynamic Service Composition).该文的主要工作和成果如下:⑴提出和设计了支持动态服务组合的语义服务描述模型设计了支持动态服务组合的语义服务描述模型,强调完整的服务描述不仅包括传统组件描述的输入输出等调用格式的内容,还包括参数的语义信息和服务的语义信息,同时还包括面向电子商务的Qos描述信息.基于三种描述信息,才可以很好的支持动态服务组合.⑵提出和实现了基于语义的Web Services 协同模型基于语义服务描述模型和工作流技术,设计和实现了基于语义的Web Services 协同模型,强调如何发现分散服务之间的逻辑关系、如何利用协同模型将分散服务组合起来、如何在服务组合过程中满足各种需求约束和服务间的语义约束.通过引入动态服务组合和服务匹配、绑定机制,并且和应用本体库密切配合,实现服务组合和资源动态绑定,真正有效地支持服务的动态组合与协同.同时,还讨论了利用Petri网进行协同模型的验证,保证模型的正确性和合理性.⑶动态组合中的服务失效处理和可靠性保障的问题我们提出了以服务为中心的可靠性模型,分析其中的异常模型和处理机制.基于本体库和对象模型,研究在服务协同模型中可能出现的各种异常,并提供相应的处理机制提高系统的可靠性.