A Cottage industry of software publishing: Implications for theories of composition

  • K. Mani Chandy
  • Paolo A.G. Sivilotti
  • Joseph R. Kiniry
Workshop on Formal Method for Parallel Programming: Theory and Applications Dominuque Mery, Universitè Henri Poincare-Nancy 1 and IUF, France BeverlySanders, University of Florida, USA
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1388)


This note explores the use of UNITY-based theories to facilitate a cottage industry of software publishing. The requirements for such an industry are discussed, the appropriateness of UNITY specification and compositional theories for these requirements are analyzed, and further research opportunities in this area are identified. This work is based on joint work with Beverly Sanders, and the ideas discussed here have been explored jointly with Paul Sivilotti and Joseph Kiniry.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BPS97]
    Tim Bray, Jean Paoli, and C.M. Sperberg-McQueen. Extensible Markup Language (XML) Proposed WK Recommendation PR-xml-971208, Dec 1997. http://www.w3.org/TR/PR-xml.Google Scholar
  2. [CKRZ98]
    K. Mani Chandy, Joseph R. Kiniry, Adam Rifkin, and Dan Zimmerman Infospheres 2 Users Manual, Mar 1998. http://www.infospheres.caltech.edu/.Google Scholar
  3. [CM88]
    K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.Google Scholar
  4. [CS95]
    K. Mani Chandy and Beverly A. Sanders. Predicate transformers for reasoning about concurrent computation. Science of Computer Programming, 24:129–148, 1995.CrossRefGoogle Scholar
  5. [Cox96]
    Brad Cox. Superdistribution: Objects As Property on the Electronic Frontier Addison-Wesley, 1996Google Scholar
  6. [Gru93]
    T. R. Gruber. A translation approach to portable ontologies Knowledge Acquisition, 5(2):199–220, 1993.CrossRefGoogle Scholar
  7. [Ken98]
    Robert Kent et al. Ontology Markup Language (OML) http://asimov.eecs.wsu.edu/WAVE/Ontologies/OML/OML-DTD.html.Google Scholar
  8. [MS96]
    R. Manohar and P. Sivilotti. Composing processes using modified relyguarantee specifications. Caltech technical report CS-TR-96-22, 1996.Google Scholar
  9. [SC97]
    Paolo A. G. Sivilotti and K. Mani Chandy, A Distributed Infrastructure for Software Component Technology. Technical Report CS-TR-97-32, Department of Computer Science, California Institute of Technology, September 1997. ftp://ftp.cs.caltech.edu/tr/cs-tr-97-32.ps.Z. *** DIRECT SUPPORT *** A0008D07 00025Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • K. Mani Chandy
    • 1
  • Paolo A.G. Sivilotti
    • 1
  • Joseph R. Kiniry
    • 1
  1. 1.Department of Computer ScienceCalifornia Institute of TechnologyPasadena

Personalised recommendations