Automatic modification of a protocol specification based on changes of a service specification

Kentaro Go, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    The problem of modifying an existing protocol specification of a communicating system in Labelled Transition System (LTS) based on changes of it's service specification in LTS is discussed. Two types of changes of a service specification are treated: addition of a behaviour expression to the service specification and deletion of some parts of the behaviour expression from the service specification. For each change, a modification method is proposed and a property of the method is shown. From the point of view of verification and validation of a specification, it is desirable to separate a changed part of the specification from the existing specification. Thus, especially for the former type of changes that is addition of a behaviour expression to the service specification, the method to express changes of the service specification by using a concurrent LTS is proposed. The method proposed in this paper is efficient and desirable when the size of the changed part of the service specification is small in terms of behaviour expressions.

    Original languageEnglish
    Title of host publicationProceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS
    Place of PublicationLos Alamitos, CA, United States
    PublisherIEEE
    Pages129-134
    Number of pages6
    Publication statusPublished - 1996
    EventProceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS'96) - Tokyo, Jpn
    Duration: 1996 Jun 31996 Jun 6

    Other

    OtherProceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS'96)
    CityTokyo, Jpn
    Period96/6/396/6/6

    Fingerprint

    Specifications
    Network protocols

    ASJC Scopus subject areas

    • Engineering(all)

    Cite this

    Go, K., Takahashi, K., Kaminaga, H., & Shiratori, N. (1996). Automatic modification of a protocol specification based on changes of a service specification. In Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS (pp. 129-134). Los Alamitos, CA, United States: IEEE.

    Automatic modification of a protocol specification based on changes of a service specification. / Go, Kentaro; Takahashi, Kaoru; Kaminaga, Hiroaki; Shiratori, Norio.

    Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS. Los Alamitos, CA, United States : IEEE, 1996. p. 129-134.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Go, K, Takahashi, K, Kaminaga, H & Shiratori, N 1996, Automatic modification of a protocol specification based on changes of a service specification. in Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS. IEEE, Los Alamitos, CA, United States, pp. 129-134, Proceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS'96), Tokyo, Jpn, 96/6/3.
    Go K, Takahashi K, Kaminaga H, Shiratori N. Automatic modification of a protocol specification based on changes of a service specification. In Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS. Los Alamitos, CA, United States: IEEE. 1996. p. 129-134
    Go, Kentaro ; Takahashi, Kaoru ; Kaminaga, Hiroaki ; Shiratori, Norio. / Automatic modification of a protocol specification based on changes of a service specification. Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS. Los Alamitos, CA, United States : IEEE, 1996. pp. 129-134
    @inproceedings{fc2025de259e4f039059b9349ee152fb,
    title = "Automatic modification of a protocol specification based on changes of a service specification",
    abstract = "The problem of modifying an existing protocol specification of a communicating system in Labelled Transition System (LTS) based on changes of it's service specification in LTS is discussed. Two types of changes of a service specification are treated: addition of a behaviour expression to the service specification and deletion of some parts of the behaviour expression from the service specification. For each change, a modification method is proposed and a property of the method is shown. From the point of view of verification and validation of a specification, it is desirable to separate a changed part of the specification from the existing specification. Thus, especially for the former type of changes that is addition of a behaviour expression to the service specification, the method to express changes of the service specification by using a concurrent LTS is proposed. The method proposed in this paper is efficient and desirable when the size of the changed part of the service specification is small in terms of behaviour expressions.",
    author = "Kentaro Go and Kaoru Takahashi and Hiroaki Kaminaga and Norio Shiratori",
    year = "1996",
    language = "English",
    pages = "129--134",
    booktitle = "Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS",
    publisher = "IEEE",

    }

    TY - GEN

    T1 - Automatic modification of a protocol specification based on changes of a service specification

    AU - Go, Kentaro

    AU - Takahashi, Kaoru

    AU - Kaminaga, Hiroaki

    AU - Shiratori, Norio

    PY - 1996

    Y1 - 1996

    N2 - The problem of modifying an existing protocol specification of a communicating system in Labelled Transition System (LTS) based on changes of it's service specification in LTS is discussed. Two types of changes of a service specification are treated: addition of a behaviour expression to the service specification and deletion of some parts of the behaviour expression from the service specification. For each change, a modification method is proposed and a property of the method is shown. From the point of view of verification and validation of a specification, it is desirable to separate a changed part of the specification from the existing specification. Thus, especially for the former type of changes that is addition of a behaviour expression to the service specification, the method to express changes of the service specification by using a concurrent LTS is proposed. The method proposed in this paper is efficient and desirable when the size of the changed part of the service specification is small in terms of behaviour expressions.

    AB - The problem of modifying an existing protocol specification of a communicating system in Labelled Transition System (LTS) based on changes of it's service specification in LTS is discussed. Two types of changes of a service specification are treated: addition of a behaviour expression to the service specification and deletion of some parts of the behaviour expression from the service specification. For each change, a modification method is proposed and a property of the method is shown. From the point of view of verification and validation of a specification, it is desirable to separate a changed part of the specification from the existing specification. Thus, especially for the former type of changes that is addition of a behaviour expression to the service specification, the method to express changes of the service specification by using a concurrent LTS is proposed. The method proposed in this paper is efficient and desirable when the size of the changed part of the service specification is small in terms of behaviour expressions.

    UR - http://www.scopus.com/inward/record.url?scp=0029717923&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=0029717923&partnerID=8YFLogxK

    M3 - Conference contribution

    AN - SCOPUS:0029717923

    SP - 129

    EP - 134

    BT - Proceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS

    PB - IEEE

    CY - Los Alamitos, CA, United States

    ER -