Login | Register

Automated enrichment of SDL specifications with MSCs


Automated enrichment of SDL specifications with MSCs

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

[thumbnail of MQ68446.pdf]
Text (application/pdf)


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 > Gina Cody School 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:M.A. Sc.
Program:Electrical and Computer Engineering
Thesis Supervisor(s):Khendek, Ferhat
Identification Number:QA 76.76 D47W37 2001
ID Code:1634
Deposited By: Concordia University Library
Deposited On:27 Aug 2009 17:21
Last Modified:13 Jul 2020 19:50
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