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 - International Conference on Advanced Information Networking and Applications, AINA
    Pages99-104
    Number of pages6
    Volume1
    DOIs
    Publication statusPublished - 2005
    Event19th International Conference on Advanced Information Networking and Applications, AINA 2005 - Taipei
    Duration: 2005 Mar 282005 Mar 30

    Other

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

    Fingerprint

    Real time systems
    Specifications
    Reusability

    ASJC Scopus subject areas

    • Engineering(all)

    Cite this

    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, pp. 99-104). [1423477] https://doi.org/10.1109/AINA.2005.220

    Incremental design of a state machine specification for mobile and real-time systems. / Itabashi, Goichi; Takahashi, Kaoru; Kato, Yasushi; Suganuma, Takuo; Shiratori, Norio.

    Proceedings - International Conference on Advanced Information Networking and Applications, AINA. Vol. 1 2005. p. 99-104 1423477.

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

    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
    Itabashi G, Takahashi K, Kato Y, Suganuma T, Shiratori N. 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. 2005. p. 99-104. 1423477 https://doi.org/10.1109/AINA.2005.220
    Itabashi, Goichi ; Takahashi, Kaoru ; Kato, Yasushi ; Suganuma, Takuo ; Shiratori, Norio. / Incremental design of a state machine specification for mobile and real-time systems. Proceedings - International Conference on Advanced Information Networking and Applications, AINA. Vol. 1 2005. pp. 99-104
    @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",

    }

    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

    SN - 0769522491

    SN - 9780769522494

    VL - 1

    SP - 99

    EP - 104

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

    ER -