抄録
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月 28 → 2005 3月 30 |
Other
Other | 19th International Conference on Advanced Information Networking and Applications, AINA 2005 |
---|---|
City | Taipei |
Period | 05/3/28 → 05/3/30 |
ASJC Scopus subject areas
- 工学(全般)