Component-based development is challenging in a distributed setting, for starters considering programming a task may involve the assembly of loosely-coupled remote components. In order for the task to be fulfilled, the supporting interaction among components should follow a well-defined protocol. In this paper we address a model for message passing component-based systems where components are assembled together with the protocol itself. Components can therefore be independent from the protocol, and reactive to messages in a flexible way. Our contribution is at the level of the type language that allows to capture component behaviour so as to check its compatibility with a protocol. We show the correspondence of component and type behaviours, which entails a progress property for components.

中文翻译：

---

一种用于基于组件的消息传递系统的类型语言

在分布式环境中，基于组件的开发具有挑战性，对于考虑编程任务的初学者来说，可能涉及松散耦合的远程组件的组装。为了完成任务，组件之间的支持交互应该遵循明确定义的协议。在本文中，我们讨论了一个基于组件的消息传递系统模型，其中组件与协议本身组装在一起。因此，组件可以独立于协议，并以灵活的方式对消息做出反应。我们的贡献是在允许捕获组件行为以检查其与协议的兼容性的类型语言级别。我们展示了组件和类型行为的对应关系，这需要组件的进度属性。