中文摘要：

在人机一体化(human-machine synergy)的科学问题大背景下，针对网络化科研、城市应急等许多应用领域普遍存在的环境和需求动态不确定以及需要用户临机决策主导问题求解的实际需求，本课题主要研究以下具体问题如何即时检验用户构建的服务组合临机逻辑和系统中预置逻辑之间的一致性？如何为用户提供编程推荐，保障用户构建的服务组合临机逻辑向预置逻辑的收敛性？得出1）服务组合临机逻辑和预置逻辑的模型及建模语言；2）保障服务组合预置逻辑中的业务约束的合理定义和演化的原理；3）适于即时编程的服务组合临机逻辑和预置逻辑的一致性度量准则和方法；4）保证服务组合临机逻辑向预置逻辑的收敛性的推荐原理及优化机制。基于上述成果并结合实际需求，研发试验平台并给出验证结果。本项研究有望为降低网络化应用的开发成本、提高开发效率和提供质量保障做出实质性贡献。

结论摘要：

在人机一体化(human-machine synergy)的科学问题大背景下，针对网络化科研、城市应急等许多应用领域普遍存在的环境和需求动态不确定以及需要用户临机决策主导问题求解的实际需求，本课题主要研究以下具体问题如何即时检验用户构建的服务组合临机逻辑和系统中预置逻辑之间的一致性？如何为用户提供编程推荐，保障用户构建的服务组合临机逻辑向预置逻辑的收敛性？通过本项目的研究，得出了1）服务组合临机逻辑和预置逻辑的模型及建模语言；2）保障服务组合预置逻辑中的业务约束的合理定义和演化的原理；3）适于即时编程的服务组合临机逻辑和预置逻辑的一致性度量准则和方法；4）保证服务组合临机逻辑向预置逻辑的收敛性的推荐原理及优化机制。基于上述成果并结合实际需求，研发了试验平台并给出验证结果。目前，共发表专著1部；论文14 篇，其中SCI索引1篇，EI索引9篇，国内核心期刊论文5篇；获得授权发明专利2项，获得软件著作权登记1项。通过与相关工作的分析比较，可知所取得的成果具有创新性和领先性，可以有效降低网络化应用的开发成本、提高开发效率和提供质量保障。