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

SPECTA: A Formal Specification Language for Content Transfer Algorithms

Petter Sandvik, SPECTA: A Formal Specification Language for Content Transfer Algorithms. In: The 15th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2014), 1–4, IEEE, 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. 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 article, 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.

BibTeX entry:

@INPROCEEDINGS{inpSandvik_Petter14a,
  title = {SPECTA: A Formal Specification Language for Content Transfer Algorithms},
  booktitle = {The 15th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM 2014)},
  author = {Sandvik, Petter},
  publisher = {IEEE},
  pages = {1–4},
  year = {2014},
}

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

Publication Forum rating of this publication: level 1

Edit publication