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

Kentaro Go*, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori

*この研究の対応する著者

    研究成果: Conference contribution

    抄録

    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.

    本文言語English
    ホスト出版物のタイトルProceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS
    Place of PublicationLos Alamitos, CA, United States
    出版社IEEE
    ページ129-134
    ページ数6
    出版ステータスPublished - 1996
    イベントProceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS'96) - Tokyo, Jpn
    継続期間: 1996 6 31996 6 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

    • 工学(全般)

    フィンガープリント

    「Automatic modification of a protocol specification based on changes of a service specification」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル