反应系统等价性的 SOS 规则
计算机科学中的逻辑
2020-09-01 v1 编程语言
摘要
反应系统（RSs）是一种受生物系统启发的成功计算框架。一个 RS 将一组实体与一组作用于这些实体的反应配对。实体可用于启用或抑制每个反应，并由反应产生。实体也可由外部上下文提供。RS 语义通过（无标签）重写系统定义：给定当前实体集，一次重写步骤由应用所有且仅有被启用的反应组成。本文首次以结构操作语义（SOS）风格为 RSs 定义标记转移系统。这是通过提炼一个签名实现的，其算符直接对应于 RSs 的组成部分，并为每个此类算符定义简单的 SOS 推理规则，以组合方式定义 RS 的行为。标签中记录的丰富信息使我们能够定义一种断言语言，以针对某些特定属性或实体定制行为等价性。SOS 方法适用于推动 RSs 在诸如实体定量测量和 RSs 间通信等特征上的进一步增强。SOS 规则还被用于设计逻辑编程中的原型实现。
引用
@article{arxiv.2008.13016,
title = {SOS Rules for Equivalences of Reaction Systems},
author = {Linda Brodo and Roberto Bruni and Moreno Falaschi},
journal= {arXiv preprint arXiv:2008.13016},
year = {2020}
}
备注
Part of WFLP 2020 pre-proceedings