Ghodrat, Morteza (1995) Specification and verification of the Service Specific Connection Oriented Protocol. Masters thesis, Concordia University.
Preview |
Text (application/pdf)
2MBMQ26015.pdf |
Abstract
To permit negotiation of connections over the Asynchronous Transfer Mode, a signaling function is required. This signaling function, in turn, makes use of an assured data delivery service. This service is provided by the Service Specific Connection Oriented Protocol (SSCOP), which resides in the ATM Adaptation Layer (AAL). A specification of the SSCOP has been developed in Estelle. In addition, testing modules representing the action of the user, the action of the management entity and the fault module of the underlying unassured data delivery service have been developed.
| Divisions: | Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering |
|---|---|
| Item Type: | Thesis (Masters) |
| Authors: | Ghodrat, Morteza |
| Pagination: | xiii, 114 leaves ; 29 cm. |
| Institution: | Concordia University |
| Degree Name: | M. Comp. Sc. |
| Program: | Computer Science and Software Engineering |
| Date: | 1995 |
| Thesis Supervisor(s): | Atwood, J. W. |
| Identification Number: | TK 5105.55 G48 1995 |
| ID Code: | 187 |
| Deposited By: | Concordia University Library |
| Deposited On: | 27 Aug 2009 17:10 |
| Last Modified: | 13 Jul 2020 19:45 |
| Related URLs: |
Repository Staff Only: item control page
Download Statistics
Download Statistics