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

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationProceedings - 19th International Conference on Advanced Information Networking and Applications, AINA 2005
Pages99-104
Number of pages6
DOIs
Publication statusPublished - 2005
Event19th International Conference on Advanced Information Networking and Applications, AINA 2005 - Taipei, Taiwan, Province of China
Duration: 2005 Mar 282005 Mar 30

Publication series

NameProceedings - International Conference on Advanced Information Networking and Applications, AINA
Volume1
ISSN (Print)1550-445X

Other

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

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Incremental design of a state machine specification for mobile and real-time systems'. Together they form a unique fingerprint.

Cite this