An Event-B Model for On-Demand Streaming

Petter Sandvik*, Kaisa Sere, Marina Walden

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen


As services and applications move away from the one-to-may relationship of the client-server model towards many-to-many relations such as cloud-based services and peer-to-peer networks, there is a need for a reusable model of how a node could work in such a network that transfers content between nodes. While distributed systems and in particular peer-to-peer technology has found success in file transfer use, on-demand media streaming has so far largely eluded this kind of decentralisation. In this paper we use the Event-B formalism to describe a structured formal model, from the more general node in a content transfer network to the more specific one of a peer-to-peer file sharing based content streaming.
JulkaisupaikkaTurku, Finland
KustantajaTurku Centre for Computer Science
ISBN (painettu)978-952-12-2535-2
TilaJulkaistu - 2010
OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset


NimiTUCS Technical Reports
ISSN (painettu)1239-1891

Sormenjälki Sukella tutkimusaiheisiin 'An Event-B Model for On-Demand Streaming'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.