SDL-2000 Tutorial

SDL-2000

Differences to SDL-92

"not available constructs in SDL..."

SDL-2000 Specification Structure

Agents

Agent Declaration

Folie 8

Folie 9

De-Composition of Agents

Folie 11

Block Agent

Folie 13

Process Agent

Folie 15

System Agent

Variables in Agents

Folie 18

Folie 19

Remote Variables

General Communication

"communication requires a complete path..."

"channel"

Folie 24

"gate"

Folie 26

"implicit signal lists on gates..."

Folie 28

Advanced Communication

Simple State Machines

Transition Actions

Folie 32

Algorithmic Notation

"compound statements"

Create and Stop

Folie 36

"create request can also be..."

Folie 38

"the execution of a stop..."

Object-Orientation in SDL

"type concept corresponds to class..."

"inheritance allows the definition of..."

Folie 43

Type References and Relations

"relations between types can be..."

Folie 46

"type definitions for an element..."

Abstract and Virtual Types

Advanced State Machines

Folie 50

"exception handlers can be attached..."

Procedures

Remote Procedures

"remote procedure call may deadlock"

Folie 55

Composite States

Folie 57

"composite states share agent´s..."

Folie 59

State Aggregation

Folie 61

"composite states and state aggregations..."

Virtual Behaviour Elements

Interface

"contained remote procedures & variables..."

"interface if1;"

Agent Implicit Interface

Folie 68

"each (explicit or implicit"

Folie 70

Data Types

"value types correspond to the..."

"object types define references to..."

"further properties of data types"

Folie 75

Folie 76

Folie 77

Data assignments

Folie 79

Folie 80

"each data type (obejct..."

Development of Real-Time Systems with SDL

Further Information