Specification and verification of Web Services transactions

Iman Saleh, Gregory Kulczycki, M. Brian Blake

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

Abstract

Research in transactions planning has recognized the evolvement of Web Services as an industry standard to implement transactional business processes. Web transactions are formed by integrating services in an ad-hoc manner. Distributed transaction protocols may be used to ensure data integrity. However, these protocols require some level of coordinated transaction management. Moreover, individual services must be transaction-aware in order to support necessary compensation operations. These assumptions are unrealistic in the case of the Web. We propose a data modeling and contracting framework for Web services that facilitates the verification of data integrity properties in ad-hoc transactions. The proposed framework enables services' integrator to plan their transactions while ensuring data integrity conditions.

Original languageEnglish (US)
Title of host publication4th SIGMOD PhD Workshop on Innovative Database Research, IDAR 2010
Pages37-42
Number of pages6
DOIs
StatePublished - 2010
Event4th SIGMOD Ph.D. Workshop on Innovative Database Research, IDAR 2010 - Indianapolis, IN, United States
Duration: Jun 11 2010Jun 11 2010

Publication series

Name4th SIGMOD PhD Workshop on Innovative Database Research, IDAR 2010

Other

Other4th SIGMOD Ph.D. Workshop on Innovative Database Research, IDAR 2010
CountryUnited States
CityIndianapolis, IN
Period6/11/106/11/10

Keywords

  • Data model
  • Formal methods
  • Web Services

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Specification and verification of Web Services transactions'. Together they form a unique fingerprint.

  • Cite this

    Saleh, I., Kulczycki, G., & Blake, M. B. (2010). Specification and verification of Web Services transactions. In 4th SIGMOD PhD Workshop on Innovative Database Research, IDAR 2010 (pp. 37-42). (4th SIGMOD PhD Workshop on Innovative Database Research, IDAR 2010). https://doi.org/10.1145/1811136.1811143