Telelogic Tau 3.5

ORCA and SDT Getting Started

Part 2:   Chapter 6-- 10

Table of Contents 

6. Tutorial: Applying SDL-92 to the DemonGame      233

• Purpose of This Tutorial      234
• Applying SDL-92 to the DemonGame      235
• Some Preparatory Work      235
• Creating a Process Type from a Process      239
• What You Will Learn      239
• Changing into a Process Type      239
• Inserting Gates and Virtual Transitions      242
• The Organizer Structure      244
• Redefining the Properties of a Process Type      245
• What You Will Learn      245
• The Process Type JackpotGame      245
• Changes to the Block GameBlock      247
• Changes to Process Main and System DemonGame      248
• Simulating the JackpotGame      249
• Adding Properties to a Process Type      251
• What You Will Learn      251
• The Process Type DoubleGame      251
• Simulating the DoubleGame      254
• Combining the Properties of Two Process Types      255
• What You Will Learn      255
• Working with the Type Viewer      255
• How to Work-Around the Lack for Multiple Inheritance      257
• Using Packages and Block Types      260
• What You Will Learn      260
• Package -- A Reusable Component      260
• Creating a Package      261
• Using a Package      264
• Reusing Packages      265
• What You will Learn      265
• The Package AdvancedFeatures      266
• Block Type AdvancedGameBlock      267
• Redefined Process Type Main      268
• Creating the System AdvancedDemonGame      269
• Conclusion      270
• More Exercises ...      270
• Appendix: Diagrams for the DemonGame Using Packages      271

7. Tutorial: The Object Oriented Tools      273

• Purpose of This Tutorial      274
• Working with the Text Editor      275
• What You Will Learn      275
• Starting the Text Editor      275
• Collecting Requirements      277
• Creating Endpoints      277
• Using OM Classes      278
• Working with the OM Editor      279
• What You Will Learn      279
• Starting the OM Editor      279
• Using the Paste As Concept      280
• Automatic Creation of Endpoints      282
• Traceability of Links      283
• Textual Syntax Check      283
• Line Handling      285
• Line Details      287
• Attributes and Operations      288
• The OM Class Diagram Symbols      289
• Class Entity vs. Class Symbol      289
• The Browse&Edit Class Dialog      290
• Using the OM and SDL Editors      294
• What You Will Learn      294
• Paste As into SDL Editor      294
• Conclusion      296

8. SOMT Tutorial      297

• Introduction      298
• Purpose of This Tutorial      298
• Required Skills      299
• Preparations      299
• Preparing the Documentation Structure      300
• What You Will Learn      300
• Introduction to the Exercise      300
• Deleting Unwanted Chapters      300
• Adding New Chapters      302
• Adding the Organizer Modules      303
• Identifying the Requirements      305
• What You Will Learn      305
• Introduction to the Exercise      306
• Preparing the Exercise      306
• Studying the Textual Requirements      307
• Creating the Data Dictionary      310
• Creating the Use Case Model      312
• Creating the Requirements Object Model      323
• Entity Match      327
• Creating Implinks      329
• Summary      331
• Performing the System Analysis      332
• What You Will Learn      332
• Introduction to the Exercise      333
• Preparing the Exercise      333
• Creating the Analysis Object Model      334
• Creating the Analysis Use Case Model      342
• Requirements Traceability      347
• Summary      350
• Performing the System Design      351
• What You Will Learn      351
• Introduction to the Exercise      352
• Preparing the Exercise      352
• Design Module Structure      353
• Creating the Architecture Definition      354
• Creating the Design Use Case Model      368
• Consistency Checks      370
• Summary      372
• Performing the Object Design      373
• What You Will Learn      373
• Introduction to the Exercise      374
• Preparing the Exercise      374
• Mapping Active Objects to SDL      374
• Defining the Object Behavior      379
• Design Testing      384
• Consistency Checks      386
• Summary      388
• Implementation      389
• Performing an Iteration      390
• What You Will Learn      390
• Introduction to the Exercise      390
• Preparing the Exercise      390
• Studying the Additional Requirements      391
• Examining the Consequences      391
• Introducing Changes in Documents      393
• To Conclude ...      399

9. CORBA Tutorial      401

• Introduction      402
• Purpose of This Tutorial      402
• Required Skills      403
• Preparations      403
• The Tutorial System      404
• Looking at the System to be Created      405
• Opening the SDL System      405
• The Analysis Object Model      405
• Creating the Interface Description      408
• The Distributed System      408
• Creating the Interface Description Files      408
• Mapping Object Models to IDL      410
• Completing the Interface Description      413
• Creating the Architecture Definition      417
• Opening the SDL System      417
• Creating the External SDL Interface Definitions      417
• Mapping Object Models to SDL Concepts      423
• Connecting Process Instances      424
• Providing the Behavior      427
• Opening the SDL System      427
• Creating the Object Design Model      427
• Checking the Created SDL System      429
• The Implementation      430
• Opening the SDL System      430
• Creating the Object Implementation      430
• Registering and Running the Application      433
• Open the SDL System      433
• Interacting with Orbix      433
• Registering the Application      434
• The C++ Server Application      434
• The C++ Client Application      434

10. Cmicro Targeting Tutorial      435

• Prerequisites / Abbreviations Used      436
• Introduction      437
• Parts of This Tutorial      437
• The Kind of Integration Used in This Tutorial      437
• Prerequisites to the First Example      438
• The AccessControl System      438
• Delivered Files      439
• Generating the Executable      441
• Generating Files for the Bodybuilder      441
• Configuring the Cmicro Library and the Cmicro Tester      442
• Compiling and Linking the Program      443
• Use of the Cmicro Tester      445
• Differences between SDT Simulator and Cmicro Tester      445
• Restrictions in This Tutorial      445
• Restriction in the Use of Commands      446
• Testing the Access System with the Cmicro Tester      446
• Running the Cmicro Tester      446
• CmicroTester Commands      447
• Creating Your Own Target System      449
• Prerequisites      449
• The SDL System Calcul      451
• Template Files      454
• Configuring with the Bodybuilder      455
• Generated Files      456
• Environment Functions (env.c)      457
• Sending Signals into the SDL System      457
• Receiving Signals from the System      462
• Initializing and Closing the Environment      464
• The System Without Cmicro Tester      465
• Making of <systemname>.exe      465
• Execution of the System      467
• Debugging and Testing the System with the Cmicro Tester      468
• Prerequisites      468
• Configure the Target with the Bodybuilder      469
• Making <systemname>.exe with the Cmicro Tester Extension      471
• Execution with the Cmicro Tester      471
• Summary      473