反应体系等价性的SOS规则
SOS Rules for Equivalences of Reaction Systems
摘要：
反应系统（Reaction Systems，RS）是一个受生物系统启发的成功计算框架。RS将一组实体与它们上的一组反应配对。实体可用于使能或抑制每个反应，并由反应产生。实体也可以由外部上下文提供。RS语义是根据（未标记的）重写系统定义的：给定当前实体集，重写步骤包括所有且仅启用的反应的应用。在本文中，我们定义，第一次，标记的结构操作语义（SOS）风格的RS转换系统。这是通过提取一个签名，其运营商直接对应于RS的成分，并通过定义一些简单的SOS推理规则，任何这样的运营商定义的RS的行为在一个组合的方式来实现。标签中记录的丰富信息允许我们定义一种断言语言，以定制某些特定属性或实体的行为等价。SOS方法适合于沿着诸如实体的定量测量和RS之间的通信之类的特征来驱动RS的额外增强。SOS规则也被用来设计逻辑编程的原型实现。
英文摘要：
Reaction Systems (RSs) are a successful computational framework inspired by biological systems. A RS pairs a set of entities with a set of reactions over them. Entities can be used to enable or inhibit each reaction, and are produced by reactions. Entities can also be provided by an external context. RS semantics is defined in terms of an (unlabelled) rewrite system: given the current set of entities, a rewrite step consists of the application of all and only the enabled reactions. In this paper we define, for the first time, a labelled transition system for RSs in the structural operational semantics (SOS) style. This is achieved by distilling a signature whose operators directly correspond to the ingredients of RSs and by defining some simple SOS inference rules for any such operator to define the behaviour of the RS in a compositional way. The rich information recorded in the labels allows us to define an assertion language to tailor behavioural equivalences on some specific properties or entities. The SOS approach is suited to drive additional enhancements of RSs along features such as quantitative measurements of entities and communication between RSs. The SOS rules have been also exploited to design a prototype implementation in logic programming.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
