Abdalla, Mohamed Musa (1999) Automatic generation of SDL specifications from MSCs. Masters thesis, Concordia University.
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.|
|Degree Name:||Theses (M.A.Sc.)|
|Program:||Electrical and Computer Engineering|
|Thesis Supervisor(s):||Khendek, Ferhat|
|Deposited By:||Concordia University Libraries|
|Deposited On:||27 Aug 2009 13:15|
|Last Modified:||08 Dec 2010 10:17|
Repository Staff Only: item control page