基于AOP的时空Petri网的CPS建模

作者：宋振华; 张广泉

来源：计算机科学, 2017, 44(07): 38-73.

• 面向方面
• 建模
• CPS
• Petri网

信息-物理融合系统(Cyber-Physical System,CPS)作为一系列物理过程和计算过程的紧密集成,体现为物理世界和信息世界的交互与融合。针对CPS的时空及非功能属性,提出一种面向方面的时空Petri网建模方法,在保证时空一致性的前提下,分离系统中的核心关注点和横切关注点,将横切关注点单独作为方面进行分析,并将构建规则方面重新织入系统。该方法在系统设计阶段可以对不同的非功能属性进行形式化分析,提高了系统的可靠性和可维护性。最后通过实例说明了该方法的可行性。

• 单位
  苏州大学; 中国科学院; 计算机科学国家重点实验室