---
_id: '4413'
abstract:
- lang: eng
  text: 'An essential problem in component-based design is how to compose components
    designed in isolation. Several approaches have been proposed for specifying component
    interfaces that capture behavioral aspects such as interaction protocols, and
    for verifying interface compatibility. Likewise, several approaches have been
    developed for synthesizing converters between incompatible protocols. In this
    paper, we introduce the notion of adaptability as the property that two interfaces
    have when they can be made compatible by communicating through a converter that
    meets specified requirements. We show that verifying adaptability and synthesizing
    an appropriate converter are two faces of the same coin: adaptability can be formalized
    and solved using a game-theoretic framework, and then the converter can be synthesized
    as a strategy that always wins the game. Finally we show that this framework can
    be related to the rectification problem in trace theory.'
acknowledgement: "The authors would like to thank Jerry Burch of the Cadence Berkeley
  Labs for many insightful discussions and suggestions.\r\n"
article_processing_charge: No
author:
- first_name: Roberto
  full_name: Passerone, Roberto
  last_name: Passerone
- first_name: Luca
  full_name: De Alfaro, Luca
  last_name: De Alfaro
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Alberto
  full_name: Sangiovanni Vincentelli, Alberto
  last_name: Sangiovanni Vincentelli
citation:
  ama: 'Passerone R, De Alfaro L, Henzinger TA, Sangiovanni Vincentelli A. Convertibility
    verification and converter synthesis: Two faces of the same coin. In: <i>Proceedings
    of the 11th IEEE/ACM International Conference on Computer-Aided Design</i>. IEEE;
    2002:132-139. doi:<a href="https://doi.org/10.1145/774572.774592">10.1145/774572.774592</a>'
  apa: 'Passerone, R., De Alfaro, L., Henzinger, T. A., &#38; Sangiovanni Vincentelli,
    A. (2002). Convertibility verification and converter synthesis: Two faces of the
    same coin. In <i>Proceedings of the 11th IEEE/ACM international conference on
    Computer-aided design</i> (pp. 132–139). San Jose, CA, USA: IEEE. <a href="https://doi.org/10.1145/774572.774592">https://doi.org/10.1145/774572.774592</a>'
  chicago: 'Passerone, Roberto, Luca De Alfaro, Thomas A Henzinger, and Alberto Sangiovanni
    Vincentelli. “Convertibility Verification and Converter Synthesis: Two Faces of
    the Same Coin.” In <i>Proceedings of the 11th IEEE/ACM International Conference
    on Computer-Aided Design</i>, 132–39. IEEE, 2002. <a href="https://doi.org/10.1145/774572.774592">https://doi.org/10.1145/774572.774592</a>.'
  ieee: 'R. Passerone, L. De Alfaro, T. A. Henzinger, and A. Sangiovanni Vincentelli,
    “Convertibility verification and converter synthesis: Two faces of the same coin,”
    in <i>Proceedings of the 11th IEEE/ACM international conference on Computer-aided
    design</i>, San Jose, CA, USA, 2002, pp. 132–139.'
  ista: 'Passerone R, De Alfaro L, Henzinger TA, Sangiovanni Vincentelli A. 2002.
    Convertibility verification and converter synthesis: Two faces of the same coin.
    Proceedings of the 11th IEEE/ACM international conference on Computer-aided design.
    ICCAD: Computer-Aided Design, 132–139.'
  mla: 'Passerone, Roberto, et al. “Convertibility Verification and Converter Synthesis:
    Two Faces of the Same Coin.” <i>Proceedings of the 11th IEEE/ACM International
    Conference on Computer-Aided Design</i>, IEEE, 2002, pp. 132–39, doi:<a href="https://doi.org/10.1145/774572.774592">10.1145/774572.774592</a>.'
  short: R. Passerone, L. De Alfaro, T.A. Henzinger, A. Sangiovanni Vincentelli, in:,
    Proceedings of the 11th IEEE/ACM International Conference on Computer-Aided Design,
    IEEE, 2002, pp. 132–139.
conference:
  end_date: 2002-11-14
  location: San Jose, CA, USA
  name: 'ICCAD: Computer-Aided Design'
  start_date: 2002-11-10
date_created: 2018-12-11T12:08:44Z
date_published: 2002-11-01T00:00:00Z
date_updated: 2023-06-05T14:21:46Z
day: '01'
doi: 10.1145/774572.774592
extern: '1'
language:
- iso: eng
month: '11'
oa_version: None
page: 132 - 139
publication: Proceedings of the 11th IEEE/ACM international conference on Computer-aided
  design
publication_identifier:
  isbn:
  - '9780780376076'
publication_status: published
publisher: IEEE
publist_id: '318'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Convertibility verification and converter synthesis: Two faces of the same
  coin'
type: conference
user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17
year: '2002'
...