发表机构
University of Catania（卡塔尼亚大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
该研究将通信有限状态机系统的PaI组合方法推广至部分网关场景，证明连接策略满足对应特性时可保留无死锁等通信特性，且该结论源于融合组合的特性保持结果，明确了融合组合的核心地位。
AI 中文摘要
用于系统组合的参与者即接口（Participants-as-Interfaces, PaI）方法论提出，系统参与者可被视为接口。对于给定集合中的每个系统，都会指定一名参与者充当其接口。当系统进行组合时，这些接口参与者会被替换为相互通信的网关，网关通过转发消息实现通信。我们将该方法推广至部分网关场景，即网关仅可转发一组选定的消息。与标准PaI方法类似，我们将这一扩展版本应用于通信有限状态机（communicating finite state machines, CFSMs）系统。该扩展在二元场景下有完整详述，且可扩展至多组合场景。我们证明，当连接策略（即代表网关间预期交互方式的系统）也具备相同特性时，通过部分网关实现的PaI组合可保留诸多关键通信特性，包括无死锁、无接收错误等。这一证明实则是一种受限部分组合方法（称为融合组合）的特性保持结果的推论。由此可见，融合组合是PaI组合方法的核心。
英文摘要
The Participants-as-Interfaces (PaI) methodology for system composition proposes that system participants can be regarded as interfaces. For each system in a given collection, one participant is designated to serve as its interface. When the systems are composed, these interface participants are replaced with gateways that communicate with one another by forwarding messages. We generalise the approach to partial gateways, where gateways can forward only a chosen set of messages. As for the standard PaI approach, we exploit such extended version for systems of communicating finite state machines (CFSMs). This extension is fully detailed for the binary case, and can be scaled up to the multicomposition case. We prove that many relevant communication properties (deadlock-freeness, reception-error-freeness, etc.) are preserved by PaI composition via partial gateways in case also the connection policy (i.e. the system representing the way we wish gateways interact with each other) enjoys the same properties. Such a proof turns out to be just a corollary of a property preservation result for a restricted and partial composition method, dubbed fusion-composition. Fusion-composition hence turns out to be at the heart of the PaI composition approach.
CommentsIn Proceedings ICE 2026, arXiv:2609.30353
Journal refEPTCS 453, 2026, pp. 2-22
