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
As a broadcast
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
Super class transition symbol
Super class next state symbol
Composite state
Composite state definition
Composite state usage
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
Inline expressions
Text symbol
Comment
Action
Property Sequence Charts (PSC)
Component instance
Normal, required and fail messages
Parallel, alternative and loop operator
Strict operator
Relative time constraint
Unwanted/wanted message or chain constraints
High-level MSC (HMSC)

Data types

Type definitions and headers
Variables
C functions
External functions

Object orientation

Block class
Process class
Adding a transition
Overload a transition
Abstract transition
Reference to the super class
Example
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

Common XML definitions
XML elements for standard diagrams
Principles
XML elements
Explanations
Behavioral diagrams
Principles
XML elements
Explanations
MSC diagram DTD
Principles
DTD text
Explanations

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

V1.0 to V1.1
V1.1 to V1.2
V1.2 to V2.0
V2.0 to V2.1
V2.1 to V2.2
V2.2 to V2.3
V2.3 to V2.4

Index

Logo