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: 261

Survey Paper | Software Engineering | Jordan | Volume 7 Issue 7, July 2018 | Popularity: 6.4 / 10


     

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



Make Sure to Disable the Pop-Up Blocker of Web Browser




Text copied to Clipboard!
Amjad Hudaib, Katrina Sundus, Sandi N. Fakhouri, "Service Composition Formal Techniques in Service Oriented Architecture: A Survey", International Journal of Science and Research (IJSR), Volume 7 Issue 7, July 2018, pp. 1472-1483, https://www.ijsr.net/getabstract.php?paperid=ART2019322, DOI: https://www.doi.org/10.21275/ART2019322