近年来,有两项重要的研究工作推动着WWW(World wide Web)技术的发展,一方面是Web服务研究,另一方面则是语义Web的研究。两者具有很好的互补性,Web服务是Web上信息和数据集成的有效机制,现有Web服务的技术标准解决了许多技术层次上的问题,但是在Web服务及其描述中并不包含语义信息,这一点已经成为Web服务发展和应用中的严重障碍。在现有的Web服务描述中加入语义注解能为智能自动服务的实现奠定基础。将本体的概念和相应技术引入Web服务技术中,将从根本上解决以上问题。 由于本体具有丰富的语义和广泛的关系,它将变革现有的Web服务,使之成为语义Web服务,使Web实现从自动化到智能化的转变成为可能。也就是说,通过合理的设计,可以充分发挥它们各自的优势,既结合语义Web的语义扩展,也结合Web服务的分布特性,最终提供一种基于语义的自动Web服务协作机制。本文主要是基于现有本体理论研究的基础上,着重研究Web服务的自动发现和服务的合成技术。利用语义描述和服务本体实现服务发现的高效率和自动化,用本体语言对现有Web服务进行语义标记,使服务变成机器可理解的、能够使用智能主体分析识别,从而实现服务的自动发现和合成。为保证原子服务和合成服务在动态执行过程中的安全性和可靠性,通过对Petri网理论的研究,提出用Petri网提供的丰富的分析技术对Web服务的行为特性进行分析,对原子服务和组合服务建立了相应的Petri网模型,并对现有的语义Web服务模型进行了扩展。