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 SizeFormat
IS-RR-2010-002.pdf2618KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology