Table of Contents


Installation Guide

Release Guide

SDL Suite Methodology Guide

TTCN Suite Methodology Guide

SDL Suite Getting Started

TTCN Suite Getting Started

User’s Manual

Menu Choice Index


Installation Guide

- Introduction

1. Platforms and Products

- Hardware Prerequisites
- Software Prerequisites
- Build and Certification Matrices

2. Installation Procedure for UNIX

- Overview
- Installation Procedure
- Starting Up

3. Installation Procedure for Windows

- Overview
- Installation Procedure
- Starting Up
- Post Installation
- Adding Components to an Existing Installation

4. System Setup

- UNIX Command Line Tools
- UNIX User Setup
- Environment Variables
- Preferences
- Microsoft Windows System Factors
- X Window System Factors (UNIX only)
- OSF/Motif Factors (UNIX only)

5. Licensing Management

- Setting up Your license on a Client Machine
- Setting up Your License Server
- If the FlexNet License Server Goes Down
- Specific Licensing for the SDL Suite

6. Understanding IBM Rational Licenses

- Licensing - A General Overview

Release Guide

- How to Contact Customer Support
- Documentation
- Typographic Conventions
- Legal Information

1. Compatibility Notes

- Language Compatibility
- Tool Limitations
- Known Issues

2. Release Notes

- Included Components
- New and Changed Functionality

SDL Suite Methodology Guide

- Introduction

1. Object Oriented Design Using SDL

- Requirements on the Access Control System
- System Analysis of the Access Control System
- Object Oriented Design of the Access Control System

2. Data Types

- Introduction
- Using SDL Data Types
- Using C/C++ in SDL
- C Specific Package ctypes
- Using ASN.1 in SDL

3. Using SDL Extensions

- Own and ORef Generators
- Algorithms in SDL

4. Organizing a Project

- Introduction
- Diagram Binding
- How to Manage the Diagrams in a Project
- Using CM SYNERGY Together with an SDL System
- Using ClearCase Together with an SDL System

TTCN Suite Methodology Guide

- Introduction

1. The TTCN Introduction

- Introduction
- Background
- A Case Study
- The Test Configuration
- Specification of Test System Behaviour
- TTCN Types and Values
- ASN.1 Types and Values
- PCOs and CPs
- The SEND Statement
- The RECEIVE Statement
- The OTHERWISE Statement
- Defining ASP, PDU and CM Types
- Using ASPs and PDUs in Behaviour Trees
- TTCN Expressions
- Specifying ASP, PDU and CM Values
- Constraint References
- Matching Received Constraint Values
- Encoding
- Referencing Components of Complex Types
- Verdicts
- The GOTO Statement
- Timer Statements
- Constants and Variables
- Dynamic Behaviour Descriptions
- Using Aliases
- Modularization of Test Cases
- Parameter Lists in TTCN
- Test Case Selection
- Structure of a TTCN Test Suite
- Distributed Development
- The Complete Case Study

SDL Suite Getting Started

- Introduction

1. Introduction to Languages and Notations

- Benefits of a Specification Language
- General about the SDL Language
- More about SDL
- The Message Sequence Chart Language
- Object Model Notation
- State Chart Notation
- ASN.1 - Abstract Syntax Notation One
- The TTCN Notation
- Tool Support
- References

2. Introduction to the SDL Suite

- About the SDL Suite
- Overview of the SDL Suite
- Information Management
- PCs and Workstations

3. Tutorial: The Editors and the Analyzer

- Purpose of This Tutorial
- The Demon Game
- Starting the SDL Suite
- Preferences
- Creating an SDL Structure
- Printing the System Diagram
- Checking the System Diagram
- Creating a New Block Diagram
- Creating a Block Diagram From a Copy
- Creating a Process Diagram
- More About the Organizer
- Analyzing the Complete System
- Managing Message Sequence Charts
- Using the Index Viewer
- So Far...
- Appendix A: The Definition of the SDL-88 DemonGame
- Appendix B: The MSC for the DemonGame

4. Tutorial: The SDL Simulator

- Purpose of This Tutorial
- Generating and Starting a Simulator
- Executing Transition by Transition
- Viewing the Internal Status
- Dynamic Errors
- Using Different Trace Values
- Looking at the External Behavior
- Using Breakpoints
- Changing the System
- Generating Message Sequence Charts
- The Coverage Viewer
- So Far...

5. Tutorial: The SDL Explorer

- Purpose of This Tutorial
- Generating and Starting an SDL Explorer
- Navigating in a Behavior Tree
- More Tracing and Viewing Possibilities
- Validating an SDL System
- Verifying a Message Sequence Chart
- Using Test Values
- So Far...

6. Tutorial: Applying SDL-92 to the DemonGame

- Purpose of This Tutorial
- Applying SDL-92 to the DemonGame
- Some Preparatory Work
- Creating a Process Type from a Process
- Redefining the Properties of a Process Type
- Adding Properties to a Process Type
- Combining the Properties of Two Process Types
- Using Packages and Block Types
- Reusing Packages
- Conclusion
- More Exercises...
- Appendix: Diagrams for the DemonGame Using Packages

7. Cmicro Targeting Tutorial

- Prerequisites / Abbreviations Used
- Introduction
- Prerequisites to the Example
- Targeting
- Use of the SDL Target Tester
- Run Target EXE without Tester

8. Tutorial: Using ASN.1 Data Types

- Introduction
- Creating the Abstract Syntax
- Creating the Transfer Syntax
- Compiling Your Application
- Running Your Application
- Appendix A

9. Tutorial: Using SDL-2000 features

- Purpose of this Tutorial
- Introduction
- Graphical Design of Data Types
- Creating an SDL Structure
- Editing a Diagram
- Viewing a Class
- Textual Algorithms
- Operators without Parameters and Operators without Return Results
- Limitations
- An Example of Using Class Symbols

10. Tutorial: Threaded Integration

- Introduction
- Description of Example System
- Preparations
- Drawing a Deployment Diagram
- Using the Targeting Expert
- Running the System

TTCN Suite Getting Started

- Introduction

1. Introduction to Languages and Notations

- Standardized Formal Methods
- The TTCN Language
- The ASN.1 Language
- The Message Sequence Chart Language

2. Introduction to the TTCN Suite (in Windows)

- Introduction to the TTCN Suite
- The TTCN Suite Toolset
- Files in the TTCN Suite

3. Introduction to the TTCN Suite (on UNIX)

- Introduction to the TTCN Suite
- The TTCN Suite Toolset
- Files in the TTCN Suite

4. Tutorial: TTCN Suite Basics (in Windows)

- Purpose of This Tutorial
- Starting the TTCN Suite
- Creating a TTCN Test Suite Document
- Using the Browser
- Using the Table Editor
- Analyzing the Test Suite
- Creating TTCN Tables in Other Ways
- Exporting a Test Suite
- Printing the Test Suite
- So Far...

5. Tutorial: TTCN Suite Basics (on UNIX)

- Purpose of This Tutorial
- Setting Up the TTCN Suite Environment
- Starting the TTCN Suite
- Creating a TTCN Test Suite Document
- Using the Browser
- Using the Table Editor
- Analyzing the Test Suite
- Saving a TTCN Test Suite Document
- Creating TTCN Tables in Other Ways
- Selecting Browser Items
- Generating Overview Tables
- Printing the Test Suite
- Creating Reports
- Exporting and Importing
- Replacing, Comparing and Merging
- So Far...

6. Tutorial: SDL and TTCN Integrated Simulator (W)

- Purpose of This Tutorial
- The Steps in a Test Session
- The Test System
- Setting Up a Simulation
- Performing the Simulation
- Taking a Look at the Log Window

7. Tutorial: SDL and TTCN Integrated Simulator (U)

- Purpose of This Tutorial
- The Steps in a Test Session
- The Test System
- Setting Up a Simulation
- Performing the Simulation
- The Execution Trace
- The Conformance Log

8. Tutorial: The TTCN Link

- Purpose of This Tutorial
- More about TTCN Link
- Taking a Look at the SDL System
- Generating a TTCN Link Executable
- Creating a Test Suite
- Creating a Simple Test Case
- Taking a Look at the SDL System (Again)
- So Far...

9. Tutorial: The Autolink Tool

- Purpose of This Tutorial
- Basics of Autolink
- Getting Ready to Use Autolink
- Exercise 1: Basic Concepts
- Exercise 2: Advanced Concepts
- Exercise 3: Test Generation with Tree Walk
- So Far...

User´s Manual

1. User Interface and Basic Operations

- Graphical Environments and Style Guides
- Constraints
- Application Windows
- General Menus
- General Menu Choices
- Defining Menus in the SDL Suite
- General Quick-Buttons
- The Drawing Area
- Dialog Windows
- Keyboard Operations
- References

2. The Organizer

- Overview
- Organizer User Interface
- Drawing Area
- Menu Bar
- Shortcuts
- Pop-Up Menus
- Keyboard Accelerators
- Quick Buttons
- Organizer Log Window
- System File
- Control Unit File
- Batch Facilities
- Windows and UNIX File Compatibility

3. The Preference Manager

- Preferences Manager User Interface
- Menu Bar
- Popup Menu
- Keyboard Accelerators
- Preference Files
- Preference Parameters
- Common Preferences
- The SDL Suite Specific Preferences

4. Managing Preferences

- Introduction
- How Preferences Are Managed
- Starting the Preference Manager
- Adjusting a Preference Parameter
- Customizing the On-Line Help
- Customizing User-Defined Preferences
- Customizing Company Preferences
- Customizing Project Preferences
- Locating the Preference Sources

5. Printing Documents and Diagrams

- General
- Printing Documents - Some Examples
- Default Scope of Print
- The Print Dialogs in the SDL Suite and in the Organizer
- The Print TTCN Dialog in the Organizer
- The Print Dialogs in the TTCN Suite
- Print Setup Dialogs
- Footer and Header Files
- Map File
- More Information on Output Formats
- Adding Printer Fonts (UNIX only)
- Advanced Print Facilities

6. The Text Editor

- Text Files
- State Overview Files and State Matrices
- Text Editor User Interface
- Text Area
- Menu Bar
- Pop-Up Menu
- Keyboard Accelerators

7. Emacs Integration

- Overview
- Installation
- Customizing
- Emacs Commands

8. MS Word Integration

- Overview
- Installation
- MS Word Menu Commands

9. Implinks and Endpoints

- Link Concepts and Overview
- Visualization of Endpoints and Links
- Tool Support and Operations
- Creating Links
- The Entity Dictionary
- Link Commands in the Tools Menus
- The Paste As Command
- Other Edit Commands
- The Link Manager
- The Link File

10. The PostMaster

- Introduction to the PostMaster
- PostMaster Reference
- Run-Time Considerations

11. The Public Interface

- General Concepts
- The Service Encapsulator
- Tool Services
- Notifications
- Auxiliary Messages

12. Using the Public Interface

- Introduction
- The Service Encapsulator
- Using the SDL Suite Services
- Using TTCN Suite Services
- Integrating Applications with SDL Simulators

13. The ASN.1 Utilities

- Introduction
- Using the ASN.1 Utilities
- Translation of ASN.1 to SDL
- Support for External ASN.1 in the TTCN Suite
- Error and Warning Messages
- Restrictions
- Appendix A: List of recognized keywords

14. The CPP2SDL Tool

- Introduction
- Executing CPP2SDL
- Import Specifications
- Source and Error References
- C/C++ to SDL Translation Rules
- Special Translation Rules for C Compilers
- SDL Library for Fundamental C/C++ Types
- Example usage of some C/C++ functionality
- Error Handling
- CPP2SDL Messages

15. CPP2SDL Migration Guide

- Introduction
- Reasons to Migrate
- Migration Guidelines

16. CIF Converter Tools

- Introduction
- CIF2SDT Converter Tool
- SDT2CIF Converter Tool

17. The Information Server

- General
- Information Server Error Messages

18. SDT References

- General
- Syntax
- Examples

19. Using OM Access

- OM Access
- General Concepts
- Files and Compiling
- Using OM Access Together with the SDL Suite
- Reference

20. Basic Compiling Theory

- Basic Compiling Theory
- The Compiler
- Lexical Analyzer
- Syntax Definition
- Syntax Analyzer
- Parse Trees
- Parsing
- Intermediate Code
- Code Generator
- The Phases of a Compiler
- Symbol Table Management
- Error Detection and Reporting

21. TTCN Access

- Introduction to TTCN Access
- TTCN Access and the TTCN Analyzer
- Example of TTCN Access Functionality
- Example of TTCN Access Usability
- TTCN Access in Relation to TTCN and ASN.1
- The TTCN Access Notation
- TTCN Access Primitives
- The AccessVisitor Class
- Common Class Definitions
- Getting Started with TTCN Access

22. Creating a TTCN Access Application

- TTCN Access
- General Concepts
- Examples
- Summary
- Solutions to the Examples

23. The TTCN Access Class Reference Manual

- Static and Table Nodes
- Parse Tree Nodes
- Terminal Nodes

24. The TTCN Browser (on UNIX)

- Introduction to the TTCN Browser
- The Browser User Interface
- Controlling the Items in the Browser
- Editing the TTCN Document Structure
- Opening a Table
- Printing a TTCN Document
- Requesting License Information
- Using Popup Menus
- Using More Complex Selections
- Searching and Replacing
- Presenting Status Information
- Comparing TTCN Documents
- Merging TTCN Documents
- Merging from MP Files
- Exporting a TTCN Document to TTCN-MP
- Importing a TTCN-MP Document
- Generating the Test Suite Overview Tables
- Crash Recovery
- Key and Button Bindings

25. The TTCN Table Editor (on UNIX)

- Introduction to the TTCN Table Editor
- Opening a Table
- Renaming a Table
- Navigating and Editing Text in a Table
- Editing Rows in a Table
- Searching and Replacing
- Exporting and Importing Objects
- Browsing in the Table Editor
- Generating Behaviour Statements
- Reverting a Table
- Creating a New Constraint Table
- Generating the Test Suite Overview Tables
- Using Popup Menus
- Key and Button Bindings

26. Analyzing TTCN Documents (on UNIX)

- The TTCN Analyzer
- TTCN Suite Preprocessor
- Finding Tables

27. The TTCN to C Compiler (on UNIX)

- Introduction to the TTCN to C Compiler
- Getting Started
- What Is Generated?
- TTCN Test Logs in MSC Format

28. The SDL and TTCN Integrated Simulator (U)

- The SDL and TTCN Integrated Simulator
- Performing a Integrated-Simulation
- Setting Up an SDL and TTCN Integrated Simulation
- The SDL and TTCN Integrated Simulator User Interface
- Managing Setup Documents
- Selecting Test Cases and Groups
- Executing a Test
- Viewing Documents
- The SDL and TTCN Integrated Simulator Editor
- Integrated-Simulation from command line
- Files Handled by the SDL and TTCN Integrated Simulator
- Information Messages
- Using the UI with an ETS
- Type Mappings in Integrated-Simulation

29. Customizing the TTCN Suite (on UNIX)

- Customizing the TTCN Suite
- How Resources Are Read
- Customizing Key and Button Bindings
- Other Customizations

30. Editing TTCN Documents (in Windows)

- Introduction to the TTCN Suite
- Using the Browser
- Editing Tables
- Creating Behaviour Lines
- Comparing TTCN Documents
- Merging TTCN Documents
- Viewing Log Information
- Finding and Sorting Tables
- Converting to TTCN-MP
- Converting to HTML
- Crash Recovery
- Shortcuts

31. Analyzing TTCN Documents (in Windows)

- Analyzing TTCN Documents
- TTCN Suite Preprocessor
- Finding Tables from the Analyzer Log

32. The TTCN to C Compiler (in Windows)

- Introduction to the TTCN to C Compiler
- Getting Started
- What Is Generated?
- TTCN Test Logs in MSC Format

33. The SDL and TTCN Integrated Simulator (W)

- The SDL and TTCN Integrated Simulator
- Performing an Integrated-Simulation with the SDL Suite
- The SDL and TTCN Integrated Simulator Operations
- Integrated-Simulation from command line
- Performing "batch mode" Integrated-Simulation
- Information Messages
- Troubleshooting
- Type Mappings in Integrated-Simulation

34. The TTCN Exerciser

- Introduction
- Functionality Overview
- Kernel Operation Modes
- PCOs
- Timers
- Test Suite Parameters
- Test Case Validation
- TTCN Exerciser Commands
- ISM Value Encoding

35. TTCN Test Suite Generation

- Introduction
- Using TTCN Link
- TTCN Link Commands in the TTCN Suite
- Using Autolink

36. Adaptation of Generated Code

- The GCI Interface
- GCI C Code Reference
- EGci Value Construction and Functions
- The Adaptation Framework
- Completing the Adaptation

37. Error Messages in the TTCN Suite

- Error Messages
- The Structure of Error Messages
- Additional Error Messages on Standard Error
- The Meaning of Error Messages

38. Languages Supported in the TTCN Suite

- The Restrictions in the TTCN Suite
- The TTCN-MP Syntax Productions in BNF
- The ASN1 Syntax Productions in BNF
- TTCN Static Semantics
- ASN.1 Static Semantics

39. Using Diagram Editors

- General
- The Editor User Interface and Basic Operations
- About Symbols and Lines
- Editing Text
- Menu Bars
- OM Editor Specific Information
- SC Editor Specific Information
- DP Editor Specific Information
- MSC Editor Specific Information
- Syntax Summary
- Comparing and Merging Diagrams
- Literature References

40. The Deployment Editor

- Introduction
- The Deployment Diagram
- Deployment Workflow

41. Editing MSC Diagrams

- General
- Compliance with ITU Z.120
- Basic Operations
- Managing MSCs
- Rearranging an MSC
- Managing Windows
- Selecting Objects
- Adding and Removing Objects
- Collapsing and Decomposing Diagrams
- Moving Objects
- Reconnecting Objects
- Resizing Objects
- Printing Objects

42. The UML2SDL Utility

- Setting Up the UML2SDL Utility
- Converting UML Diagrams
- Transformation Rules
- A Small Example

43. Using the SDL Editor

- General
- Compliance with ITU Z.100
- The SDL Editor User Interface and Basic Operations
- Working with Diagrams
- About Symbols and Lines
- Working with Symbols
- Working with Lines
- Working with Classes
- Working with Pages
- Working with Windows
- Editing Text
- Grammar Help and Signal Dictionary
- Menu Bars
- Page Editing Functions
- Comparing and Merging Diagrams
- GR to PR Conversion

44. Symbols and Lines - Quick Reference

- Symbols and Lines in DP Diagrams
- Symbols and Lines in HMSC Diagrams
- Symbols and Lines in MSC Diagrams
- Symbols and Lines in OM Diagrams
- Symbols and Lines in SC Diagrams
- Symbols and Lines in SDL Diagrams

45. The SDL Type Viewer

- Objects and Windows
- Main Window
- Tree Window

46. The SDL Index Viewer

- Entities and Windows
- Index Viewer Window

47. The SDL Coverage Viewer

- Coverage Viewer Windows
- The Main Window
- Coverage Details Window

48. Complexity Measurements

- General
- Complexity Numbers

49. The SDL Simulator

- The Simulator Monitor
- Syntax of Monitor Commands
- Input and Output of Data Types
- Monitor Commands
- Traces
- Dynamic Errors
- Graphical User Interface
- Restrictions

50. Simulating a System

- Structure of a Simulator
- Generating and Starting a Simulator
- Issuing Monitor Commands
- Customizing the Simulator UI
- Tracing the Execution
- Executing a Simulator
- Examining the System
- Managing Breakpoints
- Sending Signals from the Environment
- Logging the Execution
- Modifying the System
- Exiting a Simulator

51. Remote Target Simulation

- Target Simulation

52. The SDL Explorer

- The SDL Explorer Monitor
- Monitor Commands
- Graphical User Interface
- Rules Checked During Exploration
- User-Defined Rules
- Autolink Configuration Syntax
- State Space Files
- Restrictions

53. Validating a System

- Introduction
- Underlying Principles and Terms
- Generating and Starting an SDL Explorer
- The SDL Explorer User Interface
- Navigating in the State Space
- Going to a System State
- Tracing, Logging and Viewing Facilities
- Performing Automatic State Space Explorations
- Validating an SDL System
- Validating Large Systems
- Verifying an MSC
- Using Observer Processes
- Defining Signals from the Environment
- Validating Systems That Use the Ref Generator
- Validating Systems with External C Code
- Using User-Defined Rules
- Using Assertions
- Configuring the SDL Explorer
- References

54. The SDL Analyzer

- The Analyzer User Interfaces
- Starting the Analyzer
- Environment Variables
- Syntax of Analyzer Commands
- Description of Analyzer Commands
- Conversion to PR
- The Macro Expander
- The Lexical and Syntactic Analyzer
- Separate Analysis
- Including PR Files
- The PR to GR Converter
- SDL Cross-References
- SDL Instance Information
- Error Handling
- Analyzer Files
- Error and Warning Messages

55. Analyzing a System

- General Description
- Using the Analyzer

56. The Cadvanced/Cbasic SDL to C Compiler

- Introduction
- Generating a C Program
- Features
- Implementation
- Abstract Data Types
- Directives to the Cadvanced/Cbasic SDL to C Compiler
- Using Cadvanced/Cbasic SDL to C Compiler to Generate C++
- Restrictions
- Migration Guide for Generic Functions

57. Building an Application

- Introduction
- Reference Section
- Example Section
- Appendix A: Formats for ASCII
- Appendix B: User defined ASCII encoding and decoding
- Appendix C: The SDL System
- Appendix D: The Environment Functions

58. ASN.1 Encoding and De-coding in the SDL Suite

- Introduction
- Basic Concept
- Solution
- Encoding and Decoding Functionality
- Buffer Management System
- Memory Management System
- Error Management System
- User Data
- Printing Opportunities
- Structure and Configuration

59. The Targeting Expert

- Introduction
- The Graphical User Interface
- Interactive Mode
- Targeting Work Flow
- Batch Mode
- Internal
- External Makefile Generator
- Utilities
- FAQs

60. SDL C Compiler Driver (SCCD)

- Introduction
- Syntax for Invoking
- Return Codes
- Actions Performed by SCCD
- Configuration File
- C Beautifier

61. The Master Library

- Introduction
- File Structure
- The Symbol Table
- The SDL Model
- Allocating Dynamic Memory
- Compilation Switches
- Creating a New Library
- Adaptation to Compilers
- List of All Compilation Switches

62. The ADT Library

- General
- Integration with C Data Types
- Abstract Data Type for File Manipulations and I/O
- Abstract Data Type for Random Numbers
- Abstract Data Types for List Processing
- Abstract Data Type for Byte
- Unsigned (and Similar) Types
- How to Obtain PId Literals
- General Purpose Operators
- Summary of Restrictions

63. The Performance Library

- A Performance Simulation Project
- The Performance Model
- Implementation of the Model

64. Integration with Operating Systems

- Introduction
- Common Features
- Light Integration
- Threaded Integration
- Tight Integration
- Limitations for Integrations
- A Simple Example
- Tight Integration Code Reference
- Annex 1: Integration for OSE Delta
- Annex 2: Integration for VxWorks
- Annex 3: Integration for Win32
- Annex 4: Integration for Solaris
- Annex 5: Generic POSIX Tight Integration
- Annex 6: Building a Threaded Integration

65. The Cmicro SDL to C Compiler

- Application Area for the Cmicro SDL to C Compiler
- Overview of the Cmicro SDL to C Compiler
- Generated Files
- Implementation
- Abstract Data Types
- Exceptions for Directives
- Output of Code Generation
- Symbol Table File
- Generation of Identifiers
- SDL Restrictions

66. The Cmicro Library

- Introduction
- Differences between Cmicro and Cadvanced
- The SDL Scheduler Concepts
- Targeting using the Cmicro Package
- Compilation Flags
- Adaptation to Compilers
- Bare Integration
- Light Integration
- File Structure
- Functions of the Basic Cmicro Kernel
- Functions of the Expanded Cmicro Kernel
- Technical Details for Memory Estimations

67. The SDL Target Tester

- Introduction
- The SDL Target Tester - An Overview
- Using the SDL Target Tester's Host
- SDL Target Tester Commands
- Graphical User Interface
- The Target Library
- Connection of Host and Target
- More Technical Descriptions
- Utility Functions
- Trouble-Shooting

68. Cextreme Code Generator Reference

- File Structure
- Environment Functions
- Compile and Link an Application
- Integration with Compiler and Operating System
- Optimization and Configuration
- Overview of Important Data Structures

69. SOMT Introduction

- Background
- Overview of the SOMT Method
- Scope of the SOMT Method
- Requirements Analysis
- System Analysis
- System Design
- Object Design
- Implementation
- Summary
- References

70. SOMT Concepts and Notations

- Activities, Models and Modules
- Implinks and the Paste As Concept
- Consistency Checking
- Object Model Notation
- State Chart Notation
- Message Sequence Charts
- SDL
- TTCN
- ASN.1

71. Requirements Analysis

- Requirements Analysis Overview
- Textual Requirements
- Data Dictionary
- Use Cases
- Requirements Object Model
- System Operations
- Consistency Checks
- Summary

72. System Analysis

- System Analysis Overview
- Analysis Object Model
- Analysis Use Case Model
- Textual Analysis Documentation
- Requirements Traceability
- Consistency Checks
- Summary

73. From Analysis to Design

- From Analysis to Design - Overview
- Analysis vs. Design
- Active vs. Passive Objects
- Reuse Issues in the Design Models
- Mapping Object Models to SDL
- Summary

74. System Design

- System Design Overview
- Architecture Definition
- Design Module Structure
- Deployment Description
- Static Interface Definitions Using SDL
- Mapping Object Models to SDL Interface Definitions
- Design Use Case Model
- Textual Design Documentation
- Consistency Checks
- Summary

75. Object Design

- Object Design Overview
- Mapping Object Models to SDL Design Models
- Describing Object Behavior
- Design Testing
- Consistency Checks
- Summary

76. SOMT Implementation

- Implementation
- Partitioning an SDL System
- Adaptation
- Integration
- C Code Generation
- Testing
- Summary

77. SOMT Projects

- SOMT Projects
- Prestudy/Conceptualization Phase
- Requirements Analysis Phase
- System Analysis Phase
- System Design Phase
- Design/Implementation Phase
- The Elaboration Phase
- Summary

78. SOMT Tutorial

- Introduction
- Preparing the Documentation Structure
- Identifying the Requirements
- Performing the System Analysis
- Performing the System Design
- Performing the Object Design
- Implementation
- Performing an Iteration
- To Conclude...

Menu Choice Index


Installation Guide

Release Guide

SDL Suite Methodology Guide

TTCN Suite Methodology Guide

SDL Suite Getting Started

TTCN Suite Getting Started

User’s Manual