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

Libro 6 di 66: Advanced Information and Knowledge Processing

Chen-Burger, Yun-Heh; Robertson, Dave

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

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  1852338350 ISBN 13:  9781852338350
Casa editrice: Springer-Nature New York Inc, 2005
Rilegato