2005年
Incremental design of a state machine specification for mobile and real-time systems
19th International Conference on Advanced Information Networking and Applications, Vol 1, Proceedings
- ,
- ,
- ,
- ,
- 開始ページ
- 99
- 終了ページ
- 104
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1109/AINA.2005.220
- 出版者・発行元
- IEEE COMPUTER SOC
We introduce an inheritance concept into a specification method of mobile and real-time systems 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 divided into inherited parts and non-inherited ones. Therefore, a necessary 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.
- リンク情報
- ID情報
-
- DOI : 10.1109/AINA.2005.220
- Web of Science ID : WOS:000229593700016