Partial Evaluation of Communicating Processes with Temporal Formulas and Its Application
Partial Evaluation of Communicating Processes with Temporal Formulas and Its Application
复制标题
DOI：
10.1007/978-3-642-30157-5_89
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
M. Murakami
中科院分区：
文献类型：
--
作者：
M. Murakami
本文提出了一个框架，扩展了部分评估方法的转换程序的反应CSP过程的方法。时序逻辑公式用于表示对由进程执行的通信动作序列的集合的约束。我们提出了一套简单的规则，专门化进程的时间公式，其中包含X（下一个）-运营商和/或G（不变）-运营商。我们给出了一个应用部分评估方法来提高并发系统安全性的示例。
This paper presents a framework that extends a partial evaluation method for transformational programs to a method for reactive CSP processes. Temporal logic formulas are used to represent constraints on the sets of the sequences of communication actions executed by the processes. We present a set of simple rules for specializing processes with temporal formulas which contain X(next)-operators and/or G (invariant)-operators. We present an example of an application of our partial evaluation method to improve the security of concurrent systems.