CaltechAUTHORS
  A Caltech Library Service

Theorems about Composition

Charpentier, Michel and Chandy, K. Mani (2000) Theorems about Composition. California Institute of Technology , Pasadena, CA. (Unpublished) http://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-02

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

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

225Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-02

Abstract

Compositional designs require component specifications that can be composed: Designers have to be able to deduce system properties from components specifications. On the other hand, components specifications should be abstract enough to allow component reuse and to hide substantial parts of correctness proofs in components verifications. Part of the problem is that too abstract specifications do not contain enough information to be composed. Therefore, the right balance between abstraction and composability must be found. This paper explores the systematic construction of abstract specifications that can be composed through specific forms of composition called existential and universal.


Item Type:Report or Paper (Technical Report)
Additional Information:© 2000 California Institute of Technology. January 5, 2000.
Group:Computer Science Technical Reports
DOI:10.7907/Z9BK19C6
Record Number:CaltechCSTR:2000.cs-tr-00-02
Persistent URL:http://resolver.caltech.edu/CaltechCSTR:2000.cs-tr-00-02
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:26823
Collection:CaltechCSTR
Deposited By: Imported from CaltechCSTR
Deposited On:25 Apr 2001
Last Modified:08 Mar 2017 17:40

Repository Staff Only: item control page