Software Blueprints Web Pages

From this page, you can access the supplementary material for our book: Software Blueprints: Lightweight Uses of Logic in Conceptual Modelling, published by Addison Wesley Longman. We split the material into two media so that you can easily browse through the main text (a book is good for that purpose) but also obtain supplementary material which is necessary for completeness but makes a book slow to read (our Web pages deliver this).

The pages referenced from our book are listed below, with the numerical label matching the one in the book. The first of the two numbers on the label refers to the book chapter. Note that little of the material in the list below will make sense without first reading the appropriate chapter.

For people who want all the material at once or who find some of the automatically translated HTML pages below difficult to read, there is a (large) Postscript file here and a (smaller) compressed Postscript file here.

• 1.1 A quick introduction to Prolog programming.
• 2.1 Refinement of an operator model.
• 2.2 Formalisation of a decision procedure model.
• 2.3 Building an interpreter for the operator model.
• 2.4 Building an interpreter to test for inconsistency.
• 4.1 A detailed process model.
• 4.2 Further details of a basic scheduling model.
• 5.1 A more complex example of WWW site generation.
• 5.2 A more complex example of ecological model generation.
• 6.1 A sample of typical definitional skeletons.
• 6.2 A larger example of techniques editing.
• 6.3 An example of stripping structure from a predicate.
• 7.1 A more general view of endorsements.
• 7.2 More about justification of decisions.
• 10.1 Relating domain languages to logic.
• 10.2 Patterns of problem solving.

If you want to keep track of what we, and those working with us, are doing then you should take a look at the Web sites for the Edinburgh and Barcelona groups.

Happy reading.

Dave Robertson

Jaume Agusti