State machine specification with reusability

Goichi Itabashi*, Kaoru Takahashi, Yasushi Kato, Takuo Suganuma, Norio Shiratori

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

    研究成果: Article査読

    1 被引用数 (Scopus)

    抄録

    We introduce an inheritance concept into a specification method of a concurrent system in order to reuse and refine existing specifications. Reusability by inheritance is emphasized in this paper. We take multiple inheritance to enable to reuse several specifications at a time. An upper specification can be skillfully reused by dividing inherited parts and non-inherited ones if the specification contains unnecessary parts for a lower specification. As an application, we specify the FIPA contract net interaction protocol (IP) with the function of an agent authentication. This is accomplished by using multiple inheritance. We also specify the FIPA iterated contract net IP by reusing the FIPA contract net IP. We have been developing a validation support tool for specifications described with the proposed method.

    本文言語English
    ページ(範囲)2885-2894
    ページ数10
    ジャーナルIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
    E87-A
    11
    出版ステータスPublished - 2004 11

    ASJC Scopus subject areas

    • 電子工学および電気工学
    • ハードウェアとアーキテクチャ
    • 情報システム

    フィンガープリント

    「State machine specification with reusability」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル