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

A Formal Specification Language for Content Transfer Algorithms

Petter Sandvik, A Formal Specification Language for Content Transfer Algorithms. TUCS Technical Reports 1109, TUCS, 2014.

Abstract:

When data is transferred between nodes in a network, it is often transferred in-order. However, in distributed systems, such as peer-to-peer networks and cloud-based systems, transferring data out-of-order can be advantageous, for instance by improving transfer speed, availability and reliability through the use of different algorithms. With the intent of creating a reusable formalism that can describe the complexities of out-of-order content transfer in a simple manner, while being powerful enough to support as large a variety of distributed content transfer algorithms as possible, we introduce the Specification for Content Transfer Algorithms (SPECTA) language. In this report, we also show how algorithms written in this language can be translated into other formalisms such as Event-B for analysis, verification or code generation.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tSandvik_Petter14a,
  title = {A Formal Specification Language for Content Transfer Algorithms},
  author = {Sandvik, Petter},
  number = {1109},
  series = {TUCS Technical Reports},
  publisher = {TUCS},
  year = {2014},
  ISBN = {978-952-12-3058-5},
}

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

Edit publication