Verifying Web Services compositions using UPPAAL

Naseem Ibrahim, Ismail Khalil

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

A service composition consists of multiple interacting Web Services that provide a functionality to meet a specific set of requirements. It is essential to verify that the functional behavior of the service composition meets the published functionality of the service. Instead of defining a new verification tool to verify the service composition we follow a transformation approach. In this approach, a service composition can be automatically transformed into a model understood by an available verification tool that can then be used to perform the formal verification. The goal in our research is to use different verification tools in order to verify a wide range of properties and target different kinds of systems. This is because different verification tools differ in their requirements and abilities. In this paper, we define the transformation rules to generate a model that can be verified using UPPAAL [1] model checking tool.

Original languageEnglish (US)
Title of host publication2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012
DOIs
StatePublished - Dec 1 2012
Event2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012 - Sharjah, United Arab Emirates
Duration: Dec 18 2012Dec 20 2012

Publication series

Name2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012

Other

Other2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012
CountryUnited Arab Emirates
CitySharjah
Period12/18/1212/20/12

Fingerprint

Web services
Chemical analysis
Model checking

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Information Systems
  • Industrial and Manufacturing Engineering

Cite this

Ibrahim, N., & Khalil, I. (2012). Verifying Web Services compositions using UPPAAL. In 2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012 [6454365] (2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012). https://doi.org/10.1109/ICCSII.2012.6454365
Ibrahim, Naseem ; Khalil, Ismail. / Verifying Web Services compositions using UPPAAL. 2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012. 2012. (2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012).
@inproceedings{7262375812634145b817cf479fc960d9,
title = "Verifying Web Services compositions using UPPAAL",
abstract = "A service composition consists of multiple interacting Web Services that provide a functionality to meet a specific set of requirements. It is essential to verify that the functional behavior of the service composition meets the published functionality of the service. Instead of defining a new verification tool to verify the service composition we follow a transformation approach. In this approach, a service composition can be automatically transformed into a model understood by an available verification tool that can then be used to perform the formal verification. The goal in our research is to use different verification tools in order to verify a wide range of properties and target different kinds of systems. This is because different verification tools differ in their requirements and abilities. In this paper, we define the transformation rules to generate a model that can be verified using UPPAAL [1] model checking tool.",
author = "Naseem Ibrahim and Ismail Khalil",
year = "2012",
month = "12",
day = "1",
doi = "10.1109/ICCSII.2012.6454365",
language = "English (US)",
isbn = "9781467351577",
series = "2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012",
booktitle = "2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012",

}

Ibrahim, N & Khalil, I 2012, Verifying Web Services compositions using UPPAAL. in 2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012., 6454365, 2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012, 2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012, Sharjah, United Arab Emirates, 12/18/12. https://doi.org/10.1109/ICCSII.2012.6454365

Verifying Web Services compositions using UPPAAL. / Ibrahim, Naseem; Khalil, Ismail.

2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012. 2012. 6454365 (2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Verifying Web Services compositions using UPPAAL

AU - Ibrahim, Naseem

AU - Khalil, Ismail

PY - 2012/12/1

Y1 - 2012/12/1

N2 - A service composition consists of multiple interacting Web Services that provide a functionality to meet a specific set of requirements. It is essential to verify that the functional behavior of the service composition meets the published functionality of the service. Instead of defining a new verification tool to verify the service composition we follow a transformation approach. In this approach, a service composition can be automatically transformed into a model understood by an available verification tool that can then be used to perform the formal verification. The goal in our research is to use different verification tools in order to verify a wide range of properties and target different kinds of systems. This is because different verification tools differ in their requirements and abilities. In this paper, we define the transformation rules to generate a model that can be verified using UPPAAL [1] model checking tool.

AB - A service composition consists of multiple interacting Web Services that provide a functionality to meet a specific set of requirements. It is essential to verify that the functional behavior of the service composition meets the published functionality of the service. Instead of defining a new verification tool to verify the service composition we follow a transformation approach. In this approach, a service composition can be automatically transformed into a model understood by an available verification tool that can then be used to perform the formal verification. The goal in our research is to use different verification tools in order to verify a wide range of properties and target different kinds of systems. This is because different verification tools differ in their requirements and abilities. In this paper, we define the transformation rules to generate a model that can be verified using UPPAAL [1] model checking tool.

UR - http://www.scopus.com/inward/record.url?scp=84874400512&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84874400512&partnerID=8YFLogxK

U2 - 10.1109/ICCSII.2012.6454365

DO - 10.1109/ICCSII.2012.6454365

M3 - Conference contribution

AN - SCOPUS:84874400512

SN - 9781467351577

T3 - 2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012

BT - 2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012

ER -

Ibrahim N, Khalil I. Verifying Web Services compositions using UPPAAL. In 2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012. 2012. 6454365. (2012 International Conference on Computer Systems and Industrial Informatics, ICCSII 2012). https://doi.org/10.1109/ICCSII.2012.6454365