Automating Business Modelling
A Guide to Using Logic to Represent Informal Methods and Support Reasoning
Published on 22. October 2010
Book
Paperback/Softback
XVII, 322 pages
978-1-84996-934-5 (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
Softcover reprint of hardcover 1st ed. 2005
Language
English
Place of publication
London
United Kingdom
Target group
Professional and scholarly
Research
Illustrations
XVII, 322 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 19 mm
Weight
517 gr
ISBN-13
978-1-84996-934-5 (9781849969345)
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
02/2005
Springer
€164.50
Shipment within 15-20 days
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.