Chapter 2. Quick Tutorial on SDL
Published Online: 28 JAN 2005
DOI: 10.1002/0470014156.ch2
Copyright © 2003 John Wiley & Sons, Ltd
Book Title
Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis
Additional Information
How to Cite
Doldi, L. (2005) Quick Tutorial on SDL, in Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis, John Wiley & Sons, Ltd, Chichester, UK. doi: 10.1002/0470014156.ch2
Publication History
- Published Online: 28 JAN 2005
- Published Print: 22 APR 2003
ISBN Information
Print ISBN: 9780470852866
Online ISBN: 9780470014158
- Summary
- Chapter
Keywords:
- step-by-step tutorial on SDL-92 [SDL92];
- types, instances and gates;
- process instance creation
Summary
This chapter contains sections titled:
Structure of an SDL Model
Communication
Behavior
Data Types
Constructs for Better Modularity and Genericity