Interface-Based Design

Abstract

We motivate and introduce the theory behind formalizing rich interfaces for software and hardware components. Rich interfaces specify the protocol aspects of component interaction. Their formalization, called interface automata, permits a compiler to check the compatibility of component interaction protocols. Interface automata support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can proceed for partial system descriptions, without knowing the interfaces of all components. Independent implementability means that compatible interfaces can be refined separately, while still maintaining compatibility.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2004
Accession Number
ADA461347

Entities

People

  • Luca De Alfaro
  • Thomas Henzinger

Organizations

  • University of California, Santa Cruz

Tags

Communities of Interest

  • Autonomy

DTIC Thesaurus Topics

  • Automata
  • Communication Channels
  • Composite Materials
  • Computer Programming
  • Computers
  • Engineering
  • Environment
  • Guarantees
  • Language
  • Programming Languages
  • Sequences
  • Servers (Computer Hardware)
  • Simulations
  • Software Development
  • Specifications
  • Standards
  • Transitions

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.