Correct Systems: Building a Business Process Solution - Softcover

Inhaltsangabe

1: Building Correct Systems.- 1 Models of Computer-Based Systems.- 1.1 Introduction to the modelling systems.- 1.2 Finite state machines.- 1.3 Statecharts.- 1.4 A general computational model: the X-machine.- 1.5 An X-machine example.- 2 Business Processes, Problems and Solutions.- 2.1 Problems and solutions.- 2.2 Design methods: old and new.- 2.3 Business process models.- 2.4 A simple business process case study.- 2.5 Another example of a business process and enterprise model.- 2.6 A microprocessor example.- 2.7 Implementation.- 3 Testing, Testing, Testing!.- 3.1 What is testing?.- 3.2 Fundamental issues of correct systems design.- 3.3 An approach to quality-oriented testing.- 3.4 Testing based on a computational modelling approach.- 3.5 Stream X-machines and the fundamental theorem of testing.- 3.6 Discussion.- 4 Building Correct Systems.- 4.1 Refining correct solutions.- 4.2 Components.- 4.3 An integrated design and test refinement strategy.- 4.4 A first simple refinement.- 4.5 Testing refined machines.- 4.6 Components revisited.- 5 A Case Study.- 5.1 An example of a stream X-machine specification: basic background and the requirements capture process.- 5.2 Developing the specification.- 5.3 Data design.- 5.4 Testing.- 5.5 Implementation.- 5.6 A summary of the facilities provided by the completed system..- 2: Theoretical Foundations.- 6 The Theory of X-Machines.- 6.1 The basic theory of X-machines.- 6.2 Stream X-machines.- 6.3 Stream X-machine refinement.- 7 Complete Functional Testing.- 7.1 Some state machine theory.- 7.2 Theoretical basis at finite state machine testing.- 7.3 The theoretical basis of stream X-machine testing.- 8 Refinement Testing.- 8.1 Theoretical basis of refinement testing.- 8.2 The refinement testing method.- References.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.