Computer Science ›› 2017, Vol. 44 ›› Issue (7): 38-41.doi: 10.11896/j.issn.1002-137X.2017.07.007

Previous Articles     Next Articles

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

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   
No Suggested Reading articles found!