The Participants-as-Interfaces (PaI) approach to system composition suggests that participants of a system may be viewed as interfaces. Given a set of systems,one participant per system is chosen to play the role of an interface. When systems are composed, the interface participants are replaced by gateways which communicate to each other by forwarding messages. The PaI-approach for systems of asynchronous communicating finite state machines (CFSMs) has been exploited in the literature for binary composition only, with a (necessarily) unique forwarding policy. In this paper we consider the case of multiple system composition when forwarding gateways are not uniquely determined and their interactions depend on specific connection policies complying with a connection model. We represent connection policies as CFSM systems and prove that a bunch of relevant communication properties (deadlock-freeness, reception-error-freeness, etc.) are preserved by PaI multicomposition, with the proviso that also the used connection policy does enjoy the communication property taken into account.

翻译：参与者即接口（PaI）的系统组合方法提出，系统的参与者可被视为接口。给定一组系统，每个系统选取一个参与者扮演接口角色。当系统组合时，接口参与者被网关取代，这些网关通过转发消息相互通信。现有文献中针对异步通信有限状态机（CFSM）系统的PaI方法仅用于二元组合，且采用（必然）唯一的转发策略。本文研究多系统组合情形，其中转发网关并非唯一确定，其交互行为取决于符合连接模型的具体连接策略。我们将连接策略建模为CFSM系统，并证明在所用连接策略同样满足所考察通信属性的前提下，一系列关键通信属性（无死锁性、无接收错误性等）可通过PaI多重组合得以保持。