Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/4726
Title: A procedure for splitting data-aware processes and its application to coordination
Authors: Jongmans,SungShikT.Q.
Clarke,Dave
José Paiva Proença
Issue Date: 2016
Abstract: We present a procedure for splitting processes in a process algebra with multiactions and data (the untimed 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 is provably equal from a set of axioms (sound and complete with respect to strong bisimilarity) to the original process under some appropriate notion of 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 as shown elsewhere.
URI: http://repositorio.inesctec.pt/handle/123456789/4726
http://dx.doi.org/10.1016/j.scico.2014.02.017
metadata.dc.type: article
Publication
Appears in Collections:HASLab - Articles in International Journals

Files in This Item:
File Description SizeFormat 
P-00A-ADQ.pdf827.42 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.