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

10 Scopus citations

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 (US)
Title of host publicationICWS 2010 - 2010 IEEE 8th International Conference on Web Services
Pages131-138
Number of pages8
DOIs
StatePublished - Oct 6 2010
Event2010 IEEE 8th International Conference on Web Services, ICWS 2010 - Miami, FL, United States
Duration: Jul 5 2010Jul 10 2010

Publication series

NameICWS 2010 - 2010 IEEE 8th International Conference on Web Services

Other

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

Keywords

  • Formal methods
  • Web services

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Software

Fingerprint Dive into the research topics of 'Formal specification and verification of data-centric service composition'. Together they form a unique fingerprint.

Cite this