Translation from Workflow Nets to MSVL

被引：0

作者：

Shi, Ya ^{[1
]}

Duan, Zhenhua ^{[1
]}

Tian, Cong ^{[1
]}

机构：

[1] Xidian Univ, ICTT & ISN Lab, Xian 710071, Peoples R China

来源：

FORMAL METHODS AND SOFTWARE ENGINEERING | 2013年 / 8144卷

关键词：

Workflow Nets; MSVL; Modeling; Verification; Simulation; PROJECTION TEMPORAL LOGIC; PROCESS MODELS; PETRI NETS;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

An automatic translation from Workflow nets (WFNs) to Modeling, Simulation and Verification Language (MSVL) is presented in this paper. As a result, WFNs can be simulated and verified through the well developed supporting tool named MSV for MSVL programs. To do so, annotations are added to WFNs first. Further, translating rules are presented w.r.t regular structures for the translation from Annotated WFNs to MSVL programs. Finally, a tool called PN2MSVL has been implemented for the automatic translation from WFNs to MSVL.

引用

页码：281 / 296

页数：16

共 19 条

[1]

[Anonymous], 1995, CAMBRIDGE TRACTS THE

[2] A decision procedure for propositional projection temporal logic with infinite models [J].

Duan, Zhenhua ;

Tian, Cong ;

Zhang, Li .

ACTA INFORMATICA, 2008, 45 (01) :43-78

[3]

Duan ZH, 2008, LECT NOTES COMPUT SC, V5256, P167, DOI 10.1007/978-3-540-88194-0_12

[4]

Esparza J., 2001, LNCS, V2057, P37

[5]

Hauser R., 2010, AUTOMATIC TRANSFORMA

[6] Analysis and Transformation of Behavioral Models Containing Overlapped Patterns [J].

Hauser, Rainer .

JOURNAL OF OBJECT TECHNOLOGY, 2010, 9 (03) :105-124

[7] DESIGN AND VALIDATION OF PROTOCOLS - A TUTORIAL [J].

HOLZMANN, GJ .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1993, 25 (09) :981-1017

[8]

Kiepuszewski B, 2000, LECT NOTES COMPUT SC, V1789, P431

[9]

Kleine J., 2007, THESIS HUMBOLDT U BE

[10]

Lassen K.B., 2007, 8 WORKSH TUT PRACT U, P127

← 1 2 →