Telelogic Tau 3.5

Release Guide

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

Software License

Trademarks

Table of Contents 

• How to Contact Customer Support      v
• Telelogic Help Desk      v
• Distributor Help Desk      vi
• Telelogic Tau Documentation      viii
• On-Line Documentation      viii
• Printed Documentation      viii
• Contents of the Included Volumes      viii
• Typographic Conventions      x

1. News in Telelogic Tau 3.5      1

• Telelogic Tau Features      2
• Licensing      2
• User Interface for ORCA and SDT      2
• Web Documentation Generation      3
• On-line Help      3
• ORCA Tools      3
• Generating MSC-PR      3
• MSC Editor      3
• SDT Tools      4
• SDT Batch      4
• SDL Editor      4
• SDT Simulator and Validator      4
• SDT Analyzer      4
• Cmicro Code Generator      5
• Cmicro library      5
• ITEX Tools      5

2. Compatibility Notes      7

• Licensing Compatibility      8
• FLEXlm License Keys      8
• FLEXlm License Daemon      8
• File Name Compatibility      9
• Windows/UNIX Compatibility      9
• Storage Format Compatibility      10
• System Files      10
• SDL-GR and MSC-GR      10
• Generated SDT Simulators and Validators      11
• Applications Built with Postmaster Libraries (Windows only)      11
• Autolink Files      11
• ITEX Database Compatibility      12
• Compatibility with ITU SDL      14
• SDL-96 Extensions      14
• Telelogic-Specific Extensions      15
• Compatibility with ITU MSC      16
• MSC'96 Reserved Words      17
• MSC'93 Reserved Words      17
• Unsupported Reserved words      17
• Parameter Lists      18
• Compatibility with OMG UML      18
• Compatibility between SDL-88 and SDL-92      19
• General Remarks      19
• Reserved Words      19
• Qualifiers for Predefined Data Types and Generators      20
• New Operators in Predefined Sorts      20
• Service      21
• View      21
• Output      21
• Import      24

3. Release Notes      27

• Included Components      28
• Common Telelogic Tau Tools and Features      28
• SDT Tools and Features      28
• ORCA Tools and Features      29
• ITEX Tools and Features      29
• User Documentation      29
• New and Changed Functionality      30
• Telelogic Tau Tools and Features      30
• TTCN Language      35
• ITEX Tools and Features      35
• ORCA Tools and Features      36
• SDT Tools and Features      39
• Known Limitations      44
• Telelogic Tau Limitations      44
• TTCN Restrictions      45
• ITEX Tool Limitations      46
• UML and MSC Restrictions      49
• ORCA Tool Limitations      50
• SDL Restrictions      52
• SDT Tool Limitations      54

How to Contact Customer Support

The Help Desk is the single point of contact for all support related communication regarding the Telelogic Tau products:

• Telelogic Help Desk at our offices.
• Distributor Help Desk, if you have received the Telelogic products from a local distributor.

Contact the Help Desk if you:

• need to obtain a License Key or other licensing materials.
• have questions, suggestions or problems related to the installation, setup or performance of the Telelogic Tau software.
  Try to provide the following information:
• Telelogic Tau product version (e.g. 3.5, 3.4, etc.)
• Operating system (e.g. Solaris 2.5.1, Windows NT 4.0, etc.)
• Module or tool (e.g. SDL Editor, on-line help, etc.)
• Compiler, if applicable (e.g. Borland C++ 5.0, Sun cc, gcc, etc.)

You may also visit the Telelogic Help Desk home page on the World Wide Web:
http://www.telelogic.com/usersupp/usersupp.asp
This option is also available in the Help menu in the Organizer.

Telelogic Help Desk

Help Desk in Sweden	Help Desk in North America
Telelogic AB Box 4128 SE-203 12 Malmö, SWEDEN Phone: +46 40 17 47 70 Fax: +46 40 17 47 47 E-mail: support@telelogic.se	Telelogic Inc. 116 Village Blvd., Suite 240 Princeton, NJ 08540, USA Phone: +1 (609) 520-1935 Fax: +1 (609) 520-8512 E-mail: support@telelogic.com
Help Desk in France	Help Desk in Germany
Telelogic France 137 rue Paul Hochart 94240 L'Hay les Roses, FRANCE Phone: +33 1 46 75 35 22 Fax: +33 1 46 75 37 57 E-mail: assistance@telelogic.com	Telelogic GmbH Gadderbaumer Str 19 D-33602 Bielefeld, GERMANY Phone: +49 521 145 03 01 Fax: +49 521 145 03 50 E-mail: support_sdt@telelogic.de
Help Desk in Italy	Help Desk in Japan
Telelogic Italia srl Centro Direzionale Colleoni Palazzo Taurus - Ingresso 3 20041 - Agrate Brianza (Milano), ITALY Phone: +39 039 689 03 12 Fax: +39 039 689 03 34 E-mail: support@telelogic.com	Telelogic K.K. SURUGA Roppongi Bldg. 2F 4-2-14 Roppongi Minato-ku Tokyo, 106-0032, JAPAN Phone: +81-3-3560-3141 Fax: +81-3-3560-3142 E-mail: support@telelogic.com
Help Desk in UK
Telelogic UK Ltd Asmec Centre Eagle House, The Ring Bracknell, Berkshire RG12 1HB, UK Phone: +44 1344 38 21 41 Fax: +44 1344 38 21 40 E-mail: support@telelogic.com

Distributor Help Desk

Help Desk in Brazil	Help Desk in China
LIVEWARE, Technologia a Serviço Ltda Rua Quito Carneiro, 354 37540-000 Santa Rita do Sapucaí, MG, BRAZIL Phone/Fax: +55 35 471 3210 E-mail: telelogic@liveware.com.br	3-link System Pte Ltd Rm. 1203 Science & Technology Tower No. 11 Baishiqiao Road Haidian District Beijing 100081, CHINA Phone: +86 10 6847 6840 Fax: +86 10 6847 6839 E-mail: linkbj@public3.bta.net.cn
Help Desk in Czech Republic	Help Desk in India
Aran AB Research Park Ideon SE-223 70 Lund, SWEDEN Phone: +46 46 18 25 20 Fax: +46 46 18 98 88 E-mail: info@aran.com	Future Techno Designs Pvt Ltd. 407/408 I `C' Cross, 7th Block (Opp. Raheja Arcade), Karamangala IN 560 095 Bangalore, INDIA Phone: +91 80 5711582 Fax: +91 80 5710832 E-mail: support_tel@ftdpl.com.sg
Help Desk in Israel	Help Desk in Italy
Telsys Ltd Atidim - Industrial Park, Bld 3 Dvore Hanveis, St Neve Sharet IL-61431 Tel Aviv, ISRAEL Phone: +972 3 765 76 66 Fax: +972 3 649 74 07 E-mail: support@telsys.co.il	Instrumatic srl Viale Rimembranze 45 200 20 Lainate (MI), ITALY Phone: +39 2 93 79 93 21 Fax: +39 2 93 79 91 95 E-mail: support@instrumatic.it
Help Desk in Japan	Help Desk in Malaysia
NTT Advanced Technology Corp. Fuzisawa bldg. 7F, 4-30-16 Ogikubo Suginami-ku, Tokyo 167, JAPAN Phone: +81 3 3392 5184 Fax: +81 3 3392 3226 E-mail: onomasa@csd.ntt-at.co.jp	FCS Computer Systems Sdn Bhd Technology Park Malaysia Level 2 Incubator 3 Bukit Jalil 57000 Kuala Lumpur, MALAYSIA Phone: +60 3753 7357 Fax: +60 3753 7300 E-mail: rosalind@fcscs.po.my
Help Desk in Singapore	Help Desk in South Korea
Future Techno Designs Pte Ltd. 41 Kallang Pudding Road #03-05 Golden Wheel Building SG-349316 SINGAPORE Phone: +65 744 97 89 Fax: +65 741 35 43 E-mail: telesup_sg@ftdpl.com.sg	TelNet Korea Co, Ltd 4th floor, Buch Cheon Bldg 1597-5, Seocho-Dong Seocho-Ku, Seoul, KOREA Phone: +82 2 3472 0785 Fax: +82 2 3472 0939 E-mail: support@telnet-korea.com
Help Desk in Switzerland	Help Desk in Taiwan
Litronic AB Fiechthagstr 19 CH-4103 Bottmingen, SWITZERLAND Phone: +41 61 426 90 90 Fax: +41 61 426 90 99	Syscom Computer Engineering Co 11th floor 260 Pa-Teh Road, Sec 2 Taipei, Taiwan, R.O.C. Phone: +886 2 775 86 31 Fax: +886 2 777 42 91 E-mail: support@mail.syscom.com.tw
Help Desk in Turkey
Bildem Ugur Mumcu Cad 64/3 G.O.Pasa 06700 Ankara, TURKEY Phone: +90 312 447 27 00 Fax: +90 312 447 27 02

Telelogic Tau Documentation

The complete user documentation for the Telelogic Tau products is available on-line as well as in printed format.

On-Line Documentation

The on-line documentation consists of HTML files, which are included in the Telelogic Tau CD-ROM distribution.

The HTML files can be accessed from the Telelogic Tau software as a result of a context-sensitive help request. This requires that an on-line help viewer has been installed and set up properly.

Printed Documentation

The printed documentation consists of a collection of wire-bound books and the User's Manual. The printed version of the User's Manual is only delivered if you have ordered it separately.

PostScript files, with the same layout and contents as the printed documentation, are included on the installation CD. Use them for printing selected parts of the documentation.

Contents of the Included Volumes

The following volumes are included in the Telelogic Tau documentation:

• Installation Guide:

Describes the installation of the Telelogic Tau software, how to configure the computer environment, and how to handle licensing.

• Release Guide (this volume):

General information about the product release, new features, limitations, and compatibility issues. Compatibility is described between Telelogic Tau 3.5 and previous versions, and also between the languages supported in Telelogic Tau and the published standards of these languages.

• SOMT Methodology Guidelines:

Describes a methodology for combining object-oriented analysis with SDL design, also known as the SOMT method.

• SDT Methodology Guidelines:

Practical guidelines on how to use SDL and related notations in software development using SDT. The SDL-92 object oriented concepts are described as well as handling of data types.

• ITEX Methodology Guidelines:

Describes a methodology that will assist you in taking advantage of the TTCN language in an ITEX environment. The TTCN language, concepts and data types are described.

• ORCA and SDT Getting Started:

Introduction to ORCA¹ and SDT, and the supported languages and notations. By reading and practising the included tutorials, you will get more familiar with the basic ORCA and SDT tools.

This volume will also assist you in getting familiar with the SOMT method, CORBA integration, and Cmicro targeting. Lectures are combined with practical exercises.

• ITEX Getting Started:

Introduction to TTCN and ITEX, as well as tutorials on the ITEX tools that will help you in getting familiar with ITEX.

• User's Manual:

Reference information and guideline material about all Telelogic Tau tools and features. All windows, dialogs, menus, commands, files, storage formats, options, etc. are described. There are also guides on how to use the tools and perform various tasks.

The User's Manual is divided into eight parts.

Typographic Conventions

This section describes the typographic conventions used in all volumes of the Telelogic Tau user documentation.

Menu Commands and UI Objects

Telelogic Tau user interface objects, such as labels, menu names, menu items and button texts, are shown in italics:

The Edit menu provides a Paste command ...
Click the OK button ...

Menu commands can also be expressed in a single form by separating the menu, submenu and menu item by a `>' character:

