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 proceedingConference contributionAcademicpeer-review

    4 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 languageEnglish
    Title of host publicationProceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990
    EditorsLuigi Logrippo, Robert L. Probert, Hasan Ural
    Place of PublicationAmsterdam
    PublisherNorth-Holland Publishing Co
    Pages157-168
    Number of pages12
    ISBN (Print)0-444-88810-1
    Publication statusPublished - 1990
    EventIFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990 - Ottawa, Canada
    Duration: 12 Jun 199015 Jun 1990
    Conference number: 10

    Conference

    ConferenceIFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1990
    Abbreviated titlePSTV 1990
    CountryCanada
    CityOttawa
    Period12/06/9015/06/90

    Keywords

    • SCS-Services

    Fingerprint Dive into the research topics of 'On the use of specification styles for automated protocol implementation from LOTOS to C'. Together they form a unique fingerprint.

    Cite this