Process Online Checking Model of Internetware Based on Time Petri Net

被引：2

作者：

Song, Min ^{[1
]}

Wei, Zhengxian ^{[2
]}

机构：

[1] Beijing Foreign Studies Univ, Informat Technol Ctr, Beijing, Peoples R China

[2] Syst Engn Res Inst, Beijing, Peoples R China

来源：

2018 5TH INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND CONTROL ENGINEERING (ICISCE 2018) | 2018年

基金：

中国国家自然科学基金;

关键词：

Internetware; petri net; online checking; activity schedulability; data correctness;

D O I：

10.1109/ICISCE.2018.00088

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Internetware is the basic paradigm of the new generation of network software. The Internetware process model is built online in accordance with users' requirements. Therefore, before the Internetware provides the service to the user, it is necessary to perform online detection of the process model of the Internetware. In the paper, first of all, according to the characteristics of high order coordination, real-time and temporal characteristics of data flow and control flow interaction between the components of the Internetware, process online checking model (POCM) of Internetware based on time petri net is put forward; Secondly, from two aspects of time constraint scheduling of control flow, time limit scheduling of control flow and data flow, the POCM time consistency constraint is established, and the schedule ability criterion of Internetware process model is formed; Then, according to the data flow characteristics of POCM, the basic item operation constraint expression and logical constraint expression between data items are established, which ensure the correctness of the software data content. Through the above work, the online detection of the Internetware process model is effectively supported.

引用

页码：388 / 391

页数：4

共 50 条

[41] Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order
He, Leifeng
Liu, Guanjun
[J]. 2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021), 2021, : 159 - 166
[42] A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties
Boucheneb, Hanifa
Rakkay, Hind
[J]. FUNDAMENTA INFORMATICAE, 2008, 88 (04) : 469 - 495
[43] A Petri net based approach for process model driven deduction of BPEL code
Koschmider, A
Mevius, M
[J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2005: OTM 2005 WORKSHOPS, PROCEEDINGS, 2005, 3762 : 495 - 505
[44] Process Mining and Simulation for a p-Time Petri Net Model with Hybrid Resources
Nedopetalski, Felipe
Jeske de Freitas, Joslaine Cristina
[J]. 2021 SYSTEMS AND INFORMATION ENGINEERING DESIGN SYMPOSIUM (IEEE SIEDS 2021), 2021, : 463 - 468
[45] Knowledge based generation of Petri net representation of manufacturing process model entities
Horvath, L
Rudas, IJ
[J]. INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2957 - 2962
[46] An analysis of the Petri net based model of the human body iron homeostasis process
Sackmann, Andrea
Formanowicz, Dorota
Formanowicz, Piotr
Koch, Ina
Blazewicz, Jacek
[J]. COMPUTATIONAL BIOLOGY AND CHEMISTRY, 2007, 31 (01) : 1 - 10
[47] HiPS : Hierarchical Petri Net Design, Simulation, Verification and Model Checking Tool
Harie, Yojiro
Mitsui, Yuta
Fujimori, Kouhei
Batajoo, Amit
Wasaki, Katsumi
[J]. 2017 IEEE 6TH GLOBAL CONFERENCE ON CONSUMER ELECTRONICS (GCCE), 2017,
[48] On-the-fly TCTL model checking for time Petri nets
Hadjidj, Rachid
Boucheneb, Hanifa
[J]. THEORETICAL COMPUTER SCIENCE, 2009, 410 (42) : 4241 - 4261
[49] A Path-based Equivalence Checking Method for Petri Net based Models of Programs
Bandyopadhyay, Soumyadip
Sarkar, Dipankar
Banerjee, Kunal
Mandal, Chittaranjan
[J]. 2015 10TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), VOL 1, 2015, : 319 - 329
[50] Petri-net based attack time analysis in the context of chemical process security
Zhou, Jianfeng
Reniers, Genserik
Zhang, Laobing
[J]. COMPUTERS & CHEMICAL ENGINEERING, 2019, 130

← 1 2 3 4 5 →