Fangfang Liu, L. Zhang, Yuliang Shi, Lili Lin, Baile Shi
{"title":"通过CCS对Web服务的兼容性进行正式分析","authors":"Fangfang Liu, L. Zhang, Yuliang Shi, Lili Lin, Baile Shi","doi":"10.1109/NWESP.2005.43","DOIUrl":null,"url":null,"abstract":"Compatibility of Web services states the fitness of service peers that interact each other. It covers both static properties and dynamic behavior of Web services. Most researches deal with compatibility issue in the context of static checking. In this paper, we use a formal method, say CCS, to describe dynamic behavior of Web services. The formalization brings us the capability of reasoning on the dynamic aspects. We discuss compatibility at different levels so that we can clarify the impacts of it on composition and substitution of Web services. We also pay attention to context-independent substitutability which is useful in practice.","PeriodicalId":433802,"journal":{"name":"International Conference on Next Generation Web Services Practices (NWeSP'05)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"22","resultStr":"{\"title\":\"Formal analysis of compatibility of Web services via CCS\",\"authors\":\"Fangfang Liu, L. Zhang, Yuliang Shi, Lili Lin, Baile Shi\",\"doi\":\"10.1109/NWESP.2005.43\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Compatibility of Web services states the fitness of service peers that interact each other. It covers both static properties and dynamic behavior of Web services. Most researches deal with compatibility issue in the context of static checking. In this paper, we use a formal method, say CCS, to describe dynamic behavior of Web services. The formalization brings us the capability of reasoning on the dynamic aspects. We discuss compatibility at different levels so that we can clarify the impacts of it on composition and substitution of Web services. We also pay attention to context-independent substitutability which is useful in practice.\",\"PeriodicalId\":433802,\"journal\":{\"name\":\"International Conference on Next Generation Web Services Practices (NWeSP'05)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2005-08-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"22\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Conference on Next Generation Web Services Practices (NWeSP'05)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/NWESP.2005.43\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conference on Next Generation Web Services Practices (NWeSP'05)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/NWESP.2005.43","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Formal analysis of compatibility of Web services via CCS
Compatibility of Web services states the fitness of service peers that interact each other. It covers both static properties and dynamic behavior of Web services. Most researches deal with compatibility issue in the context of static checking. In this paper, we use a formal method, say CCS, to describe dynamic behavior of Web services. The formalization brings us the capability of reasoning on the dynamic aspects. We discuss compatibility at different levels so that we can clarify the impacts of it on composition and substitution of Web services. We also pay attention to context-independent substitutability which is useful in practice.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