Select Edit > Paste to ...
The command Tools > Link > Traverse is used for ...

File Names, Variables, etc.

Names of files and directories, variables, source code literals, file keywords, etc. are usually shown in a typewriter font :

The sdt.ssl file ...
Set the $telelogic variable ...

Textual Input/Output, Listings, etc.

Listings of source code, file contents and textual output from the computer is shown in a typewriter font:

State1:
  Sig1:INPUT
  Sig2:SAVED
State2:
  Sig3:INPUT
  Sig1:UNHANDLED

When you are asked to type in characters from the keyboard during an interactive session, a bold typewriter font is used:

Now enter Convert, Demon, System

C:\tau35> mkdir example

Placeholders

Information within angle brackets "< >" denotes symbolic names (placeholders) which should be replaced by actual names:

The syntax is "<process instance> <variable name>" ...

Keys

Special keys or key combinations are shown in a typewriter font within angle brackets. Keys to be pressed together are separated by `+':

To execute the command, press <Return> ...
Press <Ctrl+C> to ...
The shortcut is <Ctrl+Meta+V> ...

Platform Differences

The Telelogic Tau documentation is common to both UNIX and Windows. The differences that exist between the platforms are usually indicated in the text by a platform indicator (a bold, sans-serif font) which always contains the word UNIX or Windows. Examples:

The information is stored in the file .sdtpref (on UNIX) or sdt.ini (in Windows).

XYZ consists of the following:

• Alpha
• Beta (UNIX only)
• Gamma
• Delta (Windows only)
• Etc.

If a complete section of text is platform specific, the platform is indicated in the section heading:

Performing the Operation (on UNIX)

Performing the Operation (in Windows)

Screenshots are shown in either a UNIX or Windows version. Even if the appearance and layout may differ slightly between the platforms or screen setups, the functionality is identical.