随着复杂业务流程和组件重用的日益增多，越来越多的组合服务或是功能丰富、内部逻辑复杂的大粒度服务开始出现在软件开发和应用集成中。大粒度服务加快软件开发速度，为软件企业带来竞争优势，但增加了表现形式、内部逻辑和交互过程的复杂度，为服务组合、服务验证带来了新的挑战。本项目在上一个小额资助基金的研究基础上，进一步深入研究服务交互时的状态变迁、过程流转、消息传递等动态行为对服务验证带来的影响。主要研究内容如下：1）通过研究适合当前服务描述语言的大粒度Web服务模型，为解决大粒度Web服务组合验证问题提供模型和理论基础；2）使用Petri网建立由大粒度服务内部业务逻辑控制的过程流程模型，使用π演算建立大粒度服务间交互协议模型；3)研究大粒度服务语法语义兼容性；4）研究大粒度Web服务行为兼容性。本课题工作不仅为大粒度Web服务组合验证提供理论指导，而且对服务组合的正确运行和监控具有重要意义。