Citation
Stavros Tripakis, Ben Lickly, Tom Henzinger, Edward A. Lee. "On Relational Interfaces". Embedded Software (EMSOFT'09), October, 2009.

Abstract
In this paper we extend the work of Alfaro, Henzinger et al. on interface theories for component-based design. Existing interface theories often fail to capture functional relations between the inputs and outputs of an interface. For example, a simple synchronous interface that takes as input a number n >= 0 and returns, at the same time, as output n + 1, cannot be expressed in existing theories. In this paper we provide a theory of relational interfaces, where such input-output relations can be captured. Our theory supports synchronous interfaces, both stateless and stateful. It includes explicit notions of environments and pluggability, and satisfies fundamental properties such as preservation of refinement by composition, and characterization of pluggability by refinement. We achieve these properties by making reasonable restrictions on feedback loops in interface compositions.

Electronic downloads

• http://doi.acm.org/10.1145/1629335.1629346
• http://www.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-60.html. (Earlier version of the paper as UCB technical report.)
• http://chess.eecs.berkeley.edu/pubs/666.html. (Revised version of this work)

• HTML

  Stavros Tripakis, Ben Lickly, Tom Henzinger, Edward A. Lee.
  <a
  href="http://chess.eecs.berkeley.edu/pubs/650.html"
  >On Relational Interfaces</a>, Embedded Software
  (EMSOFT'09), October, 2009.

• Plain text

  Stavros Tripakis, Ben Lickly, Tom Henzinger, Edward A. Lee.
  "On Relational Interfaces". Embedded Software
  (EMSOFT'09), October, 2009.

• BibTeX

  @inproceedings{TripakisLicklyHenzingerLee09_OnRelationalInterfaces,
      author = {Stavros Tripakis and Ben Lickly and Tom Henzinger
                and Edward A. Lee},
      title = {On Relational Interfaces},
      booktitle = {Embedded Software (EMSOFT'09)},
      month = {October},
      year = {2009},
      abstract = {In this paper we extend the work of Alfaro,
                Henzinger et al. on interface theories for
                component-based design. Existing interface
                theories often fail to capture functional
                relations between the inputs and outputs of an
                interface. For example, a simple synchronous
                interface that takes as input a number n >= 0 and
                returns, at the same time, as output n + 1, cannot
                be expressed in existing theories. In this paper
                we provide a theory of relational interfaces,
                where such input-output relations can be captured.
                Our theory supports synchronous interfaces, both
                stateless and stateful. It includes explicit
                notions of environments and pluggability, and
                satisfies fundamental properties such as
                preservation of refinement by composition, and
                characterization of pluggability by refinement. We
                achieve these properties by making reasonable
                restrictions on feedback loops in interface
                compositions.},
      URL = {http://chess.eecs.berkeley.edu/pubs/650.html}
  }
  

Posted by Stavros Tripakis on 15 Jan 2010.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.