面向可溯源的设备网格服务链模型推理和验证研究

现代科学的发展需要设备网格提供一个协作研究平台，实现大范围仪器设备的远程操作和协同共享。随着仪器设备自身和网格应用自身复杂性的不断提高，确保设备网格及其服务链模型的可靠性和高效性是构建设备网格的关键。对设备网格系统保障技术的研究与实现也是一个较新的研究方向和设备网格今后发展所必需重视的一个重要趋势。本项目以形式化方法和工具为交叉，从设备网格的应用设计、服务链执行、服务溯源和设备网格应用知识共享4个不同纵深层次，对设备网格的可信性、可靠性和可溯源性保障进行研究。其中包括：（1）基于模型验证和π演算技术的多维度设备网格应用可靠性综合分析与保障；（2）基于服务溯源的设备网格应用信息获取、推理与分析；（3）基于设备网格服务溯源信息的应用知识抽取与共享；（4）提供设备网格环境下的服务链自动化原型系统，以支持对设备网格应用可信性、可靠性与可溯源性的自动、易用、高效、可扩展的推理与保障。