The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Realizability Analysis of Top-Down Web Service Composition Specifications
|
|
Author(s): Xiang Fu (Georgia Southwestern State University, USA), Tevfik Bultan (University of California – Santa Barbara, USA)and Jianwen Su (University of California – Santa Barbara, USA)
Copyright: 2008
Pages: 33
Source title:
Web Services Research and Practices
Source Author(s)/Editor(s): Liang-Jie Zhang (Shenzhen University, China)
DOI: 10.4018/978-1-59904-904-5.ch003
Purchase
|
Abstract
A conversation protocol specifies the desired global behaviors of a Web service composition in a top-down fashion. Before implementing a conversation protocol, its realizability has to be determined—that is, can a bottom-up Web service composition be synthesized so that it generates exactly the same set of conversations as specified by the protocol? This chapter presents three sufficient conditions to restrict control flows of a conversation protocol for achieving realizability. The model is further extended to include data semantics of Web services into consideration. To overcome the state-space explosion problem, symbolic analysis techniques are used for improving the accuracy of analysis. The realizability analysis can effectively reduce the complexity of verifying Web services with asynchronous communication.
Related Content
|
Mohib Ullah, Arbab Waseem Abbas, Lala Rukh, Kamran Ullah, Muhammad Inam Ul Haq.
© 2023.
25 pages.
|
|
Rafi Ullah Khan, Mohib Ullah, Bushra Shafi, Imran Ihsan.
© 2023.
20 pages.
|
|
Rafi Ullah Khan, Mohib Ullah, Bushra Shafi.
© 2023.
17 pages.
|
|
Shaukat Ali, Shah Khusro, Mumtaz Khan.
© 2023.
34 pages.
|
|
Tayyaba Riaz, Iftikhar Alam.
© 2023.
20 pages.
|
|
Ufuk Uçak, Gurkan Tuna.
© 2023.
22 pages.
|
|
Muhammad Hamad, Altaf Hussain, Majida Khan Tareen.
© 2023.
21 pages.
|
|
|