A Petri-Net based validator in reliability of a composite service

被引:0
|
作者
Chi, YL [1 ]
Tsai, MH [1 ]
Lee, CW [1 ]
机构
[1] Chung Yuan Christian Univ, Dept MIS, Chungli 32023, Taiwan
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper reports some experiences that we utilize Petri Net models to validate the reliability of a composite Web service. To enable a validate process, the PNML (Petri Net Markup Language) are introduced to transform a composite service into a Petri Net model that can be further used by measurable processes. The algorithms and corresponding reliable issues have been proposed, such as the coverability tree for detecting safeness, the incidence matrix & state equation for finding reachable issues, and a transitive matrix for addressing deadlock problems. Empirical results suggest that the PNML is essential to facilitate composite services to become computable models. More benefits can be applied by using proper Petri Net based algorithms.
引用
收藏
页码:450 / 453
页数:4
相关论文
共 50 条
  • [1] Dynamic service composition:: A Petri-net based approach
    Koehler, Michael
    Moldt, Daniel
    Ortmann, Jan
    [J]. ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: SOFTWARE AGENTS AND INTERNET COMPUTING, 2006, : 159 - +
  • [2] A Petri-Net Based Reliability Prediction Method for SOA Software
    Zhang, Hao
    Lu, Minyan
    Gu, Tingyang
    [J]. ICAIP 2018: 2018 THE 2ND INTERNATIONAL CONFERENCE ON ADVANCES IN IMAGE PROCESSING, 2018, : 165 - 172
  • [3] Interface Driven Service Discovery: Colored Petri-Net Based Approach
    Gaur, Megha
    Mandal, Amit Kr
    Sarkar, Anirban
    [J]. PROCEEDINGS OF THE 2016 IEEE REGION 10 CONFERENCE (TENCON), 2016, : 2286 - 2291
  • [4] Simulating on CIS Based on Petri-Net
    Xu Da-hua
    [J]. 2009 IEEE INTERNATIONAL SYMPOSIUM ON IT IN MEDICINE & EDUCATION, VOLS 1 AND 2, PROCEEDINGS, 2009, : 1132 - 1135
  • [5] A Petri-Net Based Approach for Software Evolution
    Bin Ahmadon, Mohd Anuaruddin
    Yamaguchi, Shingo
    Gupta, Brij Bhooshan
    [J]. 2016 7TH INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION SYSTEMS (ICICS), 2016, : 264 - 269
  • [6] Consistency of user interface based on Petri-net
    Li, HB
    Zhan, DC
    [J]. ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS, 2006, 3842 : 846 - 852
  • [7] Construction and application of combat units mission reliability simulation model based on Petri-net
    Feng Huijuan
    Yu Yongli
    Zhang Liu
    Nie Chenglong
    [J]. PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON MAINTENANCE ENGINEERING, 2006, : 992 - 996
  • [8] Fuzzy neural Petri-net method for reliability estimation of complex systems
    College of North China Institute of Technology, Taiyuan 030008, China
    不详
    [J]. Kong Zhi Li Lun Yu Ying Yong, 2006, 5 (687-691):
  • [9] A Petri-net Coverability Model For Automatic Web Service Composition
    Xu, Yan
    Li, Bin
    Wu, Jun
    [J]. 2009 INTERNATIONAL CONFERENCE ON INDUSTRIAL AND INFORMATION SYSTEMS, PROCEEDINGS, 2009, : 31 - 34
  • [10] Based on color Petri-net modeling and estimate for task reliability of complex weapon system
    Department of Electric Engineering, Institute of Technology, College of North China, Taiyuan 030008, China
    不详
    [J]. Xitong Fangzhen Xuebao, 2007, 11 (2563-2566): : 2563 - 2566