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