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 条
  • [31] PRODUCTION MANAGEMENT IN A PETRI-NET ENVIRONMENT
    PROTH, JM
    MINIS, I
    RAIRO-RECHERCHE OPERATIONNELLE-OPERATIONS RESEARCH, 1995, 29 (03): : 321 - 352
  • [32] Analysis of Scenarios with Petri-Net Models
    Sarmiento, Edgar
    Sampaio do Prado Leite, Julio Cesar
    Almentero, Eduardo
    2015 29TH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, 2015, : 90 - 99
  • [33] Extended Petri-net for workflow modelling
    Zhang, L.
    ICIEA 2006: 1ST IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS, VOLS 1-3, PROCEEDINGS, 2006, : 1616 - 1620
  • [34] SCHEDULING OF BATCH PLANT BY PETRI-NET
    SAKAMOTO, S
    KOGA, J
    SHIMOGAICHI, Y
    MATSUMOTO, S
    JOURNAL OF CHEMICAL ENGINEERING OF JAPAN, 1994, 27 (02) : 241 - 244
  • [35] A Petri-Net Based Approach to Verifying Compositional Correctness of System Components
    Cheung, K. S.
    PROCEEDINGS OF THE 11TH JOINT CONFERENCE ON INFORMATION SCIENCES, 2008,
  • [36] A GENERALIZED FUZZY PETRI-NET MODEL
    PEDRYCZ, W
    GOMIDE, F
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 1994, 2 (04) : 295 - 301
  • [37] A Petri-net based approach to performance management of collaborative business processes
    Mevius, M
    Oberweis, A
    SIXTEENTH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2005, : 987 - 991
  • [38] GENERATION OF OPTIMAL OPERATING STRATEGIES FOR ROBOTIC CELLS - A PETRI-NET APPROACH
    WANG, HM
    BENWANG, HP
    INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 1995, 8 (01) : 32 - 42
  • [39] Railway bridge asset management using a Petri-Net modelling approach
    Yianni, P. C.
    Rama, D.
    Neves, L. C.
    Andrews, J. D.
    LIFE-CYCLE OF ENGINEERING SYSTEMS: EMPHASIS ON SUSTAINABLE CIVIL INFRASTRUCTURE, 2017, : 1964 - 1971
  • [40] Interface Driven Service Discovery: Colored Petri-Net Based Approach
    Gaur, Megha
    Mandal, Amit Kr
    Sarkar, Anirban
    PROCEEDINGS OF THE 2016 IEEE REGION 10 CONFERENCE (TENCON), 2016, : 2286 - 2291
12345