---
_id: '4533'
abstract:
- lang: eng
  text: Interface theories have been proposed to support incremental design and independent
    implementability. Incremental design means that the compatibility checking of
    interfaces can proceed for partial system descriptions, without knowing the interfaces
    of all components. Independent implementability means that compatible interfaces
    can be refined separately, maintaining compatibility. We show that these interface
    theories provide no formal support for component reuse, meaning that the same
    component cannot be used to implement several different interfaces in a design.
    We add a new operation to interface theories in order to support such reuse. For
    example, different interfaces for the same component may refer to different aspects
    such as functionality, timing, and power consumption. We give both stateless and
    stateful examples for interface theories with component reuse. To illustrate component
    reuse in interface-based design, we show how the stateful theory provides a natural
    framework for specifying and refining PCI bus clients.
author:
- first_name: Laurent
  full_name: Doyen, Laurent
  last_name: Doyen
- first_name: Thomas A
  full_name: Thomas Henzinger
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Barbara
  full_name: Jobstmann, Barbara
  last_name: Jobstmann
- first_name: Tatjana
  full_name: Tatjana Petrov
  id: 3D5811FC-F248-11E8-B48F-1D18A9856A87
  last_name: Petrov
  orcid: 0000-0002-9041-0905
citation:
  ama: 'Doyen L, Henzinger TA, Jobstmann B, Petrov T. Interface theories with component
    reuse. In: ACM; 2008:79-88. doi:<a href="https://doi.org/10.1145/1450058.1450070">10.1145/1450058.1450070</a>'
  apa: 'Doyen, L., Henzinger, T. A., Jobstmann, B., &#38; Petrov, T. (2008). Interface
    theories with component reuse (pp. 79–88). Presented at the EMSOFT: Embedded Software
    , ACM. <a href="https://doi.org/10.1145/1450058.1450070">https://doi.org/10.1145/1450058.1450070</a>'
  chicago: Doyen, Laurent, Thomas A Henzinger, Barbara Jobstmann, and Tatjana Petrov.
    “Interface Theories with Component Reuse,” 79–88. ACM, 2008. <a href="https://doi.org/10.1145/1450058.1450070">https://doi.org/10.1145/1450058.1450070</a>.
  ieee: 'L. Doyen, T. A. Henzinger, B. Jobstmann, and T. Petrov, “Interface theories
    with component reuse,” presented at the EMSOFT: Embedded Software , 2008, pp.
    79–88.'
  ista: 'Doyen L, Henzinger TA, Jobstmann B, Petrov T. 2008. Interface theories with
    component reuse. EMSOFT: Embedded Software , 79–88.'
  mla: Doyen, Laurent, et al. <i>Interface Theories with Component Reuse</i>. ACM,
    2008, pp. 79–88, doi:<a href="https://doi.org/10.1145/1450058.1450070">10.1145/1450058.1450070</a>.
  short: L. Doyen, T.A. Henzinger, B. Jobstmann, T. Petrov, in:, ACM, 2008, pp. 79–88.
conference:
  name: 'EMSOFT: Embedded Software '
date_created: 2018-12-11T12:09:21Z
date_published: 2008-10-01T00:00:00Z
date_updated: 2021-01-12T07:59:30Z
day: '01'
doi: 10.1145/1450058.1450070
extern: 1
main_file_link:
- open_access: '0'
  url: http://pub.ist.ac.at/%7Etah/Publications/interface_theories_with_component_reuse.pdf
month: '10'
page: 79 - 88
publication_status: published
publisher: ACM
publist_id: '193'
quality_controlled: 0
status: public
title: Interface theories with component reuse
type: conference
year: '2008'
...