Downloads: 114
Jordan | Software Engineering | Volume 7 Issue 7, July 2018 | Pages: 1472 - 1483
Service Composition Formal Techniques in Service Oriented Architecture: A Survey
Abstract: 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.
Keywords: Service Oriented Architecture, Service Composition, SOA, Formal Service Composition Techniques, Process Algebra Service Composition and Automated Service Composition
Rating submitted successfully!
Received Comments
No approved comments available.