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.