State Machine Specification with Reusability

Goichi ITABASHI; Kaoru TAKAHASHI; Yasushi KATO; Takuo SUGANUMA; Norio SHIRATORI

State Machine Specification with Reusability

Goichi ITABASHI, Kaoru TAKAHASHI, Yasushi KATO, Takuo SUGANUMA, Norio SHIRATORI

Full Text Views

0

Share
Cite this

Summary :

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.

Publication: IEICE TRANSACTIONS on Fundamentals Vol.E87-A No.11 pp.2885-2894

Publication Date: 2004/11/01

Publicized

Online ISSN

DOI

Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems and Hybrid Systems)

Category: Concurrent Systems

Cite this

Copy

Goichi ITABASHI, Kaoru TAKAHASHI, Yasushi KATO, Takuo SUGANUMA, Norio SHIRATORI, "State Machine Specification with Reusability" in IEICE TRANSACTIONS on Fundamentals, vol. E87-A, no. 11, pp. 2885-2894, November 2004, doi: .
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.
URL: https://globals.ieice.org/en_transactions/fundamentals/10.1587/e87-a_11_2885/_p

Copy

@ARTICLE{e87-a_11_2885,
author={Goichi ITABASHI, Kaoru TAKAHASHI, Yasushi KATO, Takuo SUGANUMA, Norio SHIRATORI, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={State Machine Specification with Reusability},
year={2004},
volume={E87-A},
number={11},
pages={2885-2894},
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={},
doi={},
ISSN={},
month={November},}

Copy

TY - JOUR
TI - State Machine Specification with Reusability
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2885
EP - 2894
AU - Goichi ITABASHI
AU - Kaoru TAKAHASHI
AU - Yasushi KATO
AU - Takuo SUGANUMA
AU - Norio SHIRATORI
PY - 2004
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E87-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 2004
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.
ER -