Telelogic Tau 3.5

SDT Methodology Guidelines

Copyright: © 1991 -- 1999 by Telelogic AB. All rights reserved.

Software License

Trademarks

Table of Contents 

1. Object Oriented Design Using SDL      1

• Requirements on the Access Control System      2
• Description of the System to be Built      2
• Textual Requirements      3
• Use Cases      5
• Object Model      7
• System Analysis of the Access Control System      8
• Analysis Object Model: Basic Version      8
• The Analysis Use Case Model      10
• Analysis Object Model: Enhanced Version      11
• Object Oriented Design of the Access Control System      13
• System Design      13
• Object Design      13
• Version 1: Block Types and Process Types      13
• Version 2: Procedures, Specialization and Packages      19
• Specialization: Adding/Redefining Properties      27
• Packages      39

2. Data Types in SDT      41

• Introduction      42
• Using SDL Data Types      42
• Predefined Sorts      44
• User Defined Sorts      61
• Literals      77
• Operators      77
• Default Value      78
• Generators      78
• Using C in SDL      79
• Mapping C to SDL      79
• C Specific Package ctypes      85
• Using C Headers in SDL      93
• Using SDL Sorts in C Functions      105
• Using ASN.1 in SDL      108
• Organizing ASN.1 Modules in SDT      108
• Using ASN.1 Types in SDL      111
• Sharing Data between SDL and TTCN      116

3. Using SDL Extensions      119

• Own and ORef Generators      120
• Introduction      120
• Basic Properties of the Own Generator      120
• Definition of Own Generator      122
• The ORef Generator      124
• Run-Time Errors      125
• Implicit Type Conversions      126
• Algorithms in SDL      129
• Compound Statement      130
• Local Variables      131
• Statements      131
• Grammar for the Algorithmic Extensions      138
• Algorithms in Simulator/Validator      139
• Execution Performance in Applications      140

4. Transition from SDL-88 to SDL-92      141

• Introduction      142
• Prerequisites on SDL-88 Systems      142
• Assumed Reader Knowledge      143
• Managing SDL-88 Systems in SDT 3.X      143
• Introduction to the Example      144
• The Access Control System      144
• Introducing SDL-92 in SDL-88 Based Systems      146
• Introduction      146
• Types      146
• Process Type      147
• Specialization      152
• Block Type and Virtual Process Type      161
• Virtual Block Types      165
• Service Type      165
• Packages      166
• Procedures      167
• Discussion      169

5. Organizing a Project That Will Use SDT 3.5      171

• Introduction      172
• General      172
• Improved Support      173
• Diagram Binding      174
• Automatic Binding      174
• Manual Binding      174
• Source and Target Directories      175
• How to Manage the Diagrams in a Project      177
• Starting to Use RCS Together with an SDT System      177
• Using SDT and RCS in a Multi User Environment      180
• Make Local Changes Global Using RCS      181
• Make Global Changes Local Using RCS      181
• Building and Populating a Work Area from RCS based Original Area      182
• Endpoint Handling with RCS      182
• Simultaneous Editing of an SDL Diagram      183
• Using ClearCase Together with an SDT System      184
• Introducing ClearCase with SDT -- Checking in Files      184
• Introducing ClearCase with SDT -- Opening a System      185
• Differences to SDT 2.3      186

Introduction

About this Manual

This volume, SDT Methodology Guidelines, contains some practical guidelines on how to use SDL and related notations in software development using SDT.

The SDL-92 object oriented concepts are introduced, including converting an SDL-88 system into SDL-92. Some Telelogic-specific extensions to SDL are described, as well as the handling of SDL, C and ASN.1 data types in SDT. Finally, how to manage the diagram files in a project that includes several project members is explained and examplified.

Documentation Overview

A general description of the Telelogic Tau documentation can be found in Telelogic Tau Documentation.

Typographic Conventions

The typographic conventions that are used in the Telelogic Tau documentation are described in Typographic Conventions.

How to Contact Customer Support

Detailed contact information for Telelogic Customer Support can be found in How to Contact Customer Support.