|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/4877
|
| タイトル: | A Specification Translation from Behavioral Specifications to Rewrite Specifications |
| 著者: | NAKAMURA, Masaki
KONG, Weiqiang
OGATA, Kazuhiro
FUTATSUGI, Kokichi |
| キーワード: | specification translation
verification
algebraic specification
behavioral specification
rewirte specification
CafeOBJ
Maude |
| 発行日: | 2008-05-01 |
| 出版者: | 電子情報通信学会 |
| 誌名: | IEICE TRANSACTIONS on Information and Systems |
| 巻: | E91-D |
| 号: | 5 |
| 開始ページ: | 1492 |
| 終了ページ: | 1503 |
| 抄録: | There are two ways to describe a state machine as an algebraic specification: a behavioral specification and a rewrite specification. In this study, we propose a translation system from behavioral specifications to rewrite specifications to obtain a verification system which has the strong points of verification techniques for both specifications. Since our translation system is complete with respect to invariant properties, it helps us to obtain a counter-example for an invariant property through automatic exhaustive searching for a rewrite specification. |
| Rights: | Copyright (C)2008 IEICE. Masaki NAKAMURA, Weiqiang KONG, Kazuhiro OGATA and Kokichi FUTATSUGI, IEICE TRANSACTIONS on Information and Systems, E91-D(5), 2008, 1492-1503. http://www.ieice.org/jpn/trans_online/ |
| URI: | http://hdl.handle.net/10119/4877 |
| 資料タイプ: | publisher |
| 出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 74-5.pdf | | 305Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
