From semantic to object-oriented data modeling
ISCI '90 Proceedings of the first international conference on systems integration on Systems integration '90
On formal models for object-oriented databases
ACM SIGPLAN OOPS Messenger
Computer program verification: improvements for human reasoning
Computer program verification: improvements for human reasoning
Software fault injection: inoculating programs against errors
Software fault injection: inoculating programs against errors
An axiomatic basis for computer programming
Communications of the ACM
An Introduction to Database Systems
An Introduction to Database Systems
Model variables: cleanly supporting abstraction in design by contract: Research Articles
Software—Practice & Experience
Hilda: A High-Level Language for Data-DrivenWeb Applications
ICDE '06 Proceedings of the 22nd International Conference on Data Engineering
Demystifying Data-Centric Web Services
IEEE Internet Computing
The spec# programming system: an overview
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Hi-index | 0.00 |
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.