loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers)
Incremental Design of a State Machine Specification for Mobile and Real-Time Systems
Taipei, Taiwan
March 25-March 30
ISBN: 0-7695-2249-1
ASCII Text
x 
 
Goichi Itabashi, Kaoru Takahashi, Yasushi Kato, Takuo Sugamma, Norio Shiratori, "Incremental Design of a State Machine Specification for Mobile and Real-Time Systems," Advanced Information Networking and Applications, International Conference on, vol. 1, pp. 99-104, 19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers), 2005.
 
 
BibTex
x
 
@article{ 10.1109/AINA.2005.220,
author = {Goichi Itabashi and Kaoru Takahashi and Yasushi Kato and Takuo Sugamma and Norio Shiratori},
title = {Incremental Design of a State Machine Specification for Mobile and Real-Time Systems},
journal ={Advanced Information Networking and Applications, International Conference on},
volume = {1},
year = {2005},
issn = {1550-445X},
pages = {99-104},
doi = {http://doi.ieeecomputersociety.org/10.1109/AINA.2005.220},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Advanced Information Networking and Applications, International Conference on
TI - Incremental Design of a State Machine Specification for Mobile and Real-Time Systems
SN - 1550-445X
SP99
EP104
A1 - Goichi Itabashi,
A1 - Kaoru Takahashi,
A1 - Yasushi Kato,
A1 - Takuo Sugamma,
A1 - Norio Shiratori,
PY - 2005
KW - null
VL - 1
JA - Advanced Information Networking and Applications, International Conference on
ER -
 
Goichi Itabashi, Tohoku University and Scientia Corporation
Kaoru Takahashi, Sendai National College of Technology
Yasushi Kato, Sendai National College of Technology
Takuo Sugamma, Tohoku University
Norio Shiratori, Tohoku University
We introduce an inheritance concept into a specification method of mobile and real-time systems 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 divided into inherited parts and non-inherited ones. Therefore, a necessary 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 proposal method.
Citation:
Goichi Itabashi, Kaoru Takahashi, Yasushi Kato, Takuo Sugamma, Norio Shiratori, "Incremental Design of a State Machine Specification for Mobile and Real-Time Systems," aina, vol. 1, pp.99-104, 19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers), 2005
Usage of this product signifies your acceptance of the Terms of Use.