Formal Specification and Verification of Transactional Service Composition
Iman Saleh, Gregory W. Kulczycki, M. Brian Blake · 2011
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.