随着Internet技术,传感器网络和移动设备的发展,普适计算得到了越来越多的关注和研究,越来越多的普适设备融入到人们的生活与工作环境中,为人们提供各种各样的服务功能。因此如何有效地整合这些服务功能,简单、方便、有效地构造复杂的服务组合应用已经成为了普适计算中的一个研究热点。本文对普适环境下的服务动态组合问题进行研究,基于抽象状态机理论提出一套适合普适环境下服务组合的形式化模型,并验证其在普适服务开发应用领域的可行性。首先,本文在分析现有服务组合技术的基础上,提出一套适合普适环境下进行服务动态组合的基础框架,主要是采用分级结构的服务组织方式,将参与到普适环境中的所有设备按照性能差异组织成层次的结构,然后在该分级服务模型的基础上,采用基于规则树的服务自动组合方法,即先为用户期望的每一个目标分别生成最优目标路径,最后将所有的最优目标路径进行合成,从而得到满足用户需求的组合服务。该组合框架具有重组效率高,复杂度低的特点。其次,利用抽象状态机刻画该服务动态组合的基础框架,构建普适环境下服务动态组合的基础模型,然后对该基础模型中各个模块内部的处理行为和输入输出行为又进行了进一步的分解和精化,并对应成为抽象状态机的各个子规则。最后,利用抽象状态机执行引擎CoreASM,按照各个子规则来模拟执行组合服务流程,从而验证所提出模型的可行性和正确性。实验结果表明,我们所提出的模型能够有效地构建正确的普适环境下服务动态组合系统,对后续普适服务应用开发具有一定的指导意义。