Automating Business Modelling [electronic resource] : A Guide to Using Logic to Represent Informal Methods and Support Reasoning / by Yun-Heh Chen-Burger, Dave Robertson.

From the Contents. Introduction -- Background Knowledge -- Problems and Overviews of Approach -- Logic -- Formal Support for Data Modelling -- Formal Support for Process Modelling -- Reasoning on and Executing Processes -- Knowledge Sharing and Reuse of Models -- The Use of System: KBST-BM -- Evaluation of System -- Conclusion -- Appendices - A. Generic Models from BSDM -- B. Example Models of BSDM -- C. An Industrial Model -- D. A Model for Family Restaurants -- E. A Model for Academic Environment -- F. The Formal Operators in DefBM -- G. Entity Model Rules and Guidelines -- H. Process Model Rules and Guidelines -- I. An Interpreter for User-Defined Rules -- J. Model/Rules/Guidelines By Category -- K. Test Result of Model Rules and Guidelines -- L. An Example Use of GMA -- M. Example Use of Simulator -- References -- Index.

Enterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning their businesses. The resulting product, an enterprise model, is commonly used as a blueprint for reconstructing organizations and such effort is often a part of business process re-engineering and improvement initiatives. Automating Business Modelling describes different techniques of providing automated support for enterprise modelling methods and introduces universally used approaches. A running example of a business modelling method is included; providing a framework and detailed explanation as to how to construct automated support for modelling, allowing readers to follow the method to create similar support. Suitable for senior undergraduates and postgraduates of Business Studies, Computer Science and Artificial Intelligence, practitioners in the fields of Knowledge Management, Enterprise Modelling and Software Engineering, this book offers insight and know-how to both student and professional.