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. Technical Report. California Institute of Technology. [CaltechCSTR:1999.cs-tr-99-01]

Full text available as:

	Postscript - Requires a viewer, such as GhostView
	Other (Adobe PDF (205KB))

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.

EPrint Type:	Monograph (Technical Report)
Subjects:	All Records
ID Code:	195
Deposited By:	Caltech Library System
Deposited On:	30 April 2001
Record Number:	CaltechCSTR:1999.cs-tr-99-01
Official 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.

Archive Staff Only: edit this record