DocumentCode
3203488
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
fYear
2011
fDate
4-9 July 2011
Firstpage
474
Lastpage
481
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SERVICES.2011.36
Filename
6012731
Link To Document