CaltechAUTHORS
  A Caltech Library Service

Examples of Program Composition Illustrating the Use of Universal Properties

Charpentier, Michel and Chandy, K. Mani (1999) Examples of Program Composition Illustrating the Use of Universal Properties. California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-01

[img]
Preview
Postscript - Submitted Version
See Usage Policy.

177Kb
[img] PDF - Submitted Version
See Usage Policy.

202Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-01

Abstract

This paper uses a theory of composition based on existential and universal properties. Universal properties axe 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.


Item Type:Report or Paper (Technical Report)
Additional Information:© 1999 California Institute of Technology. This work is supported by a grant from the Air Force Office of Scientific Research.
Group:Computer Science Technical Reports
Funders:
Funding AgencyGrant Number
Air Force Office of Scientific Research (AFOSR)UNSPECIFIED
DOI:10.7907/Z9ZC80WC
Record Number:CaltechCSTR:1999.cs-tr-99-01
Persistent URL:http://resolver.caltech.edu/CaltechCSTR:1999.cs-tr-99-01
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:26845
Collection:CaltechCSTR
Deposited By: Imported from CaltechCSTR
Deposited On:30 Apr 2001
Last Modified:08 Mar 2017 17:24

Repository Staff Only: item control page