SOA的等级化服务替换理论与机制研究

面向服务的体系结构SOA是一种新兴的软件架构，在应用集成、电子商务、电子政务、电子科研等领域有着极大的潜在价值。其软件构造方式- - 服务合成及其成员服务替换对于改善在线软件的可用性，支持软件的持续演进，增强软件的可生存性具有重要的意义。服务替换理论及机制已成为一个科学问题。国内外已在面向替换问题的服务行为建模、服务的相容性质揭示、服务的替换机制设计等方面取得了一些成果。SOA的发展，提出了一些迫切需要解决的新问题。应对信息与数学交叉类"新型软件体系结构的理论研究"需求，基于国内外相关成果和项目组的技术储备，本项目拟在服务相容性定义、替换服务的组织、等级化替换机制设计、服务于替换谱系的模型检验理论四个方面取得创新性成果，揭示SOA软件构建过程的科学特征，开发实用的支撑技术。研究将采用多方协作、重点突破、理论与实践相结合的技术路线。并以生物信息学Web服务工作流为案例，检验理论与技术。