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

ISBN-13: 9781849969345 / Angielski / Miękka / 2010 / 322 str.

Yun-Heh Chen-Burger; Dave Robertson

Opis

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.

Spis treści

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

O autorze

How to make effective use of informal models and AI techniques, bridging the gap between Requirements Analysis and Formal Software System Specification.