The Microcosm Principle and Compositionality of GSOS-Based Component Calculi. Proc
The Microcosm Principle and Compositionality of GSOS-Based Component Calculi. Proc
复制标题
基于 GSOS 的分量演算的微观原理和组合性。
DOI：
10.1007/978-3-642-22944-2_16
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Ichiro Hasuo
中科院分区：
文献类型：
--
作者：
Yiling Lin;Miwako Mishima;Junya Satoh and Masakazu Jimbo;遠藤久顕;Ichiro Hasuo
在 Jacobs、Sokolova 和作者之前的工作中，观察到了余代数的同步并行组合（生成一个余代数）和行为的并行组合（生成一个行为，其中行为与最终余代数的状态相同），形成了微观世界原理的一个实例。微观世界原理是贝兹和多兰提出的一个术语，指的是嵌套代数结构的一般现象，例如幺半群范畴中的幺半群。这两个并行组合级别的适当组织导致了一般组合性定理：组合系统的行为仅依赖于其组成部分的行为。在当前的论文中，该框架得到了扩展，以便它能够容纳任何流程操作符（不限于并行组合），其含义通过 GSOS 规则来指定。这概括了 Turi 和 Plotkin 的 GSOS 双代数建模，允许过程操作员充当组件之间的连接器（如余代数）。
In the previous work by Jacobs, Sokolova and the author, synchronous parallel composition of coalgebras—yielding a coalgebra—and parallel composition of behaviors—yielding a behavior, where behaviors are identified with states of the final coalgebra—were observed to form an instance of themicrocosm principle. The microcosm principle, a term by Baez and Dolan, refers to the general phenomenon of nested algebraic structures such as a monoid in a monoidal category. Suitable organization of these two levels of parallel composition led to a generalcompositionalitytheorem: the behavior of the composed system relies only on the behaviors of its constituent parts. In the current paper this framework is extended so that it accommodates any process operator—not restricted to parallel composition—whose meaning is specified by means of GSOS rules. This generalizes Turi and Plotkin’s bialgebraic modeling of GSOS, by allowing a process operator to act as a connector between components as coalgebras.