A Formal Framework for Web Service Broker to Compose QoS Measures

Adnan Akhunzada; Abdullah Gani; Shahid Hussain; Arif Ali Khan; null Ashrafullah

doi:10.1109/intellisys.2015.7361191

A Formal Framework for Web Service Broker to Compose QoS Measures

Adnan Akhunzada^*, Abdullah Gani, Shahid Hussain, Arif Ali Khan, Ashrafullah

^*Corresponding author for this work

Department of Computer Science

Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

7 Citations (Scopus)

Abstract

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 pi-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.

Original language	English
Title of host publication	2015 SAI INTELLIGENT SYSTEMS CONFERENCE (INTELLISYS)
Publisher	IEEE
Pages	532-536
ISBN (Electronic)	978-1-4673-7606-8
DOIs	https://doi.org/10.1109/intellisys.2015.7361191
Publication status	Published - 2015
Event	SAI Intelligent Systems Conference (IntelliSys) - London Duration: 10 Nov 2015 → 11 Nov 2015

Conference

Conference	SAI Intelligent Systems Conference (IntelliSys)
City	London
Period	10/11/15 → 11/11/15

Bibliographical note

Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to [email protected].

Research Keywords

pi-Calculus
SOAP
SOA
Web Service Composition(WSC)
Coordination
Selection
Discovery
Broker
Customer
TAXONOMY

Access Output

10.1109/intellisys.2015.7361191

Other Access Options

Check CityUHK Library

Permanent Link

Right click to copy link

Cite this

@inproceedings{901c1417a9fa4440a36155d1cff214af,

title = "A Formal Framework for Web Service Broker to Compose QoS Measures",

abstract = "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 pi-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.",

keywords = "pi-Calculus, SOAP, SOA, Web Service Composition(WSC), Coordination, Selection, Discovery, Broker, Customer, TAXONOMY",

author = "Adnan Akhunzada and Abdullah Gani and Shahid Hussain and Khan, {Arif Ali} and Ashrafullah",

note = "Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to [email protected].; SAI Intelligent Systems Conference (IntelliSys) ; Conference date: 10-11-2015 Through 11-11-2015",

year = "2015",

doi = "10.1109/intellisys.2015.7361191",

language = "English",

pages = "532--536",

booktitle = "2015 SAI INTELLIGENT SYSTEMS CONFERENCE (INTELLISYS)",

publisher = "IEEE",

address = "United States",

}

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, null

N1 - Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to [email protected].

PY - 2015

Y1 - 2015

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 pi-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 pi-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.

KW - pi-Calculus

KW - SOAP

KW - SOA

KW - Web Service Composition(WSC)

KW - Coordination

KW - Selection

KW - Discovery

KW - Broker

KW - Customer

KW - TAXONOMY

UR - http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=LinksAMR&SrcApp=PARTNER_APP&DestLinkType=FullRecord&DestApp=WOS&KeyUT=000378642300072

U2 - 10.1109/intellisys.2015.7361191

DO - 10.1109/intellisys.2015.7361191

M3 - RGC 32 - Refereed conference paper (with host publication)

SP - 532

EP - 536

BT - 2015 SAI INTELLIGENT SYSTEMS CONFERENCE (INTELLISYS)

PB - IEEE

T2 - SAI Intelligent Systems Conference (IntelliSys)

Y2 - 10 November 2015 through 11 November 2015

ER -

A Formal Framework for Web Service Broker to Compose QoS Measures

Abstract

Conference

Bibliographical note

Research Keywords

Access Output

Other Access Options

Permanent Link

Other Files and Links

Fingerprint

Cite this