Book contents
- Frontmatter
- Contents
- Preface
- List of Tables and Figures
- Chapter 1 Introduction
- Chapter 2 Desirable Features of Systems Development Environments
- Chapter 3 A Comparison with Related Work
- Chapter 4 An Initial Algebra Framework for Unifying the Structured Models
- Chapter 5 A Functorial Framework for Unifying the Structured Models
- Chapter 6 The Identification of Unstructuredness
- Chapter 7 A Prototype System to Implement the Unifying Framework
- Chapter 8 Conclusion
- Bibliography
- Index
Chapter 1 - Introduction
Published online by Cambridge University Press: 28 January 2010
- Frontmatter
- Contents
- Preface
- List of Tables and Figures
- Chapter 1 Introduction
- Chapter 2 Desirable Features of Systems Development Environments
- Chapter 3 A Comparison with Related Work
- Chapter 4 An Initial Algebra Framework for Unifying the Structured Models
- Chapter 5 A Functorial Framework for Unifying the Structured Models
- Chapter 6 The Identification of Unstructuredness
- Chapter 7 A Prototype System to Implement the Unifying Framework
- Chapter 8 Conclusion
- Bibliography
- Index
Summary
The specifier constructs a theory and attempts to refute it (hypothetico-deductive) while the knowledge engineer assembles a mass of empirical rules whose verisimilitude is unquestioned (empirico-deductive). The systems engineer, meanwhile, takes the utilitarian approach: if it works, use it.
—Bernard Cohen et al. (1986)There are existing formalisms for description … which are clear and well-understood, but lack the richness typical in descriptions which people find useful. They can serve as a universal basis for description but only in the same sense that a Turing machine can express any computation.
—Terry Winograd (1979)Structured analysis and design methodologies have been recognized as the most popular tools in information systems development (Colter 1982). They are widely accepted by practising systems developers because of the top down nature of the methodologies and the graphical nature of the tools. A complex systems specification can be decomposed into a modular and hierarchical structure which is easily comprehensible. They enable practitioners to visualize the target systems and to communicate with users much more easily than conventional methods.
As a matter of fact, the structured methodologies have been designed by quite a number of distinct authors, each employing a number of models which vary in their in graphical outlook. These include data flow diagrams (DeMarco 1978, Gane and Sarson 1979, McMenamin and Palmer 1984, Weinberg 1980), Jackson structure diagrams, Jackson structure texts (Jackson 1975), system specification diagrams, system implementation diagrams (Cameron 1986, Jackson 1983), Warnier/Orr diagrams (Orr 1977) and structure charts (Page-Jones 1988, Yourdon and Constantine 1979).
- Type
- Chapter
- Information
- A Unifying Framework for Structured Analysis and Design ModelsAn Approach Using Initial Algebra Semantics and Category Theory, pp. 1 - 3Publisher: Cambridge University PressPrint publication year: 1991