Incremental design of a state machine specification for mobile and real-time systems

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

    研究成果: Conference contribution

    抄録

    We introduce an inheritance concept into a specification method of mobile and real-time systems an 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 divided into inherited parts and non-inherited ones. Therefore, a necessay part of the specification can be reused for a lower specification. As an application, the FIPA contract net interaction protocol is specified incrementally by using our method. We have been developing support tools for specifications described using our proposed method.

    本文言語English
    ホスト出版物のタイトルProceedings - International Conference on Advanced Information Networking and Applications, AINA
    ページ99-104
    ページ数6
    1
    DOI
    出版ステータスPublished - 2005
    イベント19th International Conference on Advanced Information Networking and Applications, AINA 2005 - Taipei
    継続期間: 2005 3 282005 3 30

    Other

    Other19th International Conference on Advanced Information Networking and Applications, AINA 2005
    CityTaipei
    Period05/3/2805/3/30

    ASJC Scopus subject areas

    • Engineering(all)

    フィンガープリント 「Incremental design of a state machine specification for mobile and real-time systems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル