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

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

Full description

Bibliographic Details
Main Authors: Chen-Burger, Yun-Heh, Robertson, Dave (Author)
Format: eBook
Language:English
Published: London Springer London 2005, 2005
Edition:1st ed. 2005
Series:Advanced Information and Knowledge Processing
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
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