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...
Main Authors: | , |
---|---|
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