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 条
  • [1] A Petri-Net Based Approach for Software Evolution
    Bin Ahmadon, Mohd Anuaruddin
    Yamaguchi, Shingo
    Gupta, Brij Bhooshan
    2016 7TH INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION SYSTEMS (ICICS), 2016, : 264 - 269
  • [2] SOFTWARE PIPELINING - PETRI-NET PACEMAKER
    ALLAN, VH
    RAJAGOPALAN, M
    LEE, RM
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 23 : 15 - 26
  • [3] INTEGRAL - PETRI-NET APPROACH TO DISTRIBUTED SOFTWARE-DEVELOPMENT
    CHANG, CK
    CHANG, YF
    SONG, CC
    AOYAMA, M
    INFORMATION AND SOFTWARE TECHNOLOGY, 1989, 31 (10) : 535 - 545
  • [4] A Petri-Net based modeling approach to concurrent software engineering tasks
    Shen, JJ
    Changchien, SW
    Lin, TY
    JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2005, 21 (04) : 767 - 795
  • [5] Application of 00 Petri-net in the parallel software modelling
    Yao, SZ
    Wang, R
    Dong, SZ
    NEW TECHNOLOGIES ON COMPUTER SOFTWARE, 1997, : 94 - 99
  • [6] Validation of organizational patterns using stochastic petri-net
    School of Information Science, Japan Advanced Institute of Science and Technology , Japan
    Comput. Softw., 2006, 1 (60-68):
  • [7] A Petri-Net Based Reliability Prediction Method for SOA Software
    Zhang, Hao
    Lu, Minyan
    Gu, Tingyang
    ICAIP 2018: 2018 THE 2ND INTERNATIONAL CONFERENCE ON ADVANCES IN IMAGE PROCESSING, 2018, : 165 - 172
  • [8] An Aircraft Sequencing Approach Based on Fuzzy Petri-net
    Sun, Shuguang
    Hua, Keqiang
    INTERNATIONAL JOINT CONFERENCE ON COMPUTATIONAL SCIENCES AND OPTIMIZATION, VOL 1, PROCEEDINGS, 2009, : 1008 - 1011
  • [9] Dynamic service composition:: A Petri-net based approach
    Koehler, Michael
    Moldt, Daniel
    Ortmann, Jan
    ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: SOFTWARE AGENTS AND INTERNET COMPUTING, 2006, : 159 - +
  • [10] A Petri-Net Approach to Refining Object Behavioural Specifications
    Cheung, King-Sing
    Chow, Paul Kai-On
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2009, 33 (02): : 213 - 224
12345