Yun-Heh Chen-Burger, Dave Robertson

Automating Business Modelling (eBook, PDF)

A Guide to Using Logic to Represent Informal Methods and Support Reasoning

• Format: PDF

Produktbeschreibung

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

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer London
• Seitenzahl: 322
• Erscheinungstermin: 27. November 2005
• Englisch
• ISBN-13: 9781846281068
• Artikelnr.: 37347380

Autorenporträt

Yun-Heh Chen-Burger, The University of Edinburgh, UK / Dave Robertson, The University of Edinburgh, UK

Inhaltsangabe

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.