事务性服务组合的正式规范和验证

2011 IEEE World Congress on Services Pub Date : 2011-07-04 DOI:10.1109/SERVICES.2011.36

Iman Saleh, Gregory Kulczycki, M. Blake

{"title":"事务性服务组合的正式规范和验证","authors":"Iman Saleh, Gregory Kulczycki, M. Blake","doi":"10.1109/SERVICES.2011.36","DOIUrl":null,"url":null,"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.","PeriodicalId":429726,"journal":{"name":"2011 IEEE World Congress on Services","volume":"46 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Formal Specification and Verification of Transactional Service Composition\",\"authors\":\"Iman Saleh, Gregory Kulczycki, M. Blake\",\"doi\":\"10.1109/SERVICES.2011.36\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":429726,\"journal\":{\"name\":\"2011 IEEE World Congress on Services\",\"volume\":\"46 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-07-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 IEEE World Congress on Services\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SERVICES.2011.36\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 IEEE World Congress on Services","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SERVICES.2011.36","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

事务规划方面的研究已经认识到Web服务的发展是实现事务性业务流程的行业标准。我们为Web服务提出了一个数据建模和契约框架，在本文中，我们将探索我们的框架如何帮助正式验证临时事务中的数据完整性属性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Formal Specification and Verification of Transactional Service Composition

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2011 IEEE World Congress on Services

自引率

0.00%

发文量

期刊最新文献

Reputation-Based Web Service Selection for Composition SSC4Cloud Tooling: An Integrated Environment for the Development of Business Processes with Security Requirements in the Cloud Simplifying Web Service Discovery & Validating Service Composition A Survey of Cloud Storage Facilities Externalizing the Autopoietic Part of Software to Achieve Self-Adaptability