Breadcrumb

 
 

Automatic generation of SDL specifications from MSCs

Title:

Automatic generation of SDL specifications from MSCs

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

[img]
Preview
PDF
4030Kb

Abstract

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 > Faculty 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:Theses (M.A.Sc.)
Program:Electrical and Computer Engineering
Date:1999
Thesis Supervisor(s):Khendek, Ferhat
ID Code:985
Deposited By:Concordia University Libraries
Deposited On:27 Aug 2009 13:15
Last Modified:08 Dec 2010 10:17
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