Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reas
153.15 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10380377
Beschreibung
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
Eigenschaften
Breite: | 155 |
Höhe: | 235 |
Seiten: | 322 |
Sprachen: | Englisch |
Autor: | Dave Robertson, Yun-Heh Chen-Burger |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen