SPIN Based Veriﬁcation Of Service Composition and Compensation

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 diﬃculties in the terms of transactions. To provide a good web service, it’s composition needs to get veriﬁed and those diﬃculties 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 veriﬁed this through the LTL veriﬁcations 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 Veriﬁcation Of Service Composition and Compensation	en_US
dc.title	SPIN Based Veriﬁcation Of Service Composition and Compensation	en_US
dc.type	Thesis	en_US