A Trace-state Based Approach to Specification and Design of Parallel Programs

Abstract

Abstract: In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal system based on that model to achieve hierarchical and modular development and verification methods. Anumber of refinement rules are used to decompose the specification into smaller ones and calculate program fromthe specification

摘要： <正> In this paper they deal with the issue of specification and design of parallel communicating processes. A trace-state based model is introduced to describe the behaviour of concurrent programs. They present a formal system based on that model to achieve hierarchical and modular development and verification methods. A number of refinement rules are used to decompose the specification into smaller ones and calculate program from the specification

CLC Number:

TP311.52

He Jifeng. A Trace-state Based Approach to Specification and Design of Parallel Programs[J]. , 1996, 22(S1): 102-116.

/ Recommend / Download Citations

URL: https://www.ecice06.com/EN/Y1996/V22/IS1/102

[1]	ZHANG Ru, SUN Weifeng, ZHANG Peng, ZHANG Chao, DAI Yongshou. Plug-in-based Electromagnetic Signal Analysis Software Architecture Design Method [J]. Computer Engineering, 2026, 52(11): 435-443.
[2]	WANG Chenxu, WANG Xiaochen, YU Dunhui, WU Shan. Software Crowdsourcing Task Decomposition Algorithm Based on Dynamic Decoupling [J]. Computer Engineering, 2019, 45(8): 120-124,134.
[3]	WANG Chenxu, YU Dunhui, ZHANG Wanshan, ZHANG Xingsheng. Module Allocation Algorithm for Software Crowdsourcing Based on Core Degree Sorting [J]. Computer Engineering, 2019, 45(7): 66-70.
[4]	LI Zhimin,YIN Beibei,ZHANG Ping,WANG Jibing,WANG Bin,ZHANG Jinpeng. A Real-time Fault Localization Method and Its Visualization Implementation [J]. Computer Engineering, 2017, 43(2): 111-119.
[5]	JI Pengfei,LI Yuangang,LU Shengqi,DAI Kaiyu. Personalized Customization System of Travel Route Based on Semantic Web [J]. Computer Engineering, 2016, 42(10): 308-317.
[6]	ZHANG Min,LI Bin. Performance Analysis for Cognitive Radio Network Based on Cross-layer Modeling [J]. Computer Engineering, 2015, 41(8): 61-64,70.
[7]	ZHANG Hao, WANG Yong-tian, CHEN Jing, LIU Yue. Mobile Augmented Reality Browser Based on LBS [J]. Computer Engineering, 2013, 39(9): 311-316.
[8]	HU Xuan, YANG Chun-Hui, HUANG Mao-Sheng. Construction and Estimation of Requirement Knowledge Ontology for Avionics Electronics System Software [J]. Computer Engineering, 2013, 39(3): 56-62.
[9]	LI Feng-Jing, TAO Pei-Yang, MO Lu-Jun, ZHANG Jie-Yong, TANG Jian. Combat Target Decision of Communication Confrontation Based on Combat Capability Estimation [J]. Computer Engineering, 2012, 38(24): 283-287.
[10]	LIU Hai-Chao, WEI Ru-Xiang, JIANG Guo-Ping. Software Cost Estimation Method Based on Weighted Partial Least Squares Regression [J]. Computer Engineering, 2012, 38(21): 36-39.
[11]	LIU Yun, LIU Chuan-Ju, ZHANG Min. Performance Analysis of Cooperative Spectrum Detection Based on Alamouti Coding [J]. Computer Engineering, 2012, 38(13): 93-95.
[12]	YANG Su-Yue. Research and Realization of Space Vector Information Progressive Transmission [J]. Computer Engineering, 2012, 38(13): 266-269,272.
[13]	TAO Yuan, DIAO Rong-Cai. Vectorization Method Based on Compiler Directive [J]. Computer Engineering, 2012, 38(12): 272-275.
[14]	LI Qin-Xue, BANG Zhi-Beng, ZHANG Feng. Optimization Design of Data Fusion for GPS/DR Integrated Navigation System [J]. Computer Engineering, 2012, 38(12): 268-271.
[15]	QIU Yun-Fei, WANG Jian-Kun, SHAO Liang-Sha, LIU Da-Wei. Research on Product Review Spammer Detection Based on Users’ Behavior [J]. Computer Engineering, 2012, 38(11): 254-257,261.

Please choose a citation manager

Content to export