Buch, Englisch, 322 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 1450 g
A Guide to Using Logic to Represent Informal Methods and Support Reasoning
Buch, Englisch, 322 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 1450 g
Reihe: Advanced Information and Knowledge Processing
ISBN: 978-1-85233-835-0
Verlag: Springer
Enhances the use of enterprise models as an effective communication medium between business and technical personnel.
Details the blue-print of the to-be developed business system.
Zielgruppe
Researchers, 3rd and 4th year undergraduates, MSc postgraduates, business managers
Autoren/Hrsg.
Fachgebiete
- Wirtschaftswissenschaften Betriebswirtschaft Wirtschaftsmathematik und -statistik
- Mathematik | Informatik EDV | Informatik Daten / Datenbanken Zeichen- und Zahlendarstellungen
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
- Mathematik | Informatik EDV | Informatik Angewandte Informatik Wirtschaftsinformatik
- Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
Weitere Infos & Material
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.
