Chapter 2. Quick Tutorial on SDL

  1. Laurent Doldi

Published Online: 28 JAN 2005

DOI: 10.1002/0470014156.ch2

Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis

Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis

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

Author Information

  1. TransMeth Sud-Ouest, France

Publication History

  1. Published Online: 28 JAN 2005
  2. Published Print: 22 APR 2003

ISBN Information

Print ISBN: 9780470852866

Online ISBN: 9780470014158

SEARCH

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