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

Bridges the gap between Requirements Analysis and formal software system specification Includes supplementary material: sn.pub/extras

Inhalt
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.