Search in Book Reviews

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.