CAJ | 학술논문

提出了一种基于Petri网的I/O_WF_Net模型。该模型将工作流中的活动抽象为Petri网中的迁移，将每个活动的输入输出抽象为Petri网中的库所，便于以后应用其生成测试用例。介绍了对工作流中各种组成部分及不同结构的I/O_WF_Net模型建模方法，给出了将带有输入输出约束的工作流网转化为I/O_WF_Net模型的算法及转化后模型的化简方法。
제출료일충기우Petri망적I/O_WF_Net모형。해모형장공작류중적활동추상위Petri망중적천이，장매개활동적수입수출추상위Petri망중적고소，편우이후응용기생성측시용례。개소료대공작류중각충조성부분급불동결구적I/O_WF_Net모형건모방법，급출료장대유수입수출약속적공작류망전화위I/O_WF_Net모형적산법급전화후모형적화간방법。
An I/O_WF_Net model based on Petri nets is proposed in this paper. In the I/O_WF_Net model, the activities of a workflow are abstracted as transitions and the inputs and outputs of an activity are abstracted as places of a Petri net, so the model is convenient for test cases generating. The modeling method of the components and structures of a workflow are described, an algorithm that transforms a workflow net constrained by inputs and outputs into the I/O_WF_Net model and the corresponding simplifying method are given.