中文摘要：

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

英文摘要：

According to the characteristics of heterogeneity, instantaneity, and high integration of physics and cyber in CPS, an event logic-based component coordination algebra model is built. Firstly, a temporalspatial event interface based on component formal expression is defined, and an Event-Driven based compo- nent coordination behavior model is proposed. Then, according to the coordination modes between compo- nents, logical relationships between events are analyzed. Finally, taking the illegal invasion into smart home as an example, the paper uses the coordination algebra model to describe the process of event-driven component conduit. The analysis show that event logic-based component coordination model can realize interaction between components and integration between physical process and computational process, shield the heterogeneity between components, and provides a novel method for formal modeling of CPS.