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

摘要：

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

关键词：面向方面、建模、CPS、Petri网

所属期刊栏目：44

分类号：TP301(计算技术、计算机技术)

在线出版日期：2017-08-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：38-41,73