Examples of Program Composition Illustrating the Use of Universal Properties

Abstract

This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared variables. However some universal properties do not appear directly in components specifications and they must be constructed to prove the composed system. Coming up with such universal properties often requires creativity. The paper shows through two examples how this construction can be achieved. The principle used is first presented with a toy example and then applied to a more substantial problem.

Open PDF

Document Details

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

Entities

People

  • K. M. Chandy
  • Michel Charpentier

Organizations

  • California Institute of Technology

Tags

DTIC Thesaurus Topics

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

Readers

  • Computational Linguistics
  • Systems Analysis and Design