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 条
  • [1] Study on Parallel System Performance Modeling Based on TCPN
    Cheng, Bin
    Wang, Xingang
    Li, Ying
    Tong, Weiqin
    HIGH PERFORMANCE COMPUTING AND APPLICATIONS, 2010, 5938 : 108 - 113
  • [2] The research on modeling of System-of-Systems of logistics based on TCPN
    Sun, Liang
    PROCEEDINGS OF 2008 INTERNATIONAL PRE-OLYMPIC CONGRESS ON COMPUTER SCIENCE, VOL II: INFORMATION SCIENCE AND ENGINEERING, 2008, : 299 - 303
  • [3] The modeling research about OpenFlow protocol based TCPN
    College of Computer Science, Inner Mongolia University, Hohhot
    010020, China
    不详
    010020, China
    不详
    010070, China
    Huazhong Ligong Daxue Xuebao, (35-42):
  • [4] A TCPN Automatically Modeling Method for Java']Java Parallel Programs Oriented to Performance Analysis
    Zhang, Yefan
    Sun, Tao
    Zhong, Wenjie
    Wang, Jiaqi
    Wang, Ziyu
    PROCEEDINGS OF THE 2024 27 TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, CSCWD 2024, 2024, : 2466 - 2471
  • [5] Modeling and Simulation for Dynamic Services Composition of LBS Based on TCPN
    Li, Weimin
    Zhao, Xiaohua
    PROCEEDINGS OF THE 2012 IEEE 14TH INTERNATIONAL CONFERENCE ON COMMERCE AND ENTERPRISE COMPUTING (CEC 2012), 2012, : 151 - 154
  • [6] Modeling and analysis of IoT real-time system using TCPN
    Yang, Huaizhou
    Pan, Shaowei
    Information Technology Journal, 2013, 12 (09) : 1707 - 1716
  • [7] Software and system modeling based on a unified formal semantics
    Broy, M
    Huber, F
    Paech, B
    Rumpe, B
    Spies, K
    REQUIREMENTS TARGETING SOFTWARE AND SYSTEMS ENGINEERING, 1998, 1526 : 43 - 68
  • [8] Formal modeling by a bi-parallel grammar
    Department of Computer Science, Lucian Blaga University of Sibiu, 4 Emil Cioran Street, 550025 Sibiu, Romania
    WSEAS Trans. Inf. Sci. Appl., 2007, 1 (139-144):
  • [9] MENDELS ZONE: A parallel program development system based on formal specifications
    Honiden, S
    Ohsuga, A
    Uchihira, N
    INFORMATION AND SOFTWARE TECHNOLOGY, 1996, 38 (03) : 181 - 189
  • [10] Formal Modeling of Smart Contract-based Trading System
    Park, Woong Sub
    Lee, Hyuk
    Choi, Jin-Young
    2022 24TH INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY (ICACT): ARITIFLCIAL INTELLIGENCE TECHNOLOGIES TOWARD CYBERSECURITY, 2022, : 48 - +
12345