Cambridge University Press
Cambridge Tracts in Theoretical Computer Science,
Volume 11, Cambridge University Press, Cambridge

A Unifying Framework for Structured Analysis and Design Models:
an Approach using Initial Algebra Semantics and Category Theory

T.H. Tse
Department of Computer Science
The University of Hong Kong
Pokfulam, Hong Kong

[eBook edition US$33.00 (2010) | Paperback edition US$40.99 (2009) | Hardback edition US$134.00 (1991)]


Structured methodologies are a popular and powerful tool in information systems development. A complex system can be specified in a top-down and graphical fashion, enabling practitioners to visualize the target systems and communicate with users much more easily than by means of conventional methods. In fact, the structured methodologies have been designed by quite a number of distinct authors, each employing a number of models which are different in graphical outlook. A specification must be converted from one form to another during the development process. Unfortunately, however, little attempt has been made in proposing a formal framework behind them or establishing a theoretical link between one model and another.

To solve the problem, Prof. Tse proposes a unifying framework using initial algebra semantics and category theory. The most popular structured models, such as data flow diagrams, structure charts and structure texts, are formalized in detail, and so are the translations among them. Some of their basic properties are studied, including structuredness and refinement. Thus this book will provide insight for software engineers into systems development methodologies, help to formulate guidelines for implementors of advanced CASE tools, and open up a range of applications and problems for theoretical computer scientists.


Theoretical computer scientists and software engineers interested in formal methods


Click here


  1. Introduction

  2. Desirable features of systems development environments

  3. A comparison with related work

  4. An initial algebra framework for unifying the structured models

  5. A functorial framework for unifying the structured models

  6. The identification of unstructuredness

  7. A prototype system to implement the unifying framework

  8. Conclusion



  Cumulative visitor count