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 条
  • [41] Formal Approach for Performance Analysis Oriented Parallel System Design
    Cheng, Bin
    Wang, Xingang
    Li, Ying
    Tong, Weiqing
    FCST 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON FRONTIER OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, : 22 - 26
  • [42] Formal Modeling of IoT and Drone-Based Forest Fire Detection and Counteraction System
    Tehseen, Aqsa
    Zafar, Nazir Ahmad
    Ali, Tariq
    Jameel, Fatima
    Alkhammash, Eman H.
    ELECTRONICS, 2022, 11 (01)
  • [43] Modeling and Verification of Control System Specification for Railway Level Crossings Based on Formal Method
    Wang K.
    Wang Z.
    Xinan Jiaotong Daxue Xuebao/Journal of Southwest Jiaotong University, 2019, 54 (03): : 573 - 578and603
  • [44] B Formal Modeling Based on UML Class
    Li, Tao
    Jia, Fengsheng
    2015 IEEE INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING, COMMUNICATIONS AND COMPUTING (ICSPCC), 2015, : 469 - 474
  • [45] B Formal Modeling Based on UML Statechart
    Tao, Li
    Jia, Fengsheng
    Yao, Shuaijun
    2015 FIFTH INTERNATIONAL CONFERENCE ON INSTRUMENTATION AND MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC), 2015, : 1658 - 1663
  • [46] Formal Modeling and Verification of Paxos Based on Coq
    Li Y.-N.
    Deng Y.-X.
    Liu J.
    Ruan Jian Xue Bao/Journal of Software, 2020, 31 (08): : 2362 - 2374
  • [47] Formal goal-based modeling of organizations
    Popova, Viara
    Sharpanskykh, Alexei
    MSVVEIS 2008: MODELLING, SIMULATION, VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS, 2008, : 19 - +
  • [48] A formal graphical based process modeling methodology
    Drengstig, Tormod
    Wasbo, Stein O.
    Foss, Bjame A.
    Computers and Chemical Engineering, 1997, 21 (SUPPL. 1):
  • [49] A formal graphical based process modeling methodology
    Drengstig, T
    Wasbo, SO
    Foss, BA
    COMPUTERS & CHEMICAL ENGINEERING, 1997, 21 : S835 - S840
  • [50] Statechart Based Formal Modeling of Workflow Processes
    Schumann, Michael
    Michael, James Bret
    2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING SOSE 2009, 2009, : 141 - 145
12345