Login | Register

Time inconsistency analysis and correction for MSC-2000 specifications


Time inconsistency analysis and correction for MSC-2000 specifications

Wang, LiXin (2005) Time inconsistency analysis and correction for MSC-2000 specifications. Masters thesis, Concordia University.

[thumbnail of MR10254.pdf]
Text (application/pdf)
MR10254.pdf - Accepted Version


Message Sequence Charts (MSC) plays an important role in the software life cycle. It is widely used in the requirements, design, and test phases for different purposes. Therefore, it is crucial to insure the correctness of MSC specifications. For that, one has to validate these MSC specifications as early as possible in the development cycle. An important aspect of MSC-2000 specifications correctness is time consistency, including absolute and relative time constraints. The time consistency of Basic MSCs (bMSCs) and High Level MSCs (HMSCs) has been investigated in the last few years. However, a very little effort and research have been devoted for the purpose of investigation and diagnosis of causes of inconsistencies, and also strategies to correct these inconsistencies. This thesis focuses on the consistency checking of MSCs, analyzes and categorizes the causes of time inconsistencies, and provides solutions to correct time inconsistencies. For bMSCs, we classify partial order, propose solutions to identify inconsistency, and provide four correction policies for the different types of inconsistencies. For HMSCs, we decompose them into different simple paths, provide checking algorithms based on the type of the simple paths, and use different correction strategies for these inconsistent paths. Our approach helps MSC developers to insure the correctness of MSC specifications, thereby improving its quality and also that of the resulting software. A tool, called MSCTICC, implementing our algorithms has been developed and assessed in this thesis.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Wang, LiXin
Pagination:xii, 112 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Electrical and Computer Engineering
Thesis Supervisor(s):Khendek, Ferhat
Identification Number:LE 3 C66E44M 2005 W365
ID Code:8532
Deposited By: Concordia University Library
Deposited On:18 Aug 2011 18:27
Last Modified:13 Jul 2020 20:04
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