Accession Number:

ADA461347

Title:

Interface-Based Design

Descriptive Note:

Corporate Author:

CALIFORNIA UNIV SANTA CRUZ

Report Date:

2004-01-01

Pagination or Media Count:

26.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE