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.