A Cottage industry of software publishing: Implications for theories of composition
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.
- [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
- [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
- [CM88]K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.Google Scholar
- [Cox96]Brad Cox. Superdistribution: Objects As Property on the Electronic Frontier Addison-Wesley, 1996Google Scholar
- [Ken98]Robert Kent et al. Ontology Markup Language (OML) http://asimov.eecs.wsu.edu/WAVE/Ontologies/OML/OML-DTD.html.Google Scholar
- [MS96]R. Manohar and P. Sivilotti. Composing processes using modified relyguarantee specifications. Caltech technical report CS-TR-96-22, 1996.Google Scholar
- [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