Title: A procedure for splitting processes and its application to coordination
Authors: Jongmans, Sung-Shik
Clarke, Dave
Paiva Proenca, Jose #
Issue Date: 2012
Publisher: Open Publishing Association
Host Document: Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation vol:91 pages:79-96
Series Title: EPTCS
Conference: FOCLASA edition:11 location:Newcastle upon Tyne date:8 September 2012
Abstract: 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.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
# (joint) last author

Files in This Item:
File Description Status SizeFormat
main.pdf Published 265KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.