EWU Institutional Repository

Verification of Web Service Composition Using “SPIN”

Show simple item record

dc.contributor.author Hasan, Mohammad Mohibul
dc.contributor.author Akhunji, Abdur Razzaq
dc.date.accessioned 2016-11-24T05:37:25Z
dc.date.available 2016-11-24T05:37:25Z
dc.date.issued 9/12/2015
dc.identifier.uri http://dspace.ewubd.edu/handle/2525/1972
dc.description This thesis submitted in partial fulfillment of the requirements for the degree of Bachelor of Science in Computer Science and Engineering of East West University, Dhaka, Bangladesh en_US
dc.description.abstract Web service composition and its verification is an important part to get an error free web service. In a web service there are huge business transaction occurs. Sometimes in business transaction, it needs to deal with faults that can arise in any stage of transaction. So always roll back mechanism is not possible to solve this problem. In order to achieve a common business goal, the protocol of interaction must be correct. In this project we have established a Broker system and encode this overall model into PROMELA (Model checking Language). For verify this model we also have used linear temporal logic and convert it to never claim property to verify this model accuracy. If any oversight happened then a compensation mechanism has been used to handle the situation. en_US
dc.language.iso en_US en_US
dc.publisher East West University en_US
dc.relation.ispartofseries ;CSE00028
dc.subject PROMELA (Model checking Language), Web Service Composition, SPIN en_US
dc.title Verification of Web Service Composition Using “SPIN” en_US
dc.type Thesis en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account