Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning /

• Main Authors: Chen-Burger, Yun-Heh (Author), Robertson, Dave (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London, 2005.
• Series: Advanced Information and Knowledge Processing
• Subjects: Computer science.; Operations research.; Decision making.; Business mathematics.; Database management.; Artificial intelligence.; Application software.; Management information systems.; Computer Science.; Management of Computing and Information Systems.; Operation Research/Decision Theory.; Business Mathematics.; Artificial Intelligence (incl. Robotics).; Database Management.; Computer Appl. in Administrative Data Processing.

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...

Table of Contents:

• 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.