Journal of Research and Practice in Information Technology
(formerly the Australian Computer Journal) 19 (1): 25-31 (1987)

Integrating the Structured Analysis and Design Models:
A Category-Theoretic Approach

T.H. Tse 2



Quite a number of models have been proposed under the name of structured analysis and design. It has been pointed out, however, that there is no common theoretical framework among them. Transformation of a specification from one model to another, although often recommended by authors, can only be done manually. A category-theoretic approach is proposed in this paper. As a result, development of structured specifications can be assisted through structured tasks and morphisms, and the integration of structured models can be achieved through functors and free categories.

Keywords: category theory, structured analysis, structured design

1. Part of this research was done at the London School of Economics, University of London under a Commonwealth academic staff scholarship. It was also supported in part by a research grant of The University of Hong Kong.
2. Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.


  Cumulative visitor count