1. Chapter 6
SDL – Procedures
Winter 2007
SEG2101 Chapter 6

2. 6.3: Procedure
Winter 2007
SEG2101 Chapter 6

3. Procedure GetPIN
Winter 2007
SEG2101 Chapter 6

4. Procedure Validate
Winter 2007
SEG2101 Chapter 6

5. Procedure Symbol Procedure (declaration) symbol
Procedure is scope unit
Winter 2007
SEG2101 Chapter 6

6. Procedure Call Symbol
A procedure call symbol has one and only one entrance and one and only one exit.
Winter 2007
SEG2101 Chapter 6

7. Procedure Heading
FPAR
IN/OUT IN
RETURNS
Winter 2007
SEG2101 Chapter 6

8. Procedure Start and Return Symbols
Winter 2007
SEG2101 Chapter 6

9. 6.5: Value Returning Procedures
Winter 2007
SEG2101 Chapter 6

10. Calling Value Returning Procedure
Winter 2007
SEG2101 Chapter 6

11. Winter 2007
SEG2101 Chapter 6

12. Winter 2007
SEG2101 Chapter 6

13. 6.6: Remote Procedures
Procedures are behavior patterns defined within a process.
The process could perform procedures upon requests from other processes.
remote procedure
Winter 2007
SEG2101 Chapter 6

14. Remote Procedure (II) REMOTE EXPORTED IMPORTED PROCEDURE (save)
p is not served when p1 is in s2
p is served when p1 is in s1
Winter 2007
SEG2101 Chapter 6

15. 6.7: SDL Symbol Summary
Winter 2007
SEG2101 Chapter 6