International Journal of Science and Research (IJSR)

International Journal of Science and Research (IJSR)
Call for Papers | Fully Refereed | Open Access | Double Blind Peer Reviewed

ISSN: 2319-7064


Downloads: 114 | Views: 180

Survey Paper | Software Engineering | Jordan | Volume 7 Issue 7, July 2018


Service Composition Formal Techniques in Service Oriented Architecture: A Survey

Amjad Hudaib | Katrina Sundus | Sandi N. Fakhouri


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


Edition: Volume 7 Issue 7, July 2018,


Pages: 1472 - 1483


How to Download this Article?

Type Your Valid Email Address below to Receive the Article PDF Link


Verification Code will appear in 2 Seconds ... Wait

Top