Software Blueprints

David Robertson , Jaume Agusti

Conceptual models are descriptions of our ideas about a problem, used to shape the implementation of a solution to it. Everyone who builds complex information systems uses such models - be they requirements analysts, knowledge modellers or software designers - butunderstanding of the pragmatics of model design tends to be informal and parochial. Lightweight uses of logic can add precision without destroying the intuitions we use to interpret our descriptions. Computing with logic allows us to make use of this precision in providing automated support tools. Modern information scientists need to know what these methods are for and may need to build their own. This book gives you a place to begin.Where do you start when building models in a precise language like logic? One way is by following standard paradigms for design and adapting these to your needs. Some of these come from an analysis of existing informal notations. Others are from within logic itself. We take you through a sample of these, from more commonplace styles of formal modelling to non-standard methods such as techniques editing and argumentation. Each of these provides a window onto broaderareas of applied logic and gives you a basis for adapting the method to your own needs.
  • Limba : Engleza
  • Cuprins :

    How to read this book

    Chapter 1 Introduction
    1.1 A dream
    1.2 Reality
    1.3 Our corner of the problem
    1.4 What you can learn from this book
    1.5 The way we view conceptual modelling
    1.5.1 Models of problems are not specifications
    of solutions
    1.5.2 What we require of conceptual models
    1.5.3 Lightweight use of formality
    1.5.4 Our use of logic
    1.5.5 The need for eclecticism

    Chapter 2 Models in a design lifecycle
    2.1 Requirements analysis
    2.2 Choice of representational paradigms
    2.2.1 Communication between divisions
    2.2.2 Decision procedures within divisions
    2.3 Model construction
    2.3.1 Communication between divisions
    2.3.2 Decision procedures within divisions
    2.4 Validation and verification
    2.4.1 Validation by analysing potential behaviours
    2.4.2 Using our requirements to justify design decisions
    2.5 Issues raised by our example
    2.5.1 Argumentation networks

  • Data Publicarii : 1999
  • Editie : 1
  • Format : Paperback
  • Numar pagini : 240
  • ISBN : 9780201398199
358.99 Lei