Popovic, Miroslav 　著

目次

Chapter 1 Introduction 1.1 The Notion of the Communication Protocol References Chapter 2 Requirements and Analysis 2.1 Use Case Diagrams 2.2 Collaboration Diagrams 2.3 Requirements and Analysis Example References Chapter 3 Design 3.1 Class Diagrams 3.2 Object Diagrams 3.3 Sequence Diagrams 3.4 Activity Diagrams 3.5 Statechart Diagrams 3.6 Deployment Diagrams 3.7 Specification and Description Language 3.8 Message Sequence Charts 3.9 Tree and Tabular Combined Notation 3.10 Examples References Chapter 4 Implementation 4.1 Component Diagrams 4.2 The Spectrum of FSM Implementations 4.3 State Design Pattern 4.4 Implementation Based on the FSM Library 4.5 Examples References Chapter 5 Test and Verification 5.1 Unit Testing 5.2 Conformance Testing 5.3 Formal Verification Based on Theorem Proving 5.4 Statistical Usage Testing 5.5 Examples 5.6 Further Reading References Chapter 6 FSM Library 6.1 Introduction 6.2 Basic FSM System Components 6.3 Time Management 6.4 Memory Management 6.5 Message Management 6.6 TCP/IP Support 6.7 Global Constants, Types, and Functions 6.8 API Functions 6.9 A Simple Example with Three Automata Instances 6.10 A Simple Example with Network-Aware Automata Instances