计算机科学 ›› 2017, Vol. 44 ›› Issue (7): 38-41.doi: 10.11896/j.issn.1002-137X.2017.07.007

• 2016 年全国理论计算机科学学术年会 • 上一篇    下一篇

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

宋振华,张广泉   

  1. 苏州大学计算机科学与技术学院 苏州215006,苏州大学计算机科学与技术学院 苏州215006;中国科学院计算机科学国家重点实验室 北京100190
  • 出版日期:2018-11-13 发布日期:2018-11-13

Modeling of CPS Based on Aspect-oriented Spatial-Temporal Petri Net

SONG Zhen-hua and ZHANG Guang-quan   

  • Online:2018-11-13 Published:2018-11-13

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

关键词: 面向方面,建模,CPS,Petri网

Abstract: As a tight integration of computing and physical processes,cyber-physical system (CPS) 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 concerns 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 last,it is showed that the modeling approach is feasible through an example.

Key words: Aspect-oriented,Modeling,CPS,Petri net

[1] HE J F.Cyber-Physical Systems[J].China Computer Federation,2010,6(1):25-29.(in Chinese) 何积丰.Cyber-Physical Systems[J].中国计算机学会通讯,2010,6(1):25-29.
[2] GIRAULT C,VALK R.Petri Nets for Systems Engineering:A Guide to Modeling,Verification,and Applications [M].Springer& Business Media,2013.
[3] ZHANG M T,ZHANG G Q,ZHANG K,et al.Spatio-Temporal Petri Net Model for Describing CPS Physical Entities[J].Journal of Frontiers of Computer Science & Technology,2013,7(4):377-384.(in Chinese) 张茗泰,张广泉,张侃,等.描述 CPS 物理实体的时空 Petri 网模型[J].计算机科学与探索,2013,7(4):377-384.
[4] KICZALES G,LAMPING J,MENDHEKAR A,et al.Aspect-oriented programming[C]∥European Conference on Object-orie-nted Programming.Springer Berlin Heidelberg,1997:220-242.
[5] ROUBTSOVA E,AKSIT M.Extension of Petri Nets by As-pects to Apply the Model Driven Architecture Approach [C]∥Preliminary Proceedings of the 1st International workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems (ABMB).2005:1-15.
[6] XU D,NYGARD K E.Threat-Driven Modeling and Verification of Secure Software using Aspect-Oriented Petri Nets[J].IEEE Transactions on Software Engineering,2006,32(4):265-278.
[7] QIAN Z,YU H.A TAOPN Approach to Modeling and Scheduling Cyber-Physical Systems[C]∥International Conference on Information Science and Applications (ICISA).IEEE,2013:1-7.
[8] ZHENG L,RONG M,Zhang G,et al.Method for Modeling CPS Based on Open Colored Petri Net [J].Journal of Computational Information Systems,2014,10(22):9657-9664.
[9] JENSEN K.An Introduction to the Theoretical Aspects of Co-loured Petri Nets [M]∥A Decade of Concurrency Reflections and Perspectives.Springer Berlin Heidelberg,1994:230-272.
[10] CHRISTENSEN S,HANSEN N D.Coloured Petri Nets Ex-tended with Place Capacities,Test Arcs and Inhibitor Arcs[M].Springer Berlin Heidelberg,1993.

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] 雷丽晖,王静. 可能性测度下的LTL模型检测并行化研究[J]. 计算机科学, 2018, 45(4): 71 -75 .
[2] 孙启,金燕,何琨,徐凌轩. 用于求解混合车辆路径问题的混合进化算法[J]. 计算机科学, 2018, 45(4): 76 -82 .
[3] 张佳男,肖鸣宇. 带权混合支配问题的近似算法研究[J]. 计算机科学, 2018, 45(4): 83 -88 .
[4] 伍建辉,黄中祥,李武,吴健辉,彭鑫,张生. 城市道路建设时序决策的鲁棒优化[J]. 计算机科学, 2018, 45(4): 89 -93 .
[5] 史雯隽,武继刚,罗裕春. 针对移动云计算任务迁移的快速高效调度算法[J]. 计算机科学, 2018, 45(4): 94 -99 .
[6] 周燕萍,业巧林. 基于L1-范数距离的最小二乘对支持向量机[J]. 计算机科学, 2018, 45(4): 100 -105 .
[7] 刘博艺,唐湘滟,程杰仁. 基于多生长时期模板匹配的玉米螟识别方法[J]. 计算机科学, 2018, 45(4): 106 -111 .
[8] 耿海军,施新刚,王之梁,尹霞,尹少平. 基于有向无环图的互联网域内节能路由算法[J]. 计算机科学, 2018, 45(4): 112 -116 .
[9] 崔琼,李建华,王宏,南明莉. 基于节点修复的网络化指挥信息系统弹性分析模型[J]. 计算机科学, 2018, 45(4): 117 -121 .
[10] 王振朝,侯欢欢,连蕊. 抑制CMT中乱序程度的路径优化方案[J]. 计算机科学, 2018, 45(4): 122 -125 .