Automating Business Modelling
A Guide to Using Logic to Represent Informal Methods and Support Reasoning
Published on 3. February 2005
Book
Hardback
XVII, 322 pages
978-1-85233-835-0 (ISBN)
Description
How to make effective use of informal models and AI techniques, bridging the gap between Requirements Analysis and Formal Software System Specification.
More details
Series
Edition
2005 ed.
Language
English
Place of publication
London
United Kingdom
Target group
Professional and scholarly
Researchers, 3rd and 4th year undergraduates, MSc postgraduates, business managers
Product notice
sewn/stitched
Cloth over boards
Illustrations
XVII, 322 p.
Dimensions
Height: 241 mm
Width: 160 mm
Thickness: 24 mm
Weight
682 gr
ISBN-13
978-1-85233-835-0 (9781852338350)
DOI
10.1007/b138799
Schweitzer Classification
Other editions
Additional editions
Yun-Heh Chen-Burger | Dave Robertson
Automating Business Modelling
A Guide to Using Logic to Represent Informal Methods and Support Reasoning
Book
10/2010
Springer
€160.49
Shipment within 15-20 days
Yun-Heh Chen-Burger | Dave Robertson
Automating Business Modelling
A Guide to Using Logic to Represent Informal Methods and Support Reasoning
E-Book
11/2005
1st Edition
Springer
€149.79
Available for download
Content
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.