Frameworks for Protocol Implementation

Ciro de Barros Barbosa; C. de barros Barbosa; Luis Ferreira Pires; L.F. Pires; Marten J. van Sinderen

Frameworks for Protocol Implementation

Ciro de Barros Barbosa, C. de barros Barbosa, Luis Ferreira Pires, L.F. Pires, Marten J. van Sinderen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

303 Downloads (Pure)

Abstract

This paper reports on the development of a catalogue of frameworks for protocol implementation. Frameworks are software structures developed for a specific application domain, which can be re-used in the implementation of various different concrete systems in this domain. By using frameworks we aim at increasing the effectiveness of the protocol implementation process. We assume that whenever protocols are directly implemented from their specifications one may be able to increase the correctness and the speed of the implementation process, and the maintainability of the resulting system. We argue that frameworks should match the concepts underlying the techniques used for specifying protocols. Consequently, we couple the development of frameworks for protocol implementation to the investigation of the different alternative design models for protocol specification. This paper presents the approach we have been using to develop frameworks, and illustrates this approach with an example of framework.

Original language	Undefined
Title of host publication	6th Brazilian Symposium on Computer Networks (SBRC'98)
Place of Publication	Brazil
Publisher	University of Twente
Pages	385-403
Number of pages	19
Publication status	Published - 1998
Event	16th Brazilian Symposium on Computer Networks, SBRC 1998 - Rio de Janeiro, Brazil Duration: 25 Jan 1998 → 28 Jan 1998 Conference number: 16

Publication series

Name
Publisher	SBC

Conference

Conference	16th Brazilian Symposium on Computer Networks, SBRC 1998
Abbreviated title	SBRC
Country/Territory	Brazil
City	Rio de Janeiro
Period	25/01/98 → 28/01/98
Other	(Simpósio Brasileiro de Redes de Computadores, SBRC)

Keywords

SCS-Services
METIS-119332
IR-66776
EWI-8766

Access to Document

Cite this

@inproceedings{e2cf4d5fa227469fb608030834150b2b,

title = "Frameworks for Protocol Implementation",

abstract = "This paper reports on the development of a catalogue of frameworks for protocol implementation. Frameworks are software structures developed for a specific application domain, which can be re-used in the implementation of various different concrete systems in this domain. By using frameworks we aim at increasing the effectiveness of the protocol implementation process. We assume that whenever protocols are directly implemented from their specifications one may be able to increase the correctness and the speed of the implementation process, and the maintainability of the resulting system. We argue that frameworks should match the concepts underlying the techniques used for specifying protocols. Consequently, we couple the development of frameworks for protocol implementation to the investigation of the different alternative design models for protocol specification. This paper presents the approach we have been using to develop frameworks, and illustrates this approach with an example of framework.",

keywords = "SCS-Services, METIS-119332, IR-66776, EWI-8766",

author = "{de Barros Barbosa}, Ciro and {de barros Barbosa}, C. and {Ferreira Pires}, Luis and L.F. Pires and {van Sinderen}, {Marten J.}",

note = "Imported from research group ASNA (ID number 224); null ; Conference date: 25-01-1998 Through 28-01-1998",

year = "1998",

language = "Undefined",

publisher = "University of Twente",

pages = "385--403",

booktitle = "6th Brazilian Symposium on Computer Networks (SBRC'98)",

address = "Netherlands",

}

Frameworks for Protocol Implementation. / de Barros Barbosa, Ciro; de barros Barbosa, C.; Ferreira Pires, Luis ; Pires, L.F.; van Sinderen, Marten J.

6th Brazilian Symposium on Computer Networks (SBRC'98). Brazil : University of Twente, 1998. p. 385-403.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Frameworks for Protocol Implementation

AU - de Barros Barbosa, Ciro

AU - de barros Barbosa, C.

AU - Ferreira Pires, Luis

AU - Pires, L.F.

AU - van Sinderen, Marten J.

N1 - Conference code: 16

PY - 1998

Y1 - 1998

N2 - This paper reports on the development of a catalogue of frameworks for protocol implementation. Frameworks are software structures developed for a specific application domain, which can be re-used in the implementation of various different concrete systems in this domain. By using frameworks we aim at increasing the effectiveness of the protocol implementation process. We assume that whenever protocols are directly implemented from their specifications one may be able to increase the correctness and the speed of the implementation process, and the maintainability of the resulting system. We argue that frameworks should match the concepts underlying the techniques used for specifying protocols. Consequently, we couple the development of frameworks for protocol implementation to the investigation of the different alternative design models for protocol specification. This paper presents the approach we have been using to develop frameworks, and illustrates this approach with an example of framework.

AB - This paper reports on the development of a catalogue of frameworks for protocol implementation. Frameworks are software structures developed for a specific application domain, which can be re-used in the implementation of various different concrete systems in this domain. By using frameworks we aim at increasing the effectiveness of the protocol implementation process. We assume that whenever protocols are directly implemented from their specifications one may be able to increase the correctness and the speed of the implementation process, and the maintainability of the resulting system. We argue that frameworks should match the concepts underlying the techniques used for specifying protocols. Consequently, we couple the development of frameworks for protocol implementation to the investigation of the different alternative design models for protocol specification. This paper presents the approach we have been using to develop frameworks, and illustrates this approach with an example of framework.

KW - SCS-Services

KW - METIS-119332

KW - IR-66776

KW - EWI-8766

M3 - Conference contribution

SP - 385

EP - 403

BT - 6th Brazilian Symposium on Computer Networks (SBRC'98)

PB - University of Twente

CY - Brazil

Y2 - 25 January 1998 through 28 January 1998

ER -