IBM
Contents Index Previous Next



Analyzing the Complete System


What You Will Learn

Enabling Semantic Analysis

To analyze the system, you should also enable the semantic checker. To do this:

  1. Select the system diagram icon.
  2. Use the Analyze command from the Generate menu.
  3. Adjust the analyzer options according to the picture below:

Figure 77 : Including semantic analysis

  1. Click the Analyze button.
  2. When the Organizer status bar reads "Analyzer done", look at the Organizer Log for any errors reported by the Analyzer.
  3. If required, correct the errors and repeat the procedure. How to locate errors in the source SDL diagrams was described in a previous exercise, see "Looking for Analysis Errors" on page 76 and "Correcting Analysis Errors" on page 77.
  4. The tail of the Organizer log should contain the following output when the system is syntactically and semantically correct:
    + Analysis started
    
    Conversion of SDL to PR started
    
    Conversion to PR completed
    
    Syntactic analysis started
    
    Syntactic analysis completed
    
    Semantic analysis started
    
    Semantic analysis completed
    
    + Analysis completed
    

Terminate this exercise by saving everything. You may also want to print the diagrams again (see "Printing the System" on page 109 for how to do this).


http://www.ibm.com/rational
Contents Index Previous Next