随着Web服务研究技术的不断发展、研究领域的不断扩大,将“基于语义”的思想和技术引入到服务计算的各个环节已成为实现服务计算智能化和准确性的热点和难点。尤其在Web服务建模从简单的接口模型到描述服务内部细节的复杂行为模型的发展过程中,如何将语义信息附加到服务行为中进行基于语义的行为交互和动态适配并建立模型,在行为操作层面引入语义标识、语义判断、语义适配的方法,不断提高Web服务行为的智能化,成为服务计算研究领域的一个重要方面。本文阐述了建立基于语义信息的服务行为交互适配模型的研究背景及研究意义,总结了国内外关于Web服务交互模型的形式化表示方法以及服务交互适配技术的研究基础和现状。扩展一种具有强大描述能力的高级Petri网—C_net网,进而对基于语义信息的服务交互模型进行形式化表达,实现附加服务行为内部活动上的语义信息及服务行为规则；建立基于语义的服务行为交互过程中的失配检测模型并提出语义失配检测算法,考虑服务行为在与用户动态交互时引起的语义信息的变化,并对由语义信息的变化引起的语义失配进行检测和分类；针对不同的语义失配类型生成动态交互过程中的语义适配模型并提出语义适配模型的生成算法,使服务行为能够在满足语义信息相符的情况下完成正常交互。最后,通过使用C_net对基于语义的Web音频下载系统进行形式化建模和分析,实现了对音频下载平台和用户请求服务的各个活动及行为规则附加相应的语义信息,并在动态执行各个功能时考虑语义约束条件的影响,针对交互过程中由于语义约束条件引起的语义失配生成相应的语义适配模型,实现了Web音频下载平台与用户在服务行为语义操作层面的交互正确性和交互最大化。本文使用C net网进行基于语义的服务行为交互适配模型的形式化表达,为服务行为交互模型和适配技术引入了动态语义信息的附加和约束,并在交互模型的基础上讨论由于服务交互和动态执行引起的语义失配以及相应的适配策略,为提高服务行为交互的正确性和执行性提供了理论依据。