Logo eprints

Type discipline for message-passing components in distributed systems

Savanovic, Zorica (2023) Type discipline for message-passing components in distributed systems. Advisor: Galletta, Dr. Letterio. pp. 154. [IMT PhD Thesis]

[img] Text (Doctoral thesis)
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (1MB)


Component based software engineering (CBSE) is a method- ology that aims to design and build software systems by assembling together reusable and loosely coupled compo- nents. Applying CBSE in a distributed setting is appealing but challenging: distributed applications require different remote components to interact following a well-defined protocol. This thesis addresses a model for message passing component-based systems where components are assembled together with the protocol itself. Components can there- fore be independent from the protocol, and can react to messages in a flexible way. This thesis studies how types can capture component behaviour and can enable checking the compatibility with a protocol. In particular, this thesis proposes two type languages for reactive components: the first language excludes choice terms, whereas the second one includes them. We show the correspondence of component and type behaviours, which entails a progress property for components.

Item Type: IMT PhD Thesis
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
PhD Course: Computer science and systems engineering
Identification Number: https://doi.org/10.13118/imtlucca/e-theses/381
NBN Number: urn:nbn:it:imtlucca-29344
Date Deposited: 19 Jul 2023 08:44
URI: http://e-theses.imtlucca.it/id/eprint/381

Actions (login required, only for staff repository)

View Item View Item