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

共 11 条

[1]

[Anonymous], IEEE T J MAGN JAPAN

[2]

[Anonymous], 1989, The Technical Writer's Handbook

[3]

[Anonymous], Title of paper if known

[4]

[Anonymous], 1982, IEEE Transl. J. Magn. Japan,

[5]

[Anonymous], 1963, Magnetism

[6]

[Anonymous], 1983, Signals and Systems

[7] ON CERTAIN INTEGRALS OF LIPSCHITZ-HANKEL TYPE INVOLVING PRODUCTS OF BESSEL FUNCTIONS [J].

EASON, G ;

NOBLE, B ;

SNEDDON, IN .

PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY OF LONDON SERIES A-MATHEMATICAL AND PHYSICAL SCIENCES, 1955, 247 (935) :529-551

[8] Efficient scheduling focusing on the duality of MPL representation [J].

Goto, Hiroyuki ;

Hasegawa, Yusuke ;

Tanaka, Masaki .

2007 IEEE SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE IN SCHEDULING, 2007, :57-+

[9] Cell proliferation without neurogenesis in adult primate neocortex [J].

Kornack, DR ;

Rakic, P .

SCIENCE, 2001, 294 (5549) :2127-2130

[10]

Nicole R., J. Name Stand. Abbrev.

← 1 2 →