A type language for message passing component-based systems

Zorica Savanović
(IMT School for Advanced Studies Lucca)
Letterio Galletta
(IMT School for Advanced Studies Lucca)
Hugo Torres Vieira
(C4 - University of Beira Interior)

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.

In Julien Lange, Anastasia Mavridou, Larisa Safina and Alceste Scalas: Proceedings 13th Interaction and Concurrency Experience (ICE 2020), Online, 19 June 2020, Electronic Proceedings in Theoretical Computer Science 324, pp. 3–24.
Published: 17th September 2020.

ArXived at: http://dx.doi.org/10.4204/EPTCS.324.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org