针对SOA应用系统中的服务动态扩展问题进行研究,提出了基于SOA的服务动态扩展系统模型,该模型在SOA架构的基础上,引入了服务资源池和服务动态扩展思想,把系统可用服务放入资源池中供系统调用,通过调整资源池的服务组成和规模实现服务动态扩展。本文给出了系统模型框架和服务动态扩展的功能逻辑,并使用ASML语言描述模型中的动态扩展规则,最后使用Spec Explorer对系统模型进行仿真测试,验证了系统的可行性和有效性。