REVIEW - Software Blueprints - Lightweight Uses of Logic in Conceptual Modelling


Title:

Software Blueprints

Lightweight Uses of Logic in Conceptual Modelling

Author:

David S. Robertson, Jaume Agustí

ISBN:

Publisher:

Addison-Wesley Professional (1999)

Pages:

220pp

Reviewer:

Roger N Lever

Reviewed:

August 2000

Rating:

★★★☆☆


Those who will appreciate this book the most are connected with business analysis and have a background that includes logic.

The complete title is actually much more descriptive of this book's content than 'Software Blueprints'. The content is squarely aimed at Software Engineers who wish to tackle the problems of conceptual modelling, or models of problems. The authors point out that these models are not specifications of solutions.

Within this scope the authors present the requirements of conceptual models (idealised, germane, precise, arguable, traceable, communicable and methodical) and the lightweight use of formality applied to the problem being modelled. For example the requirements analysis of a bank loan approval problem is modelled and expressed using logic. This model is validated, verified and tested for consistency. The authors then further develop their theme of using logic as a modelling language, communication tool, linking formal languages to domains, the impact on design processes, temporal reasoning, syntax, semantics and pragmatics.

Although the material is presented clearly and logically it is not easy going for those without an understanding of logic. Developers generally will not be interested in this book as it does not appear to be immediately practical. However, that said, it does present some interesting ideas such as those related to uncertainty and decidability and the issues that are being tackled are common throughout the software industry. Those who will appreciate this book the most are connected with business analysis and have a background that includes logic. For those readers there are interesting ideas presented that deserve close examination.


Book cover image courtesy of Open Library.





Your Privacy

By clicking "Accept Non-Essential Cookies" you agree ACCU can store non-essential cookies on your device and disclose information in accordance with our Privacy Policy and Cookie Policy.

Current Setting: Non-Essential Cookies REJECTED


By clicking "Include Third Party Content" you agree ACCU can forward your IP address to third-party sites (such as YouTube) to enhance the information presented on this site, and that third-party sites may store cookies on your device.

Current Setting: Third Party Content EXCLUDED



Settings can be changed at any time from the Cookie Policy page.