A Petri-net approach to software validation

被引：0
|
作者：
Freytag, T [1 ]
机构：
[1] Univ Appl Sci FH Heidelberg, Dept Comp Sci, D-69123 Heidelberg, Germany
来源：
PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS | 2001年
关键词：
Petri nets; software validation; design of distributed software systems;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This contribution introduces VIPVALIDATE - a software engineering method supporting the validation of software systems in early stages of their development life cycle, helping to reduce costs and improve quality of distributed software systems with high behavioural complexity. VIPVALIDATE is based on high-level Petri nets and the systematic construction of partially-ordered runs in the shape of causal nets and so provides a compact representation of distributed behaviour with high visual and analytical expressiveness. VIPVALIDATE is fully tool-supported and integrates smoothly into existing software production environments.
引用
收藏
页码：705 / 711
页数：3
相关论文
共 50 条
  • [41] A Fuzzy Petri-Net Approach for Fault Analysis Considering Factor Influences
    Zhou, Jianfeng
    IEEE ACCESS, 2020, 8 (08): : 72229 - 72238
  • [42] A Petri-net approach to hierarchical supervision for remote-controlled processes
    Lee, JS
    Hsu, PL
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1880 - 1885
  • [43] TOOLS FOR MODELING WITH PETRI-NET LIKE NETS
    DITTRICH, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 410 : 191 - 199
  • [44] REPRESENTATION OF NONSTRUCTURED CONCURRENCY BY PETRI-NET LANGUAGES
    LEEKWANG, H
    FAVREL, J
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1993, 23 (03): : 872 - 875
  • [45] PETRI-NET ALGORITHMS IN THE THEORY OF MATRIX GRAMMARS
    HAUSCHILDT, D
    JANTZEN, M
    ACTA INFORMATICA, 1994, 31 (08) : 719 - 728
  • [46] Consistency of user interface based on Petri-net
    Li, HB
    Zhan, DC
    ADVANCED WEB AND NETWORK TECHNOLOGIES, AND APPLICATIONS, PROCEEDINGS, 2006, 3842 : 846 - 852
  • [47] A Compositional Analysis Method for Petri-Net Models
    Ding, Jie
    Chen, Xiao
    Wang, Rui
    IEEE ACCESS, 2017, 5 : 27599 - 27610
  • [48] PETRI-NET APPLICATION IN FLEXIBLE PROCESS PLANNING
    LEE, KH
    JUNG, MY
    COMPUTERS & INDUSTRIAL ENGINEERING, 1994, 27 (1-4) : 505 - 508
  • [49] A HYBRID PETRI-NET MODEL OF GRID WORKFLOW
    Ji Yimu* Wang Ruchuan* ** Ren Xunyi* *(Nanjing University of Posts and Telecommunications
    JournalofElectronics(China), 2008, (02) : 283 - 288
  • [50] PROTOCOL DESIGN AND PERFORMANCE ANALYSIS FOR MANUFACTURING MESSAGE SPECIFICATION - A PETRI-NET APPROACH
    WANG, FY
    GILDEA, K
    JUNGNITZ, H
    CHEN, DD
    IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 1994, 41 (06) : 641 - 653
12345