空间显式生态模型过程演算中的过程序
Process Ordering in a Process Calculus for Spatially-Explicit Ecological Models
摘要：
在本文中，我们扩展PALPS，一个过程演算提出的空间明确的个人为基础的生态系统建模，与政策的概念。策略是一个实体，用于指定系统中不同活动之间的顺序。它在PALPS模型的外部定义为一个偏序，规定了组成模型的个体活动之间的优先顺序。引入策略的动机是双重的：一方面，策略可以帮助减少模型的状态空间，另一方面，它们有助于探索生态系统在不同假设下的行为。考虑到政策，我们通过一个过渡关系，修剪掉执行，不尊重定义的政策，细化PALPS的语义。此外，我们提出了一个翻译的PALPS到概率模型检查PRISM。我们说明了我们的框架，应用PRISM对PALPS模型进行模拟和可达性分析的政策。
英文摘要：
In this paper we extend PALPS, a process calculus proposed for the spatially-explicit individual-based modeling of ecological systems, with the notion of a policy. A policy is an entity for specifying orderings between the different activities within a system. It is defined externally to a PALPS model as a partial order which prescribes the precedence order between the activities of the individu- als of which the model is comprised. The motivation for introducing policies is twofold: one the one hand, policies can help to reduce the state-space of a model, on the other hand, they are useful for exploring the behavior of an ecosystem under different assumptions on the ordering of events within the system. To take account of policies, we refine the semantics of PALPS via a transition relation which prunes away executions that do not respect the defined policy. Furthermore, we propose a translation of PALPS into the probabilistic model checker PRISM . We illustrate our framework by applying PRISM on PALPS models with policies for conducting simulation and reachability analysis.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
