SPIN Based Verification Of Service Composition and Compensation

Simple item page
dc.contributor.authorEka, Nusrat Jahan
dc.contributor.authorSultan, Tasneem Jannat
dc.contributor.authorNawal, Nuzat
dc.date.accessioned2017-10-03T06:35:10Z
dc.date.available2017-10-03T06:35:10Z
dc.date.issued4/17/2017
dc.descriptionThis 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.
dc.description.abstractIn 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.
dc.identifier.otherhttp://dspace.ewubd.edu:8080/handle/123456789/2331
dc.identifier.urihttp://dspace.ewubd.edu/handle/2525/2331
dc.language.isoen_US
dc.publisherEast West University
dc.sourceEast West University Institutional Repository
dc.subjectSPIN Based Verification Of Service Composition and Compensation
dc.titleSPIN Based Verification Of Service Composition and Compensation
dc.typeThesis

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Nusrat_Jahan_Eka.pdf
Size:
725.9 KB
Format:
Adobe Portable Document Format
Download

Collections

Thesis 2017