Automating Business Modelling : a guide to using logic to represent informal methods and support reasoning.