Interface theories for component-based design Conference Paper

Author(s): de Alfaro, Luca; Henzinger, Thomas A
Title: Interface theories for component-based design
Title Series: LNCS
Abstract: We classify component-based models of computation into component models and interface models. A component model specifies for each component howthe component behaves in an arbitrary environment; an interface model specifies for each component what the component expects from the environment. Component models support compositional abstraction, and therefore component-based verification. Interface models support compositional refinement, and therefore componentbased design. Many aspects of interface models, such as compatibility and refinement checking between interfaces, are properly viewed in a gametheoretic setting, where the input and output values of an interface are chosen by different players.
Conference Title: EMSOFT: Embedded Software
Volume: 2211
Conference Dates: October 8-10, 2001
Conference Location: Tahoe City, CA, USA
ISBN: 978-145034485-2
Publisher: ACM  
Location: Berlin, Heidelberg
Date Published: 2001-09-26
Start Page: 148
End Page: 165
Sponsor: This research was supported in part by the AFOSR MURI grant F49620-00-1-0327, the DARPA ITO grant F33615-00-C-1693, the MARCO grant 98-DT-660, and the NSF ITR grant CCR-0085949.
DOI: 10.1007/3-540-45449-7_11
Open access: no
IST Austria Authors
  1. Thomas A. Henzinger
    415 Henzinger
Related IST Austria Work