Formal specification and verification of transactional service composition

Iman Saleh, Gregory Kulczycki, M. Brian Blake

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

2 Scopus citations

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 languageEnglish (US)
Title of host publicationProceedings - 2011 IEEE World Congress on Services, SERVICES 2011
Pages474-481
Number of pages8
DOIs
StatePublished - Oct 6 2011
Event2011 IEEE World Congress on Services, SERVICES 2011 - Washington, DC, United States
Duration: Jul 4 2011Jul 9 2011

Publication series

NameProceedings - 2011 IEEE World Congress on Services, SERVICES 2011

Other

Other2011 IEEE World Congress on Services, SERVICES 2011
CountryUnited States
CityWashington, DC
Period7/4/117/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