Savanovic, Zorica (2023) Type discipline for message-passing components in distributed systems. Advisor: Galletta, Dr. Letterio. pp. 154. [IMT PhD Thesis]
![[img]](http://e-theses.imtlucca.it/style/images/fileicons/text.png) |
Text (Doctoral thesis)
PhD_Thesis_Zorica_Savanovic_Final.pdf Available under License Creative Commons Attribution Non-commercial Share Alike. Download (1MB) |
Abstract
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 |
