Journal of Research and Practice in Information Technology
(formerly the Australian Computer Journal) 19 (1): 25-31 (1987)
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
|EVERY VISITOR COUNTS:|