Towards a Compositional Approach to the Design and Verification of Distributed Systems

Abstract

We are investigating a component-based approach for formal design of distributed systems. In this paper, we introduce the framework we use for specification, composition and communication and we apply it to an example that highlights the different aspects of a compositional design, including top-down and bottom-up phases, proofs of composition, refinement proofs, proofs of program texts. and component reuse.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1999
Accession Number
ADA451478

Entities

People

  • K. M. Chandy
  • Michel Charpentier

Organizations

  • California Institute of Technology

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Availability
  • Classification
  • Contracts
  • Distributors
  • Information Operations
  • Instructions
  • Monitoring
  • Scientific Research
  • Security
  • Specifications
  • Standards
  • Verification

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Software Engineering.