TY - GEN
T1 - A formal framework for web service broker to compose QoS measures
AU - Akhunzada, Adnan
AU - Gani, Abdullah
AU - Hussain, Shahid
AU - Khan, Arif Ali
AU - Ashrafullah,
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2015/12/18
Y1 - 2015/12/18
N2 - Web Services has been more recently emerged as the technology of choice to realize Service-Oriented Computing (SOC), a significant computing paradigm. The accomplishment of customer's satisfaction and trust is thought-provoking for web service providers. Subsequently, the attainment of non-functional requirements (aka QoS measures) is still a critical research challenge in realizing the Web Service Composition (WSC). The reason behind this research is to design a formal procedure for a service broker to present the worst scenario for users nonfunctional besides functional requirements. We formally address the workflow-based abstract level description of web services coordination through a formal framework of a service broker by composing the functional and non-functional requirements. The syntax of the formal framework is defined and analyzed using π-calculus. However, the semantic analysis of the framework is carried out by considering a case study of the Travel Agent (TA) system. Finally, we present the end-result analysis of QoS measures such as the probability of success, price and average service time by implementing the formal framework.
AB - Web Services has been more recently emerged as the technology of choice to realize Service-Oriented Computing (SOC), a significant computing paradigm. The accomplishment of customer's satisfaction and trust is thought-provoking for web service providers. Subsequently, the attainment of non-functional requirements (aka QoS measures) is still a critical research challenge in realizing the Web Service Composition (WSC). The reason behind this research is to design a formal procedure for a service broker to present the worst scenario for users nonfunctional besides functional requirements. We formally address the workflow-based abstract level description of web services coordination through a formal framework of a service broker by composing the functional and non-functional requirements. The syntax of the formal framework is defined and analyzed using π-calculus. However, the semantic analysis of the framework is carried out by considering a case study of the Travel Agent (TA) system. Finally, we present the end-result analysis of QoS measures such as the probability of success, price and average service time by implementing the formal framework.
UR - http://www.scopus.com/inward/record.url?scp=84962631477&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84962631477&partnerID=8YFLogxK
U2 - 10.1109/IntelliSys.2015.7361191
DO - 10.1109/IntelliSys.2015.7361191
M3 - Conference contribution
AN - SCOPUS:84962631477
T3 - IntelliSys 2015 - Proceedings of 2015 SAI Intelligent Systems Conference
SP - 532
EP - 536
BT - IntelliSys 2015 - Proceedings of 2015 SAI Intelligent Systems Conference
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - SAI Intelligent Systems Conference, IntelliSys 2015
Y2 - 10 November 2015 through 11 November 2015
ER -