Flexible protocol synthesis method for adopting requirement changes

Bhed Bahadur Bista*, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori

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

    研究成果

    2 被引用数 (Scopus)

    抄録

    Communicating entities in a protocol specification communicate with each other and provide services to their users. Once the behaviours of the entities (specification of the protocol) are specified they are not changed. The entities provide a fixed set of services to their users. However, different users have different requirements and their requirements change often. The requirement changes in general are small in terms of the size of the behaviour expressions of the entities. Traditional protocol synthesis techniques have given considerable attention in construction of new protocols for fixed set of services but less attention to the attractive maintenance issue of protocol to adopt new protocol requirement changes. What is desirable is a protocol synthesis method which adopts new protocol requirement changes into the behaviours of entities or protocol specifications. In this paper, we propose a protocol synthesis method which adopts the new protocol requirement changes into the protocol specification. In this way, we can use existing protocol specifications and maintain them to adopt requirement changes. We use the formal specification language LOTOS to specify requirement changes and the behaviours of entities.

    本文言語English
    ホスト出版物のタイトルProceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS
    Place of PublicationLos Alamitos, CA, United States
    出版社IEEE
    ページ319-326
    ページ数8
    出版ステータス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

    • 工学(全般)

    フィンガープリント

    「Flexible protocol synthesis method for adopting requirement changes」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル