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 条
  • [21] Modelling and Analyzing a Hospital Procedure using a Petri-Net Approach
    Efstratia, Mourtou
    Salem, Abdel-Badeeh M.
    George, Pavlidis
    PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 25, 2007, 25 : 98 - +
  • [22] TIMED PETRI-NET APPROACH TO PERFORMANCE MODELING WITH THE MOON METHOD
    HULL, MEC
    ODONOGHUE, PG
    SOFTWARE ENGINEERING JOURNAL, 1994, 9 (03): : 95 - 106
  • [23] A PETRI-NET BASED APPROACH FOR VERIFYING THE INTEGRITY OF PRODUCTION SYSTEMS
    AGARWAL, R
    TANNIRU, M
    INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1992, 36 (03): : 447 - 468
  • [24] Colored Petri-net based approach for modeling and optimization of FIFO stack
    Fu, Xinhua
    Xiao, Mingqing
    Yuan, Dayong
    Zou, Depeng
    Yi Qi Yi Biao Xue Bao/Chinese Journal of Scientific Instrument, 2008, 29 (03): : 577 - 582
  • [25] A Petri-net approach to hierarchical supervision for remote-controlled processes
    Lee, Jin-Shyan
    Hsu, Pau-Lo
    Proc IEEE Int Conf Syst Man Cybern, 1600, (1880-1885):
  • [26] Extended Petri-net for workflow modelling
    Zhang, L.
    2006 1ST IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS, VOLS 1-3, 2006, : 503 - +
  • [27] A COLORED PETRI-NET MODEL OF VHDL
    OLCOZ, S
    COLOM, JM
    FORMAL METHODS IN SYSTEM DESIGN, 1995, 7 (1-2) : 101 - 123
  • [28] ANALYSIS OF PETRI-NET PERFORMANCE MODELS
    BILLINGTON, J
    HENDERSON, B
    PERFORMANCE EVALUATION, 1993, 18 (01) : 1 - 2
  • [29] Simulating on CIS Based on Petri-Net
    Xu Da-hua
    2009 IEEE INTERNATIONAL SYMPOSIUM ON IT IN MEDICINE & EDUCATION, VOLS 1 AND 2, PROCEEDINGS, 2009, : 1132 - 1135
  • [30] COLORED ADAPTIVE STRUCTURED PETRI-NET
    GENTINA, JC
    BOUREY, JP
    KAPUSTA, M
    COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 1988, 1 (01): : 39 - 47
12345