一种进程拆分过程及其在协调中的应用
编程语言
2012-09-10 v1
摘要
我们提出了一种在具有多动作的进程代数（规范语言 mCRL2 的一个子集）中拆分进程的过程。该拆分过程沿着一组动作 将一个进程切割为两个进程：大致上，其中一个进程不包含来自 的任何动作，而另一个进程仅包含来自 的动作。我们陈述并证明了一个定理，断言在适当的同步下，这两个进程的并行组合等于原始进程。我们将此拆分过程应用于协调语言 Reo 的进程代数语义：利用该过程及其相关定理，我们在 Reo 的实现中形式化地确立了沿其（非）同步区域边界拆分 Reo 连接器的可靠性。此类拆分可显著提高连接器的性能。
引用
@article{arxiv.1209.1422,
title = {A Procedure for Splitting Processes and its Application to Coordination},
author = {Sung-Shik T. Q. Jongmans and Dave Clarke and José Proença},
journal= {arXiv preprint arXiv:1209.1422},
year = {2012}
}
备注
In Proceedings FOCLASA 2012, arXiv:1208.4327