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 - Funding Information:
ACKNOWLEDGMENTS This work is fully funded by Bright Spark Unit, University of Malaya, Malaysia and partially funded by Malaysian Ministry of Higher Education under the University of Malaya High Impact Research (HIR) Grant UM.C/625/1/HIR/MOE/FCSIT/03.
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 -