Login | Register

Automatic generation of SDL specifications from MSCs


Automatic generation of SDL specifications from MSCs

Abdalla, Mohamed Musa (1999) Automatic generation of SDL specifications from MSCs. Masters thesis, Concordia University.

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


Software systems go through different phases during their life cycle. From user requirements to the deployment and maintenance, a software system goes through design, implementation and testing phases. The time for developing software systems is crucial. The goal of software teams is to shorten the development time and guarantee the quality of the end product. Formal Description Techniques (FDTs) has been used in the development cycle to provide clear, correct and unambiguous specifications throughout the phases in order to achieve this goal. In order to speed up the development cycle and to guarantee the correctness of the design, we devise and implement an approach for generating SDL (Specification and Description Language) design specifications from requirement specifications given as a set of MSCs (Message Sequence Charts) and a target SDL architecture. Our approach handles MSC'96, except the parallel operators. Our approach bridges the gap between requirements and design and guarantees the quality of the design. The generated SDL design specification is free of any design error, such as deadlocks or unspecified receptions, and conforms to the MSC requirements specification.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Abdalla, Mohamed Musa
Pagination:xv, 129 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 D47A23 1999
ID Code:985
Deposited By: Concordia University Library
Deposited On:27 Aug 2009 17:15
Last Modified:13 Jul 2020 19:48
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