Formal Specification and Verification of Transactional Service Composition
Services(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.
更多查看译文
关键词
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 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要