多租户软件技术是软件即服务模式的关键技术之一,多租户软件具有可定制性、可扩展性、可管理性和安全性,这些特性确保多租户应用能够满足租户特定的需求,降低了服务提供商的开发成本、硬件成本及升级维护成本。如何有效地解决多租户软件的虚拟、隔离和定制问题已成为当前研究的重点。多租户软件既要满足服务虚拟与隔离,又要满足租户的可定制需求,其体系结构与传统的软件体系结构存在较大差异。当前对多租户软件体系结构的研究非常少。本文提出了一种基于信息系统的多租户软件体系结构,并研究服务虚拟的正确性问题。多租户软件体系结构是一个以虚拟中间件为基础的分层结构,不同于传统的软件体系结构,它应具有处理服务虚拟、隔离和定制的能力,我们把它分为客户层、表现层、服务配置层、控制层、业务逻辑层、数据隔离层和数据库层。其中,服务配置层和数据隔离层是实现多租户软件虚拟、定制和共享的关键。虚拟中间件位于服务配置层,负责服务的虚拟和定制,建立服务虚拟,并验证服务虚拟的正确性,同时管理租户的配置信息,保证多租户软件服务的有效性和可定制性,避免系统出现错误。该体系结构充分考虑了软件即服务模式的特点,从结构上为开发该类型提供具体的、可操作的解决方案。为了研究多租户软件体系结构的正确性,本文采用了形式化方法,将基于服务的多租户软件转化为一个称为“依赖结构”的形式化模型,讨论服务虚拟的代数性质,并以弱终止为正确性标准研究了服务虚拟的正确性问题。服务虚拟的正确性能保障软件服务质量,提高多租户软件的性能、效率和可靠性,这些工作为今后研究多租户软件服务虚拟管理、业务自动配置提供了理论基础。