By Topic

Message Sequence Charts to Specify the Communicating Threads for Concurrent Discrete Wavelet Transform Based Image Compression and a Verification Analysis

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Talukder, K.H. ; Dept. of Inf. Eng., Hiroshima Univ., Hiroshima ; Harada, K.

Message sequence charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, to move towards an implementation, an executable specifications related in some fashion to the MSC-based requirements must be obtained. The MSCs can be used effectively to specify the communicating threads in the way where high-level transition systems is used to capture the control flow of the system components and MSCs to describe the non-atomic component interactions. This specification is amenable to formal verification. We present the way how to specify the communicating threads using MSCs and how to verify the correctness of the concurrent wavelet transform used for image compression. Symbolic model verifier (SMV) is used for formal verification. Firstly, the use of wavelet transform for image compression is presented. Secondly, the MSC based specification is presented. Thirdly, the concurrency in the threads for concurrent wavelet transform along with the grammar of the syntax formulated is accessed. Finally, we present the verification result of the system using the SMV program.

Published in:

Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008. SNPD '08. Ninth ACIS International Conference on

Date of Conference:

6-8 Aug. 2008