Yun-Heh Chen-Burger,
Dave Robertson
Springer London
0e druk, 2010
9781849969345
Automating Business Modelling
A Guide to Using Logic to Represent Informal Methods and Support Reasoning
Specificaties
Paperback, 322 blz.
|
Engels
Springer London |
0e druk, 2010
ISBN13: 9781849969345
Rubricering
Onderdeel van serie
Advanced Information and Knowledge Processing
Levertijd ongeveer 8 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9781849969345
Taal:Engels
Bindwijze:paperback
Aantal pagina's:322
Uitgever:Springer London
Druk:0
Hoofdrubriek:Automatisering algemeen, Computer en informatica, IT-management / ICT
Inhoudsopgave
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
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