@inproceedings{53501f8ddb4b49a79f5fe946849ac221,
title = "Formal specification and verification of transactional service composition",
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",
author = "Iman Saleh and Gregory Kulczycki and Blake, {M. Brian}",
year = "2011",
month = oct,
day = "6",
doi = "10.1109/SERVICES.2011.36",
language = "English (US)",
isbn = "9780769544618",
series = "Proceedings - 2011 IEEE World Congress on Services, SERVICES 2011",
pages = "474--481",
booktitle = "Proceedings - 2011 IEEE World Congress on Services, SERVICES 2011",
note = "2011 IEEE World Congress on Services, SERVICES 2011 ; Conference date: 04-07-2011 Through 09-07-2011",
}