검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

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

Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support 도구 지원을 통해 방정식 이론의 상태 머신을 재작성 이론으로 변환

Min ZHANG, Kazuhiro OGATA, Masaki NAKAMURA

  • 조회수

    0

  • 이것을 인용

요약 :

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

발행
IEICE TRANSACTIONS on Information Vol.E94-D No.5 pp.976-988
발행일
2011/05/01
공개일
온라인 ISSN
1745-1361
DOI
10.1587/transinf.E94.D.976
원고의 종류
Special Section PAPER (Special Section on Formal Approach)
범주
사양 번역

작성자

키워드