JAIST Repository >
b. 情報科学研究科・情報科学系 >
b30. リサーチレポート >
Research Report - School of Information Science : ISSN 0918-7553 >
IS-RR-2010 >

このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/10119/8848

タイトル: Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications (Extended Version)
著者: Zhang, Min
Ogata, Kazuhiro
発行日: 2010-03-10
出版者: 北陸先端科学技術大学院大学情報科学研究科
誌名: Research report (School of Information Science, Japan Advanced Institute of Science and Technology)
巻: IS-RR-2010-002
開始ページ: 1
終了ページ: 16
抄録: Specification translation plays an important part in the integration of theorem proving and model checking techniques for system verification. Mucheffort is required to implement a translation tool in conventional programming languages. Maude provides powerful meta-programming facilities that allow us to develop formal translation tools with less effort. In this paper, we present a modular implementation of a translator that is developed in Maude. The translator takes a behavioral specification and produces a rewrite theoryspecification. The implementation of the translator is modular so that multiple translation strategies can be modularized and embedded in the translator.Therefore, multiple styles of rewrite theory specifications can be generated for one behavioral specification.
URI: http://hdl.handle.net/10119/8848
資料タイプ: publisher


ファイル 記述 サイズ形式
IS-RR-2010-002.pdf2618KbAdobe PDF見る/開く



お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係