Service Composition Formal Techniques in Service Oriented Architecture: A Survey

Service-Oriented Architecture (SOA) is a special kind of software design where services are provided to the other components by application components, via a network communication protocols. Service-oriented architecture can be implemented with Web services. SOA simplify a loosely coupled structure in a heterogeneous structure manner that enables the contribution of different business enterprises to develop the web service composition approaches together. The web service composition is an operation of combining several different web services together to accomplish certain business process that could be from different enterprises. In this paper, we presented different service composition existing formal techniques in service oriented architecture to classify them according to automated based web service composition techniques, algebra based web service composition techniques and other techniques with the verification and validation of their behavior in a survey manner.