Paper Abstract and Keywords |
Presentation |
2006-06-22 13:30
A complete specification transformation from OTS/CafeOBJ to OTS/Maude Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi (JAIST) |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
There are two ways to describe a state machine with algebraic specifications: observation transition systems on CafeOBJ and rewrite specifications on Maude. Each specification language supports different verification techniques. In this study, to make a verification system obtained by combining those verification techniques, we propose a transformation method from CafeOBJ specifications to Maude specifications. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
Specification transformation / Verification / Algebraic specification / State machine / CafeOBJ / Maude / OTS / |
Reference Info. |
IEICE Tech. Rep., vol. 106, no. 120, SS2006-13, pp. 1-6, June 2006. |
Paper # |
SS2006-13 |
Date of Issue |
2006-06-15 (SS) |
ISSN |
Print edition: ISSN 0913-5685 |
Download PDF |
|
Conference Information |
Committee |
SS |
Conference Date |
2006-06-22 - 2006-06-23 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
|
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
general |
Paper Information |
Registration To |
SS |
Conference Code |
2006-06-SS |
Language |
English (Japanese title is available) |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
A complete specification transformation from OTS/CafeOBJ to OTS/Maude |
Sub Title (in English) |
|
Keyword(1) |
Specification transformation |
Keyword(2) |
Verification |
Keyword(3) |
Algebraic specification |
Keyword(4) |
State machine |
Keyword(5) |
CafeOBJ |
Keyword(6) |
Maude |
Keyword(7) |
OTS |
Keyword(8) |
|
1st Author's Name |
Masaki Nakamura |
1st Author's Affiliation |
Japan Advanced Institute of Science and Technology (JAIST) |
2nd Author's Name |
Weiqiang Kong |
2nd Author's Affiliation |
Japan Advanced Institute of Science and Technology (JAIST) |
3rd Author's Name |
Kazuhiro Ogata |
3rd Author's Affiliation |
Japan Advanced Institute of Science and Technology (JAIST) |
4th Author's Name |
Kokichi Futatsugi |
4th Author's Affiliation |
Japan Advanced Institute of Science and Technology (JAIST) |
5th Author's Name |
|
5th Author's Affiliation |
() |
6th Author's Name |
|
6th Author's Affiliation |
() |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2006-06-22 13:30:00 |
Presentation Time |
30 minutes |
Registration for |
SS |
Paper # |
SS2006-13 |
Volume (vol) |
vol.106 |
Number (no) |
no.120 |
Page |
pp.1-6 |
#Pages |
6 |
Date of Issue |
2006-06-15 (SS) |