@inproceedings{8f085e25d2c34b2c91904f9cca35682a,
title = "Specification and verification of Web Services transactions",
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.",
keywords = "Data model, Formal methods, Web Services",
author = "Iman Saleh and Gregory Kulczycki and Blake, {M. Brian}",
year = "2010",
doi = "10.1145/1811136.1811143",
language = "English (US)",
isbn = "9781450301916",
series = "4th SIGMOD PhD Workshop on Innovative Database Research, IDAR 2010",
pages = "37--42",
booktitle = "4th SIGMOD PhD Workshop on Innovative Database Research, IDAR 2010",
note = "4th SIGMOD Ph.D. Workshop on Innovative Database Research, IDAR 2010 ; Conference date: 11-06-2010 Through 11-06-2010",
}