论文标题
消息传递基于组件的系统的类型语言
A type language for message passing component-based systems
论文作者
论文摘要
基于组件的开发在分布式设置中具有挑战性，对于考虑编程的初学者，任务可能涉及松散耦合的远程组件的组装。为了完成任务，组件之间的支撑交互应遵循定义明确的协议。在本文中，我们介绍了一个用于消息传递基于组件的系统的模型，其中组件与协议本身一起组装在一起。因此，组件可以独立于协议，并以灵活的方式对消息进行反应。我们的贡献是允许捕获组件行为的类型语言级别，以检查其与协议的兼容性。我们显示了组件和类型行为的对应关系，这需要组件的进度属性。
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.
