Model Extraction for Sockets-based Distributed Programs

Alexander Heussner (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

The following short report introduces an approach to utilize unbounded, reliable fifo queues as basis for an operational semantics of distributed applications whose implementation is based on the Berke- ley Sockets API. After a sketch of TCP and the Sockets API, a first draft of a formalization of distributed programs is given as well as a straight-forward translation into the abstract formal model of queueing concurrent processes.

Keywords: model extraction; fifo semantics; Berkeley sockets; distributed programs

Domains: Other [cs.OH]

Alexander Heussner. Model Extraction for Sockets-based Distributed Programs. 2009. ⟨hal-00425099⟩