Logo

Introduction

Architecture

System
Agents

Communication

Behavior

Start
State
Stop
Message input
Message output
Queue Id
Process name
Environment
Message save
Continuous signal
Action
Decision
Semaphore take
Semaphore give
Timer start
Timer stop
Task creation
Procedure call
Connectors
Transition option
Comment
Extension
Procedure start
Procedure return
Text symbol
Additional heading symbol
Symbols ordering

Declarations

Process
Procedure declaration
SDL-RT defined procedure
C defined procedure
Messages
Timers
Semaphores

MSC

Agent instance
Semaphore representation
Semaphore manipulations
Message exchange
Synchronous calls
State
Timers
Time interval
Coregion
MSC reference
Text symbol
Comment
Action
High-level MSC (HMSC)

Data types

Type definitions and headers
Variables
C functions
External functions

Memory management

Global variables
Message parameters

Syntax

Semantic

Object orientation

Package
Block class
Process class

Symbols contained in diagrams

Textual representation

Example systems

Ping Pong
A global variable manipulation

Keywords

Differences with classical SDL

Data types
Semaphores
Inputs
Names
Object orientation

Lexical rules

Glossary

Index

Logo