随着计算机网络,传感器网络和移动设备的发展,普适计算得到了越来越多的关注和研究,基于普适计算的应用也越来越多。为了保证以服务为单位的应用程序执行的可靠性,需要考虑在服务组合和执行层面上的事务模型和上下文感知的事务管理。本文在总结服务组合技术和事务模型及现有规范基础上,结合普适环境自身的限制及其服务的特点,研究和设计一种普适环境下的服务层的事务模型,进而得出可靠服务组合中间件框架,用来保证服务的可靠性。主要研究分为以下几个方面:1.对服务组合的现有技术进行了分析和研究,参考相关的规范和协议,对事务模型和web service已有的事务规范进行了分析。在普适环境下的树状分层服务模型基础上,研究了适合于普适环境特性的事务模型。2.参考现有的上下文描述和推理技术,对上下文进行描述、建模和推理,向普适环境下的组合服务执行引擎传递上下文信息,以实现上下文感知的事务管理。3.在上述事务模型和实现上下文感知的基础上,设计了一种普适环境下的可靠服务组合中间件,完成了整体架构和各个功能模块设计。并实现了中间件原型系统。在普适计算环境下,事务模型大都是在数据流及其管理层面的。而随着研究的深入,SOA架构也被应用到普适计算环境中,设备可以被包装成服务和web服务组合起来共同完成任务。不论是原有的分布式事务还是web服务的事务模型都不能够完全满足普适环境下上下文感知和设备服务的动态加入或者退出计算的特性。本文针对这些特点,在分层设计服务层面上设计的事务模型在一定程度上解决了上述问题。通过系统原型实现的中间件系统在典型场景下能够达到预期目标。