Are Interface Theories Equivalent to Contract Theories?
Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli

Citation
Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli. "Are Interface Theories Equivalent to Contract Theories?". Talk or presentation, October, 2014; Poster presented at the 2014 TerraSwarm Annual Meeting.

Abstract
Different contract theories are currently available, but we lack a clear understanding of the relations between them. In this work, we investigate the relation between interface theories and assume-guarantee (A/G) contracts. We introduce a natural transformation of interfaces to A/G contracts represented by linear temporal logic. Then, we analyze differences and correspondences between key operators and relations in the two theories (i.e. composition, refinement and conjunction) to shed light on the effectiveness of both frameworks for requirement formalization, early detection of integration errors, and use of abstraction-refinement.

Electronic downloads


Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.
Citation formats  
  • HTML
    Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis,
    Alberto Sangiovanni-Vincentelli. <a
    href="http://www.terraswarm.org/pubs/411.html"><i>Are
    Interface Theories Equivalent to Contract
    Theories?</i></a>, Talk or presentation, 
    October, 2014; Poster presented at the <a
    href="http://www.terraswarm.org/conferences/14/annual"
    >2014 TerraSwarm Annual Meeting</a>.
  • Plain text
    Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis,
    Alberto Sangiovanni-Vincentelli. "Are Interface
    Theories Equivalent to Contract Theories?". Talk or
    presentation,  October, 2014; Poster presented at the <a
    href="http://www.terraswarm.org/conferences/14/annual"
    >2014 TerraSwarm Annual Meeting</a>.
  • BibTeX
    @presentation{NuzzoIannopolloTripakisSangiovanniVincentelli14_AreInterfaceTheoriesEquivalentToContractTheories,
        author = {Pierluigi Nuzzo and Antonio Iannopollo and Stavros
                  Tripakis and Alberto Sangiovanni-Vincentelli},
        title = {Are Interface Theories Equivalent to Contract
                  Theories?},
        month = {October},
        year = {2014},
        note = {Poster presented at the <a
                  href="http://www.terraswarm.org/conferences/14/annual"
                  >2014 TerraSwarm Annual Meeting</a>.},
        abstract = {Different contract theories are currently
                  available, but we lack a clear understanding of
                  the relations between them. In this work, we
                  investigate the relation between interface
                  theories and assume-guarantee (A/G) contracts. We
                  introduce a natural transformation of interfaces
                  to A/G contracts represented by linear temporal
                  logic. Then, we analyze differences and
                  correspondences between key operators and
                  relations in the two theories (i.e. composition,
                  refinement and conjunction) to shed light on the
                  effectiveness of both frameworks for requirement
                  formalization, early detection of integration
                  errors, and use of abstraction-refinement.},
        URL = {http://terraswarm.org/pubs/411.html}
    }
    

Posted by Pierluigi Nuzzo on 28 Oct 2014.
Groups: tools

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.