Introduction

This introduction presents an overview of the key concepts discussed in the subsequent chapters of this book. The book covers use case diagrams, collaboration diagrams, class diagrams, object diagrams, sequence diagrams, activity diagrams, statechart diagrams, deployment diagrams, and component diagrams. It devotes to the requirements and analysis phase of communication protocol engineering. The book deals with the testing and verification phase of communication protocol engineering. The book introduces Unified Modeling Language diagrams related to the design phase: class, object, sequence, activity, statechart, and deployment diagrams. It contains two real-world examples of the finite state machines Library-based implementations. The first is the implementation of the POP3 communication protocol, the TCP/IP Internet protocol for receiving e-mail messages. The second is the session initiation protocol (SIP) INVITE client transaction forwards the message req client transaction, a part of the SIP protocol stack. A protocol is set of conventions and rules governing their use that regulates the communication of entity under observation with its environment.