Formal specification and verification of data-centric service composition

Iman Saleh, Gregory Kulczycki, M. Brian Blake

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

9 Citations (Scopus)

Abstract

Service-oriented architecture (SOA) promotes a paradigm where ad-hoc applications are built by dynamically linking service-based software capabilities. Service providers follow specification standards to advertise their services' capabilities and to enable loosely coupled integration between their services and other businesses over the Web. A major challenge in this domain is interpreting the data that must be marshaled between consumer and producer systems. We propose a framework to support formal modeling and contracts for data-centric Web services. We demonstrate how this framework can be used to verify correctness properties for composition of services.

Original languageEnglish
Title of host publicationICWS 2010 - 2010 IEEE 8th International Conference on Web Services
Pages131-138
Number of pages8
DOIs
StatePublished - Oct 6 2010
Externally publishedYes
Event2010 IEEE 8th International Conference on Web Services, ICWS 2010 - Miami, FL, United States
Duration: Jul 5 2010Jul 10 2010

Other

Other2010 IEEE 8th International Conference on Web Services, ICWS 2010
CountryUnited States
CityMiami, FL
Period7/5/107/10/10

Fingerprint

Service oriented architecture (SOA)
Web services
Specifications
Chemical analysis
Industry
Formal verification
Formal specification

Keywords

  • Formal methods
  • Web services

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Software

Cite this

Saleh, I., Kulczycki, G., & Blake, M. B. (2010). Formal specification and verification of data-centric service composition. In ICWS 2010 - 2010 IEEE 8th International Conference on Web Services (pp. 131-138). [5552794] https://doi.org/10.1109/ICWS.2010.80

Formal specification and verification of data-centric service composition. / Saleh, Iman; Kulczycki, Gregory; Blake, M. Brian.

ICWS 2010 - 2010 IEEE 8th International Conference on Web Services. 2010. p. 131-138 5552794.

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

Saleh, I, Kulczycki, G & Blake, MB 2010, Formal specification and verification of data-centric service composition. in ICWS 2010 - 2010 IEEE 8th International Conference on Web Services., 5552794, pp. 131-138, 2010 IEEE 8th International Conference on Web Services, ICWS 2010, Miami, FL, United States, 7/5/10. https://doi.org/10.1109/ICWS.2010.80
Saleh I, Kulczycki G, Blake MB. Formal specification and verification of data-centric service composition. In ICWS 2010 - 2010 IEEE 8th International Conference on Web Services. 2010. p. 131-138. 5552794 https://doi.org/10.1109/ICWS.2010.80
Saleh, Iman ; Kulczycki, Gregory ; Blake, M. Brian. / Formal specification and verification of data-centric service composition. ICWS 2010 - 2010 IEEE 8th International Conference on Web Services. 2010. pp. 131-138
@inproceedings{6757ecc5fee64ae2bfed7a3e941b5134,
title = "Formal specification and verification of data-centric service composition",
abstract = "Service-oriented architecture (SOA) promotes a paradigm where ad-hoc applications are built by dynamically linking service-based software capabilities. Service providers follow specification standards to advertise their services' capabilities and to enable loosely coupled integration between their services and other businesses over the Web. A major challenge in this domain is interpreting the data that must be marshaled between consumer and producer systems. We propose a framework to support formal modeling and contracts for data-centric Web services. We demonstrate how this framework can be used to verify correctness properties for composition of services.",
keywords = "Formal methods, Web services",
author = "Iman Saleh and Gregory Kulczycki and Blake, {M. Brian}",
year = "2010",
month = "10",
day = "6",
doi = "10.1109/ICWS.2010.80",
language = "English",
isbn = "9780769541280",
pages = "131--138",
booktitle = "ICWS 2010 - 2010 IEEE 8th International Conference on Web Services",

}

TY - GEN

T1 - Formal specification and verification of data-centric service composition

AU - Saleh, Iman

AU - Kulczycki, Gregory

AU - Blake, M. Brian

PY - 2010/10/6

Y1 - 2010/10/6

N2 - Service-oriented architecture (SOA) promotes a paradigm where ad-hoc applications are built by dynamically linking service-based software capabilities. Service providers follow specification standards to advertise their services' capabilities and to enable loosely coupled integration between their services and other businesses over the Web. A major challenge in this domain is interpreting the data that must be marshaled between consumer and producer systems. We propose a framework to support formal modeling and contracts for data-centric Web services. We demonstrate how this framework can be used to verify correctness properties for composition of services.

AB - Service-oriented architecture (SOA) promotes a paradigm where ad-hoc applications are built by dynamically linking service-based software capabilities. Service providers follow specification standards to advertise their services' capabilities and to enable loosely coupled integration between their services and other businesses over the Web. A major challenge in this domain is interpreting the data that must be marshaled between consumer and producer systems. We propose a framework to support formal modeling and contracts for data-centric Web services. We demonstrate how this framework can be used to verify correctness properties for composition of services.

KW - Formal methods

KW - Web services

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

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

U2 - 10.1109/ICWS.2010.80

DO - 10.1109/ICWS.2010.80

M3 - Conference contribution

SN - 9780769541280

SP - 131

EP - 138

BT - ICWS 2010 - 2010 IEEE 8th International Conference on Web Services

ER -