Process Based Service Composition and Verification

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.