Title :
Formal Specification and Verification of Transactional Service Composition
Author :
Saleh, Iman ; Kulczycki, Gregory ; Blake, M. Brian
Author_Institution :
Virginia Polytech. Inst. & State Univ., Falls Church, VA, USA
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.
Keywords :
Web services; business data processing; data integrity; formal specification; transaction processing; Web service; ad hoc transaction; data integrity property; data modeling; formal specification; transaction planning; transactional business process; transactional service composition; Cognition; Contracts; Data models; Databases; Object oriented modeling; Protocols; Web services; Formal Methods; Transactions; Web Services;
Conference_Titel :
Services (SERVICES), 2011 IEEE World Congress on
Conference_Location :
Washington, DC
Print_ISBN :
978-1-4577-0879-4
Electronic_ISBN :
978-0-7695-4461-8
DOI :
10.1109/SERVICES.2011.36
