基于事件逻辑的CPS组件协同模型

针对CPS系统的异构性、实时性、物理世界与信息世界的高度融合等特征,提出了基于事件逻辑关系的组件协同代数模型。首先,定义了基于时空事件接口的组件形式化表示方法,建立了基于事件驱动的组件协同体系架构。然后,根据组件协同方式分析了事件间的逻辑关系,建立了组件协同代数系统。最后,以智能家居的非法入侵行为为例,使用协同代数式描述事件驱动组件行为的过程。分析表明,基于事件逻辑的组件协同代数模型能够清晰地反应组件间的交互关系,屏蔽了组件的异构性,实现了物理进程与计算进程的融合,为CPS系统的形式化建模提供了新的方法。