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

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

doi:10.1109/AINA.2005.220

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	https://doi.org/10.1109/AINA.2005.220
出版ステータス	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

工学（全般）

文献へのアクセス

10.1109/AINA.2005.220

他のファイルとリンク

引用スタイル

Itabashi, G, Takahashi, K, Kato, Y, Suganuma, T & Shiratori, N 2005, Incremental design of a state machine specification for mobile and real-time systems. in Proceedings - International Conference on Advanced Information Networking and Applications, AINA. vol. 1, 1423477, pp. 99-104, 19th International Conference on Advanced Information Networking and Applications, AINA 2005, Taipei, 05/3/28. https://doi.org/10.1109/AINA.2005.220

@inproceedings{ca8f44bfc4cd4374ad7cd476304a8419,

title = "Incremental design of a state machine specification for mobile and real-time systems",

abstract = "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.",

author = "Goichi Itabashi and Kaoru Takahashi and Yasushi Kato and Takuo Suganuma and Norio Shiratori",

year = "2005",

doi = "10.1109/AINA.2005.220",

language = "English",

isbn = "0769522491",

volume = "1",

pages = "99--104",

booktitle = "Proceedings - International Conference on Advanced Information Networking and Applications, AINA",

note = "19th International Conference on Advanced Information Networking and Applications, AINA 2005 ; Conference date: 28-03-2005 Through 30-03-2005",

}

TY - GEN

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

AU - Itabashi, Goichi

AU - Takahashi, Kaoru

AU - Kato, Yasushi

AU - Suganuma, Takuo

AU - Shiratori, Norio

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33744496844&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33744496844&partnerID=8YFLogxK

U2 - 10.1109/AINA.2005.220

DO - 10.1109/AINA.2005.220

M3 - Conference contribution

AN - SCOPUS:33744496844

SN - 0769522491

SN - 9780769522494

VL - 1

SP - 99

EP - 104

BT - Proceedings - International Conference on Advanced Information Networking and Applications, AINA

T2 - 19th International Conference on Advanced Information Networking and Applications, AINA 2005

Y2 - 28 March 2005 through 30 March 2005

ER -

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

抄録

Other

ASJC Scopus subject areas

文献へのアクセス

他のファイルとリンク

フィンガープリント

引用スタイル