• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议> >Synthesis of Interface Automata
【24h】

Synthesis of Interface Automata

机译：接口自动机的合成

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We investigate the problem of synthesising an interface automaton R such that P ‖ R ≤ Q, for given deterministic interface automata P and Q. We show that a solution exists iff P and Q~⊥ are compatible, and the most general solution is given by (P ‖ Q~⊥)~⊥, where P~⊥ is the automaton P with inputs and outputs interchanged. We also characterise solutions in terms of winning input strategies in the automaton (P directX Q~⊥)~⊥, and the most general solution in terms of the most permissive winning strategy. We apply the synthesis problem for interfaces to the problem of synthesising converters for mismatched protocols.
机译：对于给定的确定性接口自动机P和Q，我们研究了合成接口自动机R使得P‖R≤Q的问题。我们证明了当P和Q〜⊥兼容时，存在一个解，而最一般的解为（P‖Q〜⊥）〜⊥，其中P〜⊥是交换输入和输出的自动机P。我们还根据自动机中的获胜输入策略（P directX Q〜⊥）〜⊥来描述解决方案，并根据最宽松的获胜策略来描述最通用的解决方案。我们将接口综合问题应用于协议不匹配的综合转换器问题。

著录项

  • 来源
    《》|2005年|P.338-353|共16页
  • 会议地点 Taibei(CT)
  • 作者

    Purandar Bhaduri;

  • 作者单位

    Department of Computer Science and Engineering, Indian Institute of Technology Guwahati, Guwahati 781039, India;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 性能分析、功能分析;
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号