On the use of specification styles for automated protocol implementation from LOTOS to C

Peter van Eijk; Harro Kremer; Marten J. van Sinderen

On the use of specification styles for automated protocol implementation from LOTOS to C

Peter van Eijk, Harro Kremer, Marten J. van Sinderen

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

49 Downloads (Pure)

Abstract

Distributed system design, including implementation and software development, should be based on formal methods in order to achieve correct design. In this paper we study the possibility of automated protocol implementation by transformation from structured formal specifications, in LOTOS, to program code, in C. Particular specification structures are referred to as specification styles. The implementation approach presented here is based on the successful implementation of a medium scale protocol, the sliding window protocol. Details of this design exercise are included.

Original language	English
Title of host publication	Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990
Editors	Luigi Logrippo, Robert L. Probert, Hasan Ural
Place of Publication	Amsterdam
Publisher	North Holland
Pages	157-168
Number of pages	12
ISBN (Print)	0-444-88810-1
Publication status	Published - 1990
Event	IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990 - Ottawa, Canada Duration: 12 Jun 1990 → 15 Jun 1990 Conference number: 10

Conference

Conference	IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990
Abbreviated title	PSTV 1990
Country/Territory	Canada
City	Ottawa
Period	12/06/90 → 15/06/90

Keywords

SCS-Services

Access to Document

VanEijk1991onFinal published version, 155 KB

https://dl.acm.org/citation.cfm?id=670250

Cite this

van Eijk, P., Kremer, H., & van Sinderen, M. J. (1990). On the use of specification styles for automated protocol implementation from LOTOS to C. In L. Logrippo, R. L. Probert, & H. Ural (Eds.), Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990 (pp. 157-168). North Holland. https://dl.acm.org/citation.cfm?id=670250

van Eijk, Peter ; Kremer, Harro ; van Sinderen, Marten J. / On the use of specification styles for automated protocol implementation from LOTOS to C. Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990. editor / Luigi Logrippo ; Robert L. Probert ; Hasan Ural. Amsterdam : North Holland, 1990. pp. 157-168

@inproceedings{8cd023be86fa4a97951f288faca83e0c,

title = "On the use of specification styles for automated protocol implementation from LOTOS to C",

abstract = "Distributed system design, including implementation and software development, should be based on formal methods in order to achieve correct design. In this paper we study the possibility of automated protocol implementation by transformation from structured formal specifications, in LOTOS, to program code, in C. Particular specification structures are referred to as specification styles. The implementation approach presented here is based on the successful implementation of a medium scale protocol, the sliding window protocol. Details of this design exercise are included.",

keywords = "SCS-Services",

author = "{van Eijk}, Peter and Harro Kremer and {van Sinderen}, {Marten J.}",

year = "1990",

language = "English",

isbn = "0-444-88810-1",

pages = "157--168",

editor = "Luigi Logrippo and Probert, {Robert L.} and Hasan Ural",

booktitle = "Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990",

publisher = "North Holland",

address = "Netherlands",

note = "IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990, PSTV 1990 ; Conference date: 12-06-1990 Through 15-06-1990",

}

van Eijk, P, Kremer, H & van Sinderen, MJ 1990, On the use of specification styles for automated protocol implementation from LOTOS to C. in L Logrippo, RL Probert & H Ural (eds), Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990. North Holland, Amsterdam, pp. 157-168, IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990, Ottawa, Ontario, Canada, 12/06/90. <https://dl.acm.org/citation.cfm?id=670250>

On the use of specification styles for automated protocol implementation from LOTOS to C. / van Eijk, Peter; Kremer, Harro; van Sinderen, Marten J.
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990. ed. / Luigi Logrippo; Robert L. Probert; Hasan Ural. Amsterdam: North Holland, 1990. p. 157-168.

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

TY - GEN

T1 - On the use of specification styles for automated protocol implementation from LOTOS to C

AU - van Eijk, Peter

AU - Kremer, Harro

AU - van Sinderen, Marten J.

N1 - Conference code: 10

PY - 1990

Y1 - 1990

N2 - Distributed system design, including implementation and software development, should be based on formal methods in order to achieve correct design. In this paper we study the possibility of automated protocol implementation by transformation from structured formal specifications, in LOTOS, to program code, in C. Particular specification structures are referred to as specification styles. The implementation approach presented here is based on the successful implementation of a medium scale protocol, the sliding window protocol. Details of this design exercise are included.

AB - Distributed system design, including implementation and software development, should be based on formal methods in order to achieve correct design. In this paper we study the possibility of automated protocol implementation by transformation from structured formal specifications, in LOTOS, to program code, in C. Particular specification structures are referred to as specification styles. The implementation approach presented here is based on the successful implementation of a medium scale protocol, the sliding window protocol. Details of this design exercise are included.

KW - SCS-Services

M3 - Conference contribution

SN - 0-444-88810-1

SP - 157

EP - 168

BT - Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990

A2 - Logrippo, Luigi

A2 - Probert, Robert L.

A2 - Ural, Hasan

PB - North Holland

CY - Amsterdam

T2 - IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990

Y2 - 12 June 1990 through 15 June 1990

ER -

On the use of specification styles for automated protocol implementation from LOTOS to C

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this