EWU Institutional Repository

SPIN Based Verification Of Service Composition and Compensation

Show simple item record

dc.contributor.author Eka, Nusrat Jahan
dc.contributor.author Sultan, Tasneem Jannat
dc.contributor.author Nawal, Nuzat
dc.date.accessioned 2017-10-03T06:35:10Z
dc.date.available 2017-10-03T06:35:10Z
dc.date.issued 4/17/2017
dc.identifier.uri http://dspace.ewubd.edu/handle/2525/2331
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 In a web service, there occur business transactions. Sometimes there may occur some sorts of difficulties in the terms of transactions. To provide a good web service, it’s composition needs to get verified and those difficulties need to get handled. And so our motivation is to verify composition and compensation of the web service. We have used car broker web service as our composition to verify and compensate the web service to provide a good web service. And so we have composed and compensated this service and verified this through the LTL verifications using PROMELA language in SPIN tool. en_US
dc.language.iso en_US en_US
dc.publisher East West University en_US
dc.relation.ispartofseries ;00113CSE
dc.subject SPIN Based Verification Of Service Composition and Compensation en_US
dc.title SPIN Based Verification Of Service Composition and Compensation 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


Browse

My Account