A Procedure for Splitting Processes and its Application to Coordination
We present a procedure for splitting processes in a process algebra with multi-actions (a subset of the specification language mCRL2). This splitting procedure cuts a process into two processes along a set of actions A: roughly, one of these processes contains no actions from A, while the other proc...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2012-08-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1209.1422v1 |
id |
doaj-89ab4131c5b14f1bb0cfc236de63db4e |
---|---|
record_format |
Article |
spelling |
doaj-89ab4131c5b14f1bb0cfc236de63db4e2020-11-25T00:21:24ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802012-08-0191Proc. FOCLASA 2012799610.4204/EPTCS.91.6A Procedure for Splitting Processes and its Application to CoordinationSung-Shik T.Q. JongmansDave ClarkeJosé ProençaWe present a procedure for splitting processes in a process algebra with multi-actions (a subset of the specification language mCRL2). This splitting procedure cuts a process into two processes along a set of actions A: roughly, one of these processes contains no actions from A, while the other process contains only actions from A. We state and prove a theorem asserting that the parallel composition of these two processes equals the original process under appropriate synchronization. We apply our splitting procedure to the process algebraic semantics of the coordination language Reo: using this procedure and its related theorem, we formally establish the soundness of splitting Reo connectors along the boundaries of their (a)synchronous regions in implementations of Reo. Such splitting can significantly improve the performance of connectors.http://arxiv.org/pdf/1209.1422v1 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Sung-Shik T.Q. Jongmans Dave Clarke José Proença |
spellingShingle |
Sung-Shik T.Q. Jongmans Dave Clarke José Proença A Procedure for Splitting Processes and its Application to Coordination Electronic Proceedings in Theoretical Computer Science |
author_facet |
Sung-Shik T.Q. Jongmans Dave Clarke José Proença |
author_sort |
Sung-Shik T.Q. Jongmans |
title |
A Procedure for Splitting Processes and its Application to Coordination |
title_short |
A Procedure for Splitting Processes and its Application to Coordination |
title_full |
A Procedure for Splitting Processes and its Application to Coordination |
title_fullStr |
A Procedure for Splitting Processes and its Application to Coordination |
title_full_unstemmed |
A Procedure for Splitting Processes and its Application to Coordination |
title_sort |
procedure for splitting processes and its application to coordination |
publisher |
Open Publishing Association |
series |
Electronic Proceedings in Theoretical Computer Science |
issn |
2075-2180 |
publishDate |
2012-08-01 |
description |
We present a procedure for splitting processes in a process algebra with multi-actions (a subset of the specification language mCRL2). This splitting procedure cuts a process into two processes along a set of actions A: roughly, one of these processes contains no actions from A, while the other process contains only actions from A. We state and prove a theorem asserting that the parallel composition of these two processes equals the original process under appropriate synchronization. We apply our splitting procedure to the process algebraic semantics of the coordination language Reo: using this procedure and its related theorem, we formally establish the soundness of splitting Reo connectors along the boundaries of their (a)synchronous regions in implementations of Reo. Such splitting can significantly improve the performance of connectors. |
url |
http://arxiv.org/pdf/1209.1422v1 |
work_keys_str_mv |
AT sungshiktqjongmans aprocedureforsplittingprocessesanditsapplicationtocoordination AT daveclarke aprocedureforsplittingprocessesanditsapplicationtocoordination AT joseproenca aprocedureforsplittingprocessesanditsapplicationtocoordination AT sungshiktqjongmans procedureforsplittingprocessesanditsapplicationtocoordination AT daveclarke procedureforsplittingprocessesanditsapplicationtocoordination AT joseproenca procedureforsplittingprocessesanditsapplicationtocoordination |
_version_ |
1725362951957774336 |