*banner
 

On Relational Interfaces
Stavros Tripakis, Ben Lickly, Tom Henzinger, Edward A. Lee

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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess