Process Composition and Interleave Reduction in Parallel Process Specification

Makoto TSUJIGADO; Teruo HIKITA; Jun GINBAYASHI

Process Composition and Interleave Reduction in Parallel Process Specification

Makoto TSUJIGADO, Teruo HIKITA, Jun GINBAYASHI

Full Text Views

0

Cite this

Summary :

In formal specification languages for parallel processes, such as CSP and LOTOS, algebraic laws for basic operators are provided that can be used to transform process expressions, and in particular, composition of processes can be calculated using these laws. Process composition can be used to simplify and improve the specification, and also to prove properties of the specification such as deadlock absence. We here test the practicality of process composition using CSP and suggest useful techniques, working in an example with nontrivial size and complexity. We emphasize that the size explosion of composed processes, caused by interleaving of the events of component processes, is a serious problem. Then we propose a technique, which we name two-way pipe, that can be used to reduce the size of the composed process, regarded as a program optimization at specification level.

Publication: IEICE TRANSACTIONS on Information Vol.E78-D No.1 pp.27-36

Publication Date: 1995/01/25

Publicized

Online ISSN

DOI

Type of Manuscript: PAPER

Category: Software Systems

Cite this

Copy

Makoto TSUJIGADO, Teruo HIKITA, Jun GINBAYASHI, "Process Composition and Interleave Reduction in Parallel Process Specification" in IEICE TRANSACTIONS on Information, vol. E78-D, no. 1, pp. 27-36, January 1995, doi: .
Abstract: In formal specification languages for parallel processes, such as CSP and LOTOS, algebraic laws for basic operators are provided that can be used to transform process expressions, and in particular, composition of processes can be calculated using these laws. Process composition can be used to simplify and improve the specification, and also to prove properties of the specification such as deadlock absence. We here test the practicality of process composition using CSP and suggest useful techniques, working in an example with nontrivial size and complexity. We emphasize that the size explosion of composed processes, caused by interleaving of the events of component processes, is a serious problem. Then we propose a technique, which we name two-way pipe, that can be used to reduce the size of the composed process, regarded as a program optimization at specification level.
URL: https://global.ieice.org/en_transactions/information/10.1587/e78-d_1_27/_p

Copy

@ARTICLE{e78-d_1_27,
author={Makoto TSUJIGADO, Teruo HIKITA, Jun GINBAYASHI, },
journal={IEICE TRANSACTIONS on Information},
title={Process Composition and Interleave Reduction in Parallel Process Specification},
year={1995},
volume={E78-D},
number={1},
pages={27-36},
abstract={In formal specification languages for parallel processes, such as CSP and LOTOS, algebraic laws for basic operators are provided that can be used to transform process expressions, and in particular, composition of processes can be calculated using these laws. Process composition can be used to simplify and improve the specification, and also to prove properties of the specification such as deadlock absence. We here test the practicality of process composition using CSP and suggest useful techniques, working in an example with nontrivial size and complexity. We emphasize that the size explosion of composed processes, caused by interleaving of the events of component processes, is a serious problem. Then we propose a technique, which we name two-way pipe, that can be used to reduce the size of the composed process, regarded as a program optimization at specification level.},
keywords={},
doi={},
ISSN={},
month={January},}

Copy

TY - JOUR
TI - Process Composition and Interleave Reduction in Parallel Process Specification
T2 - IEICE TRANSACTIONS on Information
SP - 27
EP - 36
AU - Makoto TSUJIGADO
AU - Teruo HIKITA
AU - Jun GINBAYASHI
PY - 1995
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E78-D
IS - 1
JA - IEICE TRANSACTIONS on Information
Y1 - January 1995
AB - In formal specification languages for parallel processes, such as CSP and LOTOS, algebraic laws for basic operators are provided that can be used to transform process expressions, and in particular, composition of processes can be calculated using these laws. Process composition can be used to simplify and improve the specification, and also to prove properties of the specification such as deadlock absence. We here test the practicality of process composition using CSP and suggest useful techniques, working in an example with nontrivial size and complexity. We emphasize that the size explosion of composed processes, caused by interleaving of the events of component processes, is a serious problem. Then we propose a technique, which we name two-way pipe, that can be used to reduce the size of the composed process, regarded as a program optimization at specification level.
ER -