Formal Modeling of Parallel System based on TCPN

被引：0
|
作者：
Cheng, Bin [1 ]
Wang, Xingang [1 ]
Tong, Weiqin [1 ]
机构：
[1] Shanghai Univ, Sch Comp Engn & Sci, Shanghai, Peoples R China
来源：
2009 6TH IFIP INTERNATIONAL CONFERENCE ON NETWORK AND PARALLEL COMPUTING | 2009年
关键词：
Timed Coloured Petri Net; parallel system; formal method;
D O I：
10.1109/NPC.2009.36
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Correctness and performance are the principal requirement of a parallel system. Due to the complicated and uncertainty, it is necessary to model it. A hierarchical TCPN model proposed in this paper can investigate on various levels of abstraction and analyze concerning performance, functional validity and correctness. It describes the parallel program and the resources respectively to bring less effect to modify the program structure because of running environment changes.
引用
收藏
页码：246 / 250
页数：5
相关论文
共 50 条
  • [31] The formal derivation of parallel triangular system solvers using a coordination-based design method
    Chaudron, MRV
    van Duin, ACN
    PARALLEL COMPUTING, 1998, 24 (07) : 1023 - 1046
  • [32] MARS - A TOOL-BASED MODELING, ANIMATION, AND PARALLEL RENDERING SYSTEM
    AKTIHANOGLU, M
    OZGUC, B
    AYKANAT, C
    VISUAL COMPUTER, 1994, 11 (01): : 1 - 14
  • [33] A new parallel algorithm for computing formal concepts based on two parallel stages
    Zou, Ligeng
    He, Tingting
    Dai, Jianhua
    INFORMATION SCIENCES, 2022, 586 : 514 - 524
  • [34] MODELING AND PERFORMANCE ANALYSIS FOR THE SERIAL AND PARALLEL PRODUCTION SYSTEM BASED ON GSPN
    Gao Jianhua Hu XudongSchool of Mechatronic Engineering
    Chinese Journal of Mechanical Engineering, 2004, (03) : 427 - 432
  • [35] Parallel learning and classification for rules based on formal concepts
    Meddouri, Nida
    Khoufi, Hela
    Maddouri, Mondher
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS 18TH ANNUAL CONFERENCE, KES-2014, 2014, 35 : 358 - 367
  • [36] Formal Analysis of MPI-based Parallel Programs
    Gopalakrishnan, Ganesh
    Kirby, Robert M.
    Siegel, Stephen
    Thakur, Rajeev
    Gropp, William
    Lusk, Ewing
    De Supinski, Bronis R.
    Schulz, Martin
    Bronevetsky, Greg
    COMMUNICATIONS OF THE ACM, 2011, 54 (12) : 82 - 91
  • [37] A FORMAL SYSTEM FOR PARALLEL PROGRAMS IN DISCRETE-TIME AND SPACE
    KAWAI, H
    INFORMATION PROCESSING LETTERS, 1980, 11 (4-5) : 204 - 210
  • [38] FORMAL SET DEFINITION SYSTEM AS A TOOL OF NONPROCEDURAL PARALLEL PROGRAMMING
    NURIEV, RM
    CYBERNETICS, 1989, 25 (06): : 766 - 772
  • [39] A case study of the formal specification of a parallel system using CSP
    Kiyamura, S
    Roscoe, AW
    CORRECT MODELS OF PARALLEL COMPUTING, 1997, 49 : 68 - 86
  • [40] A FORMAL SYSTEM FOR PARALLEL PROGRAMS IN DISCRETE-TIME AND SPACE
    KAWAI, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1983, 148 : 156 - 165
12345