Breadcrumb

 
 

Automated enrichment of SDL specifications with MSCs

Title:

Automated enrichment of SDL specifications with MSCs

Waqar, Muhammad Umer (2001) Automated enrichment of SDL specifications with MSCs. Masters thesis, Concordia University.

[img]
Preview
PDF
3099Kb

Abstract

Formal methods and Formal Description Techniques (FDT) are becoming more and more important for developing complex real-time and distributed systems. Message Sequence Charts (MSC) and Specification and Description Language (SDL) are standardized FDTs for specification of telecommunication protocols in particular and distributed systems in general. We present an automated approach for enriching an SDL specification with MSC. This approach can be used for incremental development with SDL and MSC or for maintenance of a system in SDL. Enrichment of SDL with MSC involves enrichment of SDL architecture and behavior. Our automated approach consists of three interconnected steps i.e. pre-phase, MSC2SDL phase and post-phase . In the pre-phase SDL architecture is enriched using new MSC. We give algorithms for enriching SDL architecture using MSC. MSC2SDL phase generates new SDL behavior using new MSC and enriched architecture. This phase uses MSC2SDL tool. Finally, the post-phase merges old and new SDL behavior to get enriched SDL. We have developed 14 rules of behavioral merger based upon a formal extension relation which guarantees to preserve all the old behavior and prevents introduction of new non-determinism in the enriched specifications. Furthermore, we have developed tools for pre-phase and post-phase and they have been connected with MSC2SDL tool to get a tool set for automated enrichment.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Waqar, Muhammad Umer
Pagination:xii, 107 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:Theses (M.A.Sc.)
Program:Electrical and Computer Engineering
Date:2001
Thesis Supervisor(s):Khendek, Ferhat
ID Code:1634
Deposited By:Concordia University Libraries
Deposited On:27 Aug 2009 13:21
Last Modified:08 Dec 2010 10:21
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

Document Downloads

More statistics for this item...

Concordia University - Footer