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
이 논문은 재작성 이론 사양을 자동으로 생성하는 것을 목표로 방정식 이론에서 재작성 이론으로 상태 머신을 변환하기 위한 도구 지원과 전략을 제시합니다. CafeOBJ의 정리 증명 기능을 Maude의 모델 검사 기능과 통합하면 방정식 이론과 재작성 이론 모두에서 상태 기계를 지정하는 데 드는 중복된 노력을 줄일 수 있습니다. 실험 결과는 제안된 전략에 의해 생성된 사양의 효율성이 기존의 다른 세 가지 번역 전략에 의해 생성된 사양과 비교하여 크게 향상되었음을 보여줍니다.
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.
부
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
부
@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},}
부
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 -