[00105506]EDSOA 理论基础研究

　　该项目主要研究内容如下：
　　1。在物理系统和传感器进入信息空间的第一道关口，将物理过程和信息过程相互独立的建模，并通过分布式事件将二者松耦合的连接在一起；连接过程中，采用动作理论全面描述信息过程的物理动作效果，为上层应用提供正确推理的基础；同时采用分层和模块化的方式驾驭物联网服务系统建模的复杂性。
　　2。在服务生成层面：使用柔性化方法，逐步建立具有严格属性约束的物联网服务系统， 在建模阶段，建立声明式系统模型，容纳后续变化；在部署阶段，采用实例细化和事件细化两种方式，绑定服务、生成物联网服务属性；在运行阶段，依据服务实例模型，推荐用户可
　　以在线定义的服务行为，并通过在线验证机制，确保用户的修改具有正确的行为属性。
　　3。在物联网服务系统运行层面：采用协同逻辑与计算逻辑分离，并将计算逻辑转化为复
　　杂事件，从而分解一个高层的物联网应用为多个原子服务和协同逻辑碎片，满足实时分布式系统需求；并借助分布式资源池和分布式服务基础设施，实现系统的扩展性；通过事件驱动机制解决反应式物联网服务系统分布式运行过程中“Glitch”不一致性的问题。
　　4。在开放性保障层面：采用运行时监控和虚拟化隔离机制，为物联网服务系统提供融合功能安全和信息安全的安全保障，首先通过多源观察解决隔离化带来的服务运行过程观察困难的难题，其次融合矛盾的观察、融合物理模型和信息模型，最后，采用分割式方法提供实时验证性能。
　　该项目为物联网服务系统的构建提供了良好的理论基础，并通过原型系统的建立，为物联网系统的构建提供了实际工程指导和借鉴。