The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Kertas kerja ini membentangkan strategi bersama-sama dengan sokongan alat untuk penterjemahan mesin keadaan daripada teori persamaan ke dalam teori penulisan semula, bertujuan untuk menjana spesifikasi teori penulisan semula secara automatik. Usaha pendua boleh dijimatkan pada menentukan mesin keadaan kedua-dua dalam teori persamaan dan teori penulisan semula, apabila kami menggabungkan kemudahan pembuktian teorem CafeOBJ dengan kemudahan menyemak model Maude. Keputusan eksperimen menunjukkan bahawa kecekapan spesifikasi yang dijana oleh strategi yang dicadangkan meningkat dengan ketara, berbanding dengan yang dijana oleh tiga strategi terjemahan sedia ada yang lain.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Salinan
Min ZHANG, Kazuhiro OGATA, Masaki NAKAMURA, "Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support" in IEICE TRANSACTIONS on Information,
vol. E94-D, no. 5, pp. 976-988, May 2011, doi: 10.1587/transinf.E94.D.976.
Abstract: This paper presents a strategy together with tool support for the translation of state machines from equational theories into rewrite theories, aiming at automatically generating rewrite theory specifications. Duplicate effort can be saved on specifying state machines both in equational theories and rewrite theories, when we incorporate the theorem proving facilities of CafeOBJ with the model checking facilities of Maude. Experimental results show that efficiencies of the generated specifications by the proposed strategy are significantly improved, compared with those that are generated by three other existing translation strategies.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.E94.D.976/_p
Salinan
@ARTICLE{e94-d_5_976,
author={Min ZHANG, Kazuhiro OGATA, Masaki NAKAMURA, },
journal={IEICE TRANSACTIONS on Information},
title={Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support},
year={2011},
volume={E94-D},
number={5},
pages={976-988},
abstract={This paper presents a strategy together with tool support for the translation of state machines from equational theories into rewrite theories, aiming at automatically generating rewrite theory specifications. Duplicate effort can be saved on specifying state machines both in equational theories and rewrite theories, when we incorporate the theorem proving facilities of CafeOBJ with the model checking facilities of Maude. Experimental results show that efficiencies of the generated specifications by the proposed strategy are significantly improved, compared with those that are generated by three other existing translation strategies.},
keywords={},
doi={10.1587/transinf.E94.D.976},
ISSN={1745-1361},
month={May},}
Salinan
TY - JOUR
TI - Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support
T2 - IEICE TRANSACTIONS on Information
SP - 976
EP - 988
AU - Min ZHANG
AU - Kazuhiro OGATA
AU - Masaki NAKAMURA
PY - 2011
DO - 10.1587/transinf.E94.D.976
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E94-D
IS - 5
JA - IEICE TRANSACTIONS on Information
Y1 - May 2011
AB - This paper presents a strategy together with tool support for the translation of state machines from equational theories into rewrite theories, aiming at automatically generating rewrite theory specifications. Duplicate effort can be saved on specifying state machines both in equational theories and rewrite theories, when we incorporate the theorem proving facilities of CafeOBJ with the model checking facilities of Maude. Experimental results show that efficiencies of the generated specifications by the proposed strategy are significantly improved, compared with those that are generated by three other existing translation strategies.
ER -