Login | Register

Techniques for specification and validation of complex protocols

Title:

Techniques for specification and validation of complex protocols

Ewanchyna, Theodore J (1996) Techniques for specification and validation of complex protocols. Masters thesis, Concordia University.

[thumbnail of MQ26014.pdf]
Preview
Text (application/pdf)
MQ26014.pdf
5MB

Abstract

Simple protocols can be described with natural language and pictures. This description is no longer adequate as protocols become more complex, or more people get involved. Formal Description Techniques (FDTs) have been developed to convey this information clearly and unambiguously (and as a basis for correctness verification) but FDT-based specifications tend to be long and hard to follow. In order to help the user understand and use complex protocols, we have integrated informal graphical techniques with the current formal techniques. We have developed an approach for the generation of pictures directly from formal models

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Ewanchyna, Theodore J
Pagination:xii, 150 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science and Software Engineering
Date:1996
Thesis Supervisor(s):Atwood, J. W
Identification Number:TK 5105.55 E93 1996
ID Code:177
Deposited By: Concordia University Library
Deposited On:27 Aug 2009 17:10
Last Modified:13 Jul 2020 19:45
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top