• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

An Event-B Model for On-Demand Streaming

Petter Sandvik, Kaisa Sere, Marina Waldén, An Event-B Model for On-Demand Streaming. TUCS Technical Reports 994, Turku Centre for Computer Science, 2010.

Abstract:

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.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tSaSeWa10a,
  title = {An Event-B Model for On-Demand Streaming},
  author = {Sandvik, Petter and Sere, Kaisa and Waldén, Marina},
  number = {994},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2010},
  keywords = {formal modelling, streaming, Event-B, Rodin Platform tool, refinement, peer-to-peer networks, network protocols},
  ISBN = {978-952-12-2535-2},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication