Abstract
Research in transactions planning has recognized the evolvement of Web Services as an industry standard to implement transactional business processes. We proposed a data modeling and contracting framework for Web services and in this paper we are exploring how our framework can help formally verify data integrity properties in an ad-hoc transaction
| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings - 2011 IEEE World Congress on Services, SERVICES 2011 |
| Pages | 474-481 |
| Number of pages | 8 |
| DOIs | |
| State | Published - Oct 6 2011 |
| Event | 2011 IEEE World Congress on Services, SERVICES 2011 - Washington, DC, United States Duration: Jul 4 2011 → Jul 9 2011 |
Publication series
| Name | Proceedings - 2011 IEEE World Congress on Services, SERVICES 2011 |
|---|
Other
| Other | 2011 IEEE World Congress on Services, SERVICES 2011 |
|---|---|
| Country | United States |
| City | Washington, DC |
| Period | 7/4/11 → 7/9/11 |
ASJC Scopus subject areas
- Electrical and Electronic Engineering
Fingerprint Dive into the research topics of 'Formal specification and verification of transactional service composition'. Together they form a unique fingerprint.
Cite this
Saleh, I., Kulczycki, G., & Blake, M. B. (2011). Formal specification and verification of transactional service composition. In Proceedings - 2011 IEEE World Congress on Services, SERVICES 2011 (pp. 474-481). [6012731] (Proceedings - 2011 IEEE World Congress on Services, SERVICES 2011). https://doi.org/10.1109/SERVICES.2011.36