服务互操作性的正式验证方法

2006 IEEE International Conference on Web Services (ICWS'06) Pub Date : 2006-09-18 DOI:10.1109/ICWS.2006.9

S. Pokraev, D. Quartel, M. Steen, M. Reichert

{"title":"服务互操作性的正式验证方法","authors":"S. Pokraev, D. Quartel, M. Steen, M. Reichert","doi":"10.1109/ICWS.2006.9","DOIUrl":null,"url":null,"abstract":"Service interoperability is a major obstacle in realizing the SOA vision. Interoperability is the capability of multiple, autonomous and heterogeneous systems to use each other's services effectively. It is about the meaningful sharing of functionality and information that leads to the achievement of a common goal. In this paper we identify requirements for semantic and pragmatic interoperability. We further propose a method for assessing whether a composite system meets these requirements","PeriodicalId":408032,"journal":{"name":"2006 IEEE International Conference on Web Services (ICWS'06)","volume":"89 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"17","resultStr":"{\"title\":\"A Method for Formal Verification of Service Interoperability\",\"authors\":\"S. Pokraev, D. Quartel, M. Steen, M. Reichert\",\"doi\":\"10.1109/ICWS.2006.9\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Service interoperability is a major obstacle in realizing the SOA vision. Interoperability is the capability of multiple, autonomous and heterogeneous systems to use each other's services effectively. It is about the meaningful sharing of functionality and information that leads to the achievement of a common goal. In this paper we identify requirements for semantic and pragmatic interoperability. We further propose a method for assessing whether a composite system meets these requirements\",\"PeriodicalId\":408032,\"journal\":{\"name\":\"2006 IEEE International Conference on Web Services (ICWS'06)\",\"volume\":\"89 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-09-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"17\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2006 IEEE International Conference on Web Services (ICWS'06)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICWS.2006.9\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 IEEE International Conference on Web Services (ICWS'06)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICWS.2006.9","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 17

摘要

服务互操作性是实现SOA愿景的主要障碍。互操作性是多个自治和异构系统有效地使用彼此服务的能力。它是关于实现共同目标的功能和信息的有意义的共享。在本文中，我们确定了语义和实用互操作性的需求。我们进一步提出了一种评估复合系统是否满足这些要求的方法

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

查看原文本刊更多论文

A Method for Formal Verification of Service Interoperability

Service interoperability is a major obstacle in realizing the SOA vision. Interoperability is the capability of multiple, autonomous and heterogeneous systems to use each other's services effectively. It is about the meaningful sharing of functionality and information that leads to the achievement of a common goal. In this paper we identify requirements for semantic and pragmatic interoperability. We further propose a method for assessing whether a composite system meets these requirements

求助全文

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

来源期刊

2006 IEEE International Conference on Web Services (ICWS'06)

自引率

0.00%

发文量