基于aop的时空petri网的cps建模-计算机科学.pdfVIP

Vo1. 44 No. 7 第 44 卷第7 期 计算机科学 2017 年 7 月 COMPUTER SCIENCE July 2017 基于 AOP 的时空 Petri 网的 CPS 建模 宋振华1 张广泉1 ， 2 (苏州大学计算机科学与技术学院 苏州 215006)1 (中国科学院计算机科学国家重点实验室 北京 100190)2 摘 要信息物理融合系统CCyber-Physical System ,CP创作为一系列物理过程和计算过程的紧密集成，体现为物理 世界和信息世界的交互与融合。针对CPS 的时空及非功能属性，提出一种面向方面的时空 Petri 网建模方法，在保证 时空一致性的前提下，分离系统中的核心关注点和横切关注点，将横切关注点羊独作为方面进行分析，并将构建规则 方面重新织入系统。该方法在系统设计阶段可以对不同的非功能属性进行形式化分析，提高了系统的可靠性和可维 护性。最后通过实例说明了该方法的可行性。 关键词 面向方面，建模，CPS， Petri 网 中固法分类号 TP301 文献标识码 A DOI 10. 11896/j. issn. 1002-137X. 2017. 07. 007 Modeling of CPS ßased on Aspect-oriented Spatial-Temporal Petri Net 1 1 SONG Zhen-hua ZHANG Guang-quan ,2 (School of Computer Science and Technology.S口 ochow University. Suzhou 215006. China) 1 (State Key Laboratory of Computer Science.Chinese Academy of Sciences. Beijing 100190.China)2 Abstract As a tight integration of computing and physical processes ,cyber-physical system CCPS) is the integration of cyber and physical worlds. According to the spatial-temporal and non-function properties in CPS ,this paper presented a modeling approach based on aspect-oriented spatial-temporal Petri net. It separates core concern and crosscutting con cerns from the system ,and allows for analyzing crosscutting cores as aspect modules while ensuring the consistency of time and space. By building rules ,these aspect modules will be woven into the system again. This approach can improve the reliability and maintainability for formal analysis of different non-function properties at the system design phase. At