A type language for message passing component-based systems
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2020
- DOI:
- 10.48550/arXiv.2009.07989
- arXiv:
- arXiv:2009.07989
- Bibcode:
- 2020arXiv200907989S
- Keywords:
-
- Computer Science - Programming Languages;
- Computer Science - Logic in Computer Science;
- F.3.1;
- F.3.2
- E-Print:
- In Proceedings ICE 2020, arXiv:2009.07628