Saul, We've applied The Kestrel Institute's Specware package, which implements category-theoric constructs to derive software from knowledge structures. We've demonstrated that we can generate engineering design software. We've also applied Specware in an investigation of mathematically-defined ontologies as a language-neutral knowledge repository for knowledge-based systems. Some references to our work are [1] Unpublished paper describing systems synthesis (written by my colleague Keith Williamson), which can be found in the following page: http://www.kestrel.edu/home/techtransfer.html [2] Applied research with Specware in an industrial setting: K. Williamson, M. Healy and R. Barker (2001) "Industrial Applications of Software Synthesis via Category Theory-Case Studies Using Specware", Journal of Automated Software Engineering, vol. 8, no. 1, pp. 7-30. K. Williamson and M. Healy (2000) "Deriving engineering software from requirements", Journal of Intelligent Manufacturing, vol. 11, no. 1, pp. 3-28. M. Healy and K. Williamson (2000) "Applying Category Theory to Derive Engineering Software from Encoded Knowledge" (Invited Paper), in G. Goos, J. Hartmanis and J. van Leeuwen, ed., Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 2000, Proceedings. Lecture Notes in Computer Science, Springer-Verlag:New York. pp. 484-498. Regards, Mike
I'm a big fan of category theory, but doesn't it seem strange that after all this time there is no programming language that let's you organize things around categorical ideas? I've semi-seriously tried to find out about this ( http://physics.bu.edu/~youssef/aldor/aldor.html ) but I basically don't have an answer. I'd be very interested to hear if anyone is working in this direction or comments about why this hasn't happened.
Saul Youssef http://physics.bu.edu/~youssef/
-- =========================================================================== e Michael J. Healy A FA ----------> GA (425)865-3123 | | FAX(425)865-2964 | | Ff | | Gf c/o The Boeing Company | | PO Box 3707 MS 7L-66 \|/ \|/ Seattle, WA 98124-2207 ' ' USA FB ----------> GB -or for priority mail- e "I'm a natural man." 2760 160th Ave SE MS 7L-66 B Bellevue, WA 98008 USA michael.j.healy@boeing.com -or- mjhealy@u.washington.edu ============================================================================