Process Online Checking Model of Internetware Based on Time Petri Net

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.