EWU Institutional Repository

Process Based Service Composition and Verification

Show simple item record

dc.contributor.author Afreen, Ashika
dc.contributor.author Laila, Nowshin
dc.contributor.author Islam, Md Sathil
dc.date.accessioned 2017-10-03T06:16:19Z
dc.date.available 2017-10-03T06:16:19Z
dc.date.issued 4/17/2017
dc.identifier.uri http://dspace.ewubd.edu/handle/2525/2330
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 A platform-independent software component available in the distributed environment of the Internet is titled as Web service. Many Business organizations are publishing their applications functionalities on the web. A web service has a limited functionality alone. So to support business to business interactions it is a crying need to aggregate web services and assembled them in a goal oriented interface. To provide atomicity to a transaction where multiple partners are involved handling faults are both difficult and critical. A possible solution of the problem would be that the system designer can provide a mechanism to compensate the actions that cannot be undone automatically. In this project we have composed a car broker system and implemented a compensation mechanism that will compensate all services from their point of cancelation. We have modeled the service choreography in FSP and used LTSA tool to animate the transitions. Every model should be verified before implementation, we tried to verify the system composition using property processes available in FSP. en_US
dc.language.iso en_US en_US
dc.publisher East West University en_US
dc.relation.ispartofseries ;00112CSE
dc.subject Process Based Service Composition and Verification en_US
dc.title Process Based Service Composition and Verification 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