State machine specification with reusability

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

    Research output: Contribution to journalArticle

    1 Citation (Scopus)

    Abstract

    We introduce an inheritance concept into a specification method of a concurrent system 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 reused by dividing inherited parts and non-inherited ones if the specification contains unnecessary parts for a lower specification. As an application, we specify the FIPA contract net interaction protocol (IP) with the function of an agent authentication. This is accomplished by using multiple inheritance. We also specify the FIPA iterated contract net IP by reusing the FIPA contract net IP. We have been developing a validation support tool for specifications described with the proposed method.

    Original languageEnglish
    Pages (from-to)2885-2894
    Number of pages10
    JournalIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
    VolumeE87-A
    Issue number11
    Publication statusPublished - 2004 Nov

    Fingerprint

    Reusability
    State Machine
    Specification
    Specifications
    Interaction Protocols
    Reuse
    Concurrent Systems
    Tool Support
    Authentication

    Keywords

    • Constraint
    • Inheritance
    • Refinement and expansion algorithm
    • State machine

    ASJC Scopus subject areas

    • Electrical and Electronic Engineering
    • Hardware and Architecture
    • Information Systems

    Cite this

    Itabashi, G., Takahashi, K., Kato, Y., Suganuma, T., & Shiratori, N. (2004). State machine specification with reusability. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E87-A(11), 2885-2894.

    State machine specification with reusability. / Itabashi, Goichi; Takahashi, Kaoru; Kato, Yasushi; Suganuma, Takuo; Shiratori, Norio.

    In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E87-A, No. 11, 11.2004, p. 2885-2894.

    Research output: Contribution to journalArticle

    Itabashi, G, Takahashi, K, Kato, Y, Suganuma, T & Shiratori, N 2004, 'State machine specification with reusability', IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol. E87-A, no. 11, pp. 2885-2894.
    Itabashi G, Takahashi K, Kato Y, Suganuma T, Shiratori N. State machine specification with reusability. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2004 Nov;E87-A(11):2885-2894.
    Itabashi, Goichi ; Takahashi, Kaoru ; Kato, Yasushi ; Suganuma, Takuo ; Shiratori, Norio. / State machine specification with reusability. In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2004 ; Vol. E87-A, No. 11. pp. 2885-2894.
    @article{589339a58dea4f2b97fbf4c8e3b0f271,
    title = "State machine specification with reusability",
    abstract = "We introduce an inheritance concept into a specification method of a concurrent system 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 reused by dividing inherited parts and non-inherited ones if the specification contains unnecessary parts for a lower specification. As an application, we specify the FIPA contract net interaction protocol (IP) with the function of an agent authentication. This is accomplished by using multiple inheritance. We also specify the FIPA iterated contract net IP by reusing the FIPA contract net IP. We have been developing a validation support tool for specifications described with the proposed method.",
    keywords = "Constraint, Inheritance, Refinement and expansion algorithm, State machine",
    author = "Goichi Itabashi and Kaoru Takahashi and Yasushi Kato and Takuo Suganuma and Norio Shiratori",
    year = "2004",
    month = "11",
    language = "English",
    volume = "E87-A",
    pages = "2885--2894",
    journal = "IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences",
    issn = "0916-8508",
    publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",
    number = "11",

    }

    TY - JOUR

    T1 - State machine specification with reusability

    AU - Itabashi, Goichi

    AU - Takahashi, Kaoru

    AU - Kato, Yasushi

    AU - Suganuma, Takuo

    AU - Shiratori, Norio

    PY - 2004/11

    Y1 - 2004/11

    N2 - We introduce an inheritance concept into a specification method of a concurrent system 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 reused by dividing inherited parts and non-inherited ones if the specification contains unnecessary parts for a lower specification. As an application, we specify the FIPA contract net interaction protocol (IP) with the function of an agent authentication. This is accomplished by using multiple inheritance. We also specify the FIPA iterated contract net IP by reusing the FIPA contract net IP. We have been developing a validation support tool for specifications described with the proposed method.

    AB - We introduce an inheritance concept into a specification method of a concurrent system 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 reused by dividing inherited parts and non-inherited ones if the specification contains unnecessary parts for a lower specification. As an application, we specify the FIPA contract net interaction protocol (IP) with the function of an agent authentication. This is accomplished by using multiple inheritance. We also specify the FIPA iterated contract net IP by reusing the FIPA contract net IP. We have been developing a validation support tool for specifications described with the proposed method.

    KW - Constraint

    KW - Inheritance

    KW - Refinement and expansion algorithm

    KW - State machine

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

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

    M3 - Article

    AN - SCOPUS:10444288726

    VL - E87-A

    SP - 2885

    EP - 2894

    JO - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

    JF - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

    SN - 0916-8508

    IS - 11

    ER -