Logo

Introduction

Architecture

System
Agents

Communication

Behavior

Start
State
Stop
Message input
Message output
To a queue Id
To a process name
To the environment
Via a channel or a gate
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
Object creation 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

Object orientation

Block class
Process class
Class diagram
Class
Specialisation
Association
Aggregation
Composition
Package
Usage in an agent
Usage in a class diagram

Deployment diagram

Node
Component
Connection
Dependency
Aggregation
Node and components identifiers

Symbols contained in diagrams

Textual representation

Example systems

Ping Pong
A global variable manipulation
Access Control System
Requirements
Analysis
Architecture
pCentral process
getCardNCode procedure
pLocal process
Display procedure
DisplayStar procedure
Deployment

Differences with classical SDL

Data types
Semaphores
Inputs
Names
Object orientation

Memory management

Global variables
Message parameters

Keywords

Syntax

Naming convention

Lexical rules

Glossary

Modifications from previous releases

Semaphore manipulation
V1.0 to V1.1
Object orientation
V1.1 to V1.2
V1.2 to V2.0
Messages
V1.1 to V1.2
MSC
V1.1 to V1.2
Task
V1.2 to V2.0
Organisation
V1.2 to V2.0

Index

Logo