Automating Business Modelling

A Guide to Using Logic to Represent Informal Methods and Support Reasoning

Enhances the use of enterprise models as an effective communication medium between business and technical personnel. Details the blue-print of the to-be developed business system.

Chapters 6 and 7 describe the formalisation and reasoning of the Process and
Procedural models. The automation of this modelling support framework
described in Figure 1.1 is based on manipulation of a formal logical language
DefBM that has been developed using a lightweight approach as described in
Section 3.3.5. Before we go into detail about DefBM and the automated support,
we should firstly understand the domain within which we are working: BSDM's
business models.