|
JAIST Repository >
School of Information Science >
JAIST Research Reports >
Research Report - School of Information Science ： ISSN 0918-7553 >
IS-RR-2010 >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/8848
|
| Title: | Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications (Extended Version) |
| Authors: | Zhang, Min
Ogata, Kazuhiro |
| Issue Date: | 2010-03-10 |
| Publisher: | 北陸先端科学技術大学院大学情報科学研究科 |
| Magazine name: | Research report (School of Information Science, Japan Advanced Institute of Science and Technology) |
| Volume: | IS-RR-2010-002 |
| Start page: | 1 |
| End page: | 16 |
| Abstract: | 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 |
| Material Type: | publisher |
| Appears in Collections: | IS-RR-2010
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| IS-RR-2010-002.pdf | | 2618Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
