June 2012
Intermediate to advanced
528 pages
15h 40m
English
Content preview from Computers as Components, 3rd Edition
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
Start your free trial
7.4 Specifications
In this section we take a look at some advanced techniques for specification and how they can be used.
7.4.1 Control-Oriented Specification Languages
SDL
We have already seen how to use state machines to specify control in UML. An example of a widely used state machine specification language is the SDL language[Roc82], which was developed by the communications industry for specifying communication protocols, telephone systems, and so forth. As illustrated in Figure 7.6, SDL specifications include states, actions, and both conditional and unconditional transitions between states. SDL is an event-oriented state machine model because transitions between states are caused by internal and external events.
Figure 7.6 The SDL ...