Research on Access Mechanism of WIRD Based on Object Petri Nets

被引:0
|
作者
Tang, Da [1 ]
Qian, Huimin [1 ]
Li, Ye [2 ]
机构
[1] Dalian Univ Technol, Dept Comp Sci & Engn, Dalian 116024, Liaoning Provin, Peoples R China
[2] Dalian Maritime Univ, Econ & Management Coll, Dalian 116026, Peoples R China
关键词
object Petri nets; WIRD; data consistency;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
From the analysis of workflow instance relevant data (WIRD), and a modeling method of WIRD based on object Petri nets is proposed. The method dynamically constructs an access mechanism of WIRD, to guarantee the security of WIRD. Moreover, a version management mechanism of WIRD is adopted as well as a collaborative communication mechanism of concurrent tasks is established to solve the inconsistency of WIRD during execution of workflow. The research of applied example has shown that this modeling method is significant in the application of access right and integrality of WIRD.
引用
收藏
页码:6850 / +
页数:2
相关论文
共 50 条
  • [1] Research on Data parallel and Scheduling Mechanism based on Petri nets
    Zhao, Jing
    Liu, Xuejun
    Dou, Wanfeng
    Yang, Kun
    [J]. 2012 11TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING & SCIENCE (DCABES), 2012, : 36 - 39
  • [2] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    [J]. APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
  • [3] Using colored Petri nets to simulate object Petri nets
    Corchado, FFR
    Gallegos, FZ
    Jiménez, AA
    Dávila, HIP
    [J]. International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
  • [4] Research on the Integration of Object-oriented Petri Nets and QUEST
    Wei, Bisheng
    Ye, Wenhua
    Liu, Xia
    [J]. ADVANCES IN ENGINEERING DESIGN AND OPTIMIZATION III, PTS 1 AND 2, 2012, 201-202 : 143 - 146
  • [5] Properties of object Petri nets
    Köhler, M
    Rölke, H
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 278 - 297
  • [6] Research on workflow patterns based on Petri nets
    Zhang, Liang
    [J]. 2006 IEEE Conference on Robotics, Automation and Mechatronics, Vols 1 and 2, 2006, : 163 - 168
  • [7] Research of coordination mechanisms based on Petri Nets
    Hong, Liu
    Zhang, Zhen-Wen
    Chen, Chen
    Chen, Xue-Guang
    [J]. Wuhan Ligong Daxue Xuebao/Journal of Wuhan University of Technology, 2008, 30 (11): : 150 - 153
  • [8] An approach to object system modeling by state-based object Petri nets
    Newman, A
    Shatz, SM
    Xie, X
    [J]. JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 1998, 8 (01) : 1 - 20
  • [9] Research on Mapping Algorithm of UML Sequence Diagrams to Object Petri Nets
    Li, Guangyu
    Yao, Shuzhen
    [J]. PROCEEDINGS OF THE 2009 WRI GLOBAL CONGRESS ON INTELLIGENT SYSTEMS, VOL IV, 2009, : 285 - 289
  • [10] Controller synthesis for object Petri nets
    Farwer, B
    Kalvala, S
    Misra, K
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2885 : 432 - 451