JAIST Repository >
School of Information Science >
Articles >
Journal Articles >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/4877

Title: A Specification Translation from Behavioral Specifications to Rewrite Specifications
Authors: NAKAMURA, Masaki
KONG, Weiqiang
OGATA, Kazuhiro
Keywords: specification translation
algebraic specification
behavioral specification
rewirte specification
Issue Date: 2008-05-01
Publisher: 電子情報通信学会
Magazine name: IEICE TRANSACTIONS on Information and Systems
Volume: E91-D
Number: 5
Start page: 1492
End page: 1503
Abstract: 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
Material Type: publisher
Appears in Collections:b10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
74-5.pdf305KbAdobe 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