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
AN - SCOPUS:33744496844
SN - 0769522491
SN - 9780769522494
T3 - Proceedings - International Conference on Advanced Information Networking and Applications, AINA
SP - 99
EP - 104
BT - Proceedings - 19th International Conference on Advanced Information Networking and Applications, AINA 2005
T2 - 19th International Conference on Advanced Information Networking and Applications, AINA 2005
Y2 - 28 March 2005 through 30 March 2005
ER -