categories: Re: Computing with Category Theory

[mjhealy@redwood.rt.cs.boeing.com (Michael Healy 425-865-3123)]

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

============================================================================