支持人机一体化的探索式服务组合中的行为验证和智能推荐问题研究

项目名称： 支持人机一体化的探索式服务组合中的行为验证和智能推荐问题研究

项目编号： No.60970132

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 自动化技术、计算机技术

项目作者： 王菁

作者单位： 北方工业大学

项目金额： 30万元

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

中文关键词： 用户主导的探索式服务组合；最终用户编程；业务约束；服务组合一致性验证；编程推荐

英文摘要：

英文关键词： exploratory composition；end-user programming；business constraint；consistency verification；programming recommendation