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

    ASJC Scopus subject areas

    • Engineering(all)

    Fingerprint Dive into the research topics of 'Automatic modification of a protocol specification based on changes of a service specification'. Together they form a unique fingerprint.

  • 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). IEEE.