Formal Specification and Verification of Transactional Service Composition
Services（2011）
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.
MoreTranslated text
Key words
transactional service composition,transactions planning,web services,transactional business process,contracting framework,formal specification,data modeling,industry standard,ad-hoc transaction,data integrity property,web service,cognition,databases,transaction processing,distributed transactions,data integrity,business process,data model,protocols,data models,formal methods,formal method,design by contract
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined