大粒度服务作为服务计算领域一个新兴的研究领域,受到了越来越多的关注。大粒度服务的出现和应用加强了互联网环境中服务共享、重用和集成的能力。为用户快速构建复杂系统提供了一种新的行之有效的手段。但是由于大粒度服务不仅包含服务的输入、输出、消息、操作等静态的服务语法和语义信息,而且还包含了诸多动态属性,如服务的内部控制流、数据流、交互协议、状态变迁等,因此大粒度服务无论在最初的建模过程中,还是之后的大粒度服务组合过程中,大粒度服务之间或者大粒度服务和原子服务之间的交互行为都具有更加复杂的过程。因此,研究大粒度服务的建模、组合、验证、适配等,提出一套支持大粒度服务的服务开发环境和运行环境,是大粒度服务能否得到广泛认同和应用的关键。本文在研究大粒度服务目前国内外研究状况的基础上,、在大粒度服务描述语言、大粒度服务建模和大粒度服务模型验证这三个方面开展了一些初步的研究工作。提出了一种刻画大粒度服务模型的描述语言CGSL (Coarse-grained Service Language),不仅刻画大粒度服务模型的功能、接口等信息,还可以刻画大粒度服务执行过程中的状态和状态变迁,内部的约束条件和语义推理信息等。提出了一种基于Petri网的大粒度服务形式化描述模型CGPN(Coarse-grained Service Petri Net),对大粒度服务内部的流程和状态进行了形式化表达,并且借助Petri网可覆盖图的分析方法、基于矩阵的分析方法,检查CGPN网的安全性、迁移的活性等特性,进而验证大粒度服务模型的内部流程的安全性、可执行性和大粒度服务间简单交互行为的兼容性。最后本文根据大粒度服务建模和验证的需求,构建了一个包括流程建模模块、参数映射定义模块、数据流浏览模块、CGPN网验证模块和测试模块在内的大粒度服务组合验证工具的原型系统,为用户提供了一个方便直观,简单易用的大粒度服务开发工具。