Fangfang Liu, L. Zhang, Yuliang Shi, Lili Lin, Baile Shi
{"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}
引用次数: 22
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
